26 using namespace clang;
Represents a function declaration or definition.
Decl - This represents one declaration (or definition), e.g.
Stmt * getBody(const FunctionDecl *&Definition) const
Retrieve the body (definition) of the function.
bool hasBody(const FunctionDecl *&Definition) const
Returns true if the function has a body.
ModelConsumer(llvm::StringMap< Stmt *> &Bodies)
bool HandleTopLevelDecl(DeclGroupRef D) override
HandleTopLevelDecl - Handle the specified top-level declaration.
Dataflow Directional Tag Classes.
This file implements clang::ento::ModelConsumer which is an ASTConsumer for model files...
StringRef getName() const
Get the name of identifier for this declaration as a StringRef.