#include <Environment.h>
Public Member Functions | |
| EnvironmentEntry (const Stmt *s, const LocationContext *L) | |
| const Stmt * | getStmt () const |
| const LocationContext * | getLocationContext () const |
| void | Profile (llvm::FoldingSetNodeID &ID) const |
Static Public Member Functions | |
| static void | Profile (llvm::FoldingSetNodeID &ID, const EnvironmentEntry &E) |
| Profile an EnvironmentEntry for inclusion in a FoldingSet. | |
Detailed Description
An entry in the environment consists of a Stmt and an LocationContext. This allows the environment to manage context-sensitive bindings, which is essentially for modeling recursive function analysis, among other things.
Definition at line 34 of file Environment.h.
Constructor & Destructor Documentation
| EnvironmentEntry::EnvironmentEntry | ( | const Stmt * | s, |
| const LocationContext * | L | ||
| ) |
Definition at line 54 of file Environment.cpp.
Member Function Documentation
| const LocationContext* clang::ento::EnvironmentEntry::getLocationContext | ( | ) | const [inline] |
Definition at line 40 of file Environment.h.
Referenced by clang::ento::Environment::getSVal(), clang::ento::Environment::print(), Profile(), and clang::ento::EnvironmentManager::removeDeadBindings().
| const Stmt* clang::ento::EnvironmentEntry::getStmt | ( | ) | const [inline] |
Definition at line 39 of file Environment.h.
Referenced by clang::ento::Environment::getSVal(), clang::ento::Environment::print(), Profile(), and clang::ento::EnvironmentManager::removeDeadBindings().
| static void clang::ento::EnvironmentEntry::Profile | ( | llvm::FoldingSetNodeID & | ID, |
| const EnvironmentEntry & | E | ||
| ) | [inline, static] |
Profile an EnvironmentEntry for inclusion in a FoldingSet.
Definition at line 43 of file Environment.h.
References getLocationContext(), and getStmt().
Referenced by Profile().
| void clang::ento::EnvironmentEntry::Profile | ( | llvm::FoldingSetNodeID & | ID | ) | const [inline] |
Definition at line 49 of file Environment.h.
References Profile().
The documentation for this class was generated from the following files: