ASTConsumer to consume model files' AST. More...
#include <ModelConsumer.h>
Inheritance diagram for clang::ento::ModelConsumer:
Collaboration diagram for clang::ento::ModelConsumer:
Public Member Functions | |
| ModelConsumer (llvm::StringMap< Stmt * > &Bodies) | |
| bool | HandleTopLevelDecl (DeclGroupRef D) override |
Detailed Description
ASTConsumer to consume model files' AST.
This consumer collects the bodies of function definitions into a StringMap from a model file.
Definition at line 32 of file ModelConsumer.h.
Constructor & Destructor Documentation
| ModelConsumer::ModelConsumer | ( | llvm::StringMap< Stmt * > & | Bodies | ) |
Definition at line 29 of file ModelConsumer.cpp.
Member Function Documentation
| bool ModelConsumer::HandleTopLevelDecl | ( | DeclGroupRef | D | ) | [override, virtual] |
HandleTopLevelDecl - Handle the specified top-level declaration. This is called by the parser to process every top-level Decl*.
- Returns:
- true to continue parsing, or false to abort parsing.
Reimplemented from clang::ASTConsumer.
Definition at line 32 of file ModelConsumer.cpp.
References clang::DeclGroupRef::begin(), clang::DeclGroupRef::end(), clang::FunctionDecl::getBody(), clang::NamedDecl::getName(), and clang::FunctionDecl::hasBody().
The documentation for this class was generated from the following files: