16 #ifndef LLVM_CLANG_GR_MODELCONSUMER_H 17 #define LLVM_CLANG_GR_MODELCONSUMER_H 20 #include "llvm/ADT/StringMap.h" 39 llvm::StringMap<Stmt *> &Bodies;
ASTConsumer - This is an abstract interface that should be implemented by clients that read ASTs...
ASTConsumer to consume model files' AST.
ModelConsumer(llvm::StringMap< Stmt *> &Bodies)
bool HandleTopLevelDecl(DeclGroupRef D) override
HandleTopLevelDecl - Handle the specified top-level declaration.
Dataflow Directional Tag Classes.