clang 8.0.0

ModelConsumer.h
Go to the documentation of this file.
1 //===-- ModelConsumer.h -----------------------------------------*- C++ -*-===//
2 //
3 // The LLVM Compiler Infrastructure
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 ///
10 /// \file
11 /// This file implements clang::ento::ModelConsumer which is an
12 /// ASTConsumer for model files.
13 ///
14 //===----------------------------------------------------------------------===//
15
16 #ifndef LLVM_CLANG_GR_MODELCONSUMER_H
17 #define LLVM_CLANG_GR_MODELCONSUMER_H
18
19 #include "clang/AST/ASTConsumer.h"
20 #include "llvm/ADT/StringMap.h"
21
22 namespace clang {
23
24 class Stmt;
25
26 namespace ento {
27
28 /// ASTConsumer to consume model files' AST.
29 ///
30 /// This consumer collects the bodies of function definitions into a StringMap
31 /// from a model file.
32 class ModelConsumer : public ASTConsumer {
33 public:
34 ModelConsumer(llvm::StringMap<Stmt *> &Bodies);
35
36 bool HandleTopLevelDecl(DeclGroupRef D) override;
37
38 private:
39 llvm::StringMap<Stmt *> &Bodies;
40 };
41 }
42 }
43
44 #endif
ento
clang::ASTConsumer
ASTConsumer - This is an abstract interface that should be implemented by clients that read ASTs...
Definition: ASTConsumer.h:34
clang::ento::ModelConsumer
ASTConsumer to consume model files&#39; AST.
Definition: ModelConsumer.h:32
ASTConsumer.h
clang::ento::ModelConsumer::ModelConsumer
ModelConsumer(llvm::StringMap< Stmt *> &Bodies)
Definition: ModelConsumer.cpp:29
clang::ento::ModelConsumer::HandleTopLevelDecl
bool HandleTopLevelDecl(DeclGroupRef D) override
HandleTopLevelDecl - Handle the specified top-level declaration.
Definition: ModelConsumer.cpp:32
clang
Dataflow Directional Tag Classes.
Definition: CFGReachabilityAnalysis.h:22
clang::DeclGroupRef
Definition: DeclGroup.h:52