13 using namespace clang;
16 std::unique_ptr<ASTConsumer>
24 std::unique_ptr<ASTConsumer>
27 return llvm::make_unique<ModelConsumer>(Bodies);
ParseModelFileAction(llvm::StringMap< Stmt * > &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.
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.