10 #ifndef LLVM_CLANG_STATICANALYZER_FRONTEND_FRONTENDACTIONS_H 11 #define LLVM_CLANG_STATICANALYZER_FRONTEND_FRONTENDACTIONS_H 14 #include "llvm/ADT/StringMap.h" 15 #include "llvm/ADT/StringRef.h" 20 class AnalyzerOptions;
31 StringRef InFile)
override;
49 StringRef InFile)
override;
52 llvm::StringMap<Stmt *> &Bodies;
void printAnalyzerConfigList(raw_ostream &OS)
std::unique_ptr< ASTConsumer > CreateASTConsumer(CompilerInstance &CI, StringRef InFile) override
Create the AST consumer object for this action, if supported.
bool isModelParsingAction() const override
Is this action invoked on a model file?
void printCheckerHelp(raw_ostream &OS, ArrayRef< std::string > plugins, DiagnosticsEngine &diags)
Concrete class used by the front-end to report problems and issues.
Frontend action to parse model files.
void printEnabledCheckerList(raw_ostream &OS, ArrayRef< std::string > plugins, const AnalyzerOptions &opts, DiagnosticsEngine &diags)
CompilerInstance - Helper class for managing a single instance of the Clang compiler.
Abstract base class to use for AST consumer-based frontend actions.
Dataflow Directional Tag Classes.
Indicates that the tracking object is a descendant of a referenced-counted OSObject, used in the Darwin kernel.
Stores options for the analyzer from the command line.
Defines the clang::FrontendAction interface and various convenience abstract classes (clang::ASTFront...