12 using namespace clang;
15 std::unique_ptr<ASTConsumer>
23 std::unique_ptr<ASTConsumer>
26 return std::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)