15std::unique_ptr<ASTConsumer>
23std::unique_ptr<ASTConsumer>
26 return std::make_unique<ModelConsumer>(Bodies);
This file implements clang::ento::ModelConsumer which is an ASTConsumer for model files.
CompilerInstance - Helper class for managing a single instance of the Clang compiler.
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)
std::unique_ptr< ASTConsumer > CreateASTConsumer(CompilerInstance &CI, StringRef InFile) override
Create the AST consumer object for this action, if supported.
std::unique_ptr< AnalysisASTConsumer > CreateAnalysisConsumer(CompilerInstance &CI)
CreateAnalysisConsumer - Creates an ASTConsumer to run various code analysis passes.
The JSON file list parser is used to communicate input to InstallAPI.