13 using namespace clang;
16 std::unique_ptr<ASTConsumer>
24 std::unique_ptr<ASTConsumer>
27 return llvm::make_unique<ModelConsumer>(Bodies);
std::unique_ptr< ASTConsumer > CreateASTConsumer(CompilerInstance &CI, StringRef InFile) override
Create the AST consumer object for this action, if supported.
CompilerInstance - Helper class for managing a single instance of the Clang compiler.
Dataflow Directional Tag Classes.
This file implements clang::ento::ModelConsumer which is an ASTConsumer for model files...
std::unique_ptr< AnalysisASTConsumer > CreateAnalysisConsumer(CompilerInstance &CI)
CreateAnalysisConsumer - Creates an ASTConsumer to run various code analysis passes.
std::unique_ptr< ASTConsumer > CreateASTConsumer(CompilerInstance &CI, StringRef InFile) override
Create the AST consumer object for this action, if supported.
ParseModelFileAction(llvm::StringMap< Stmt *> &Bodies)