clang
8.0.0
|
An immutable map from EnvironemntEntries to SVals. More...
#include "clang/StaticAnalyzer/Core/PathSensitive/Environment.h"
Public Types | |
using | iterator = BindingsTy::iterator |
Public Member Functions | |
iterator | begin () const |
iterator | end () const |
SVal | getSVal (const EnvironmentEntry &E, SValBuilder &svalBuilder) const |
Fetches the current binding of the expression in the Environment. More... | |
void | Profile (llvm::FoldingSetNodeID &ID) const |
Profile - Used to profile the contents of this object for inclusion in a FoldingSet. More... | |
bool | operator== (const Environment &RHS) const |
void | print (raw_ostream &Out, const char *NL, const char *Sep, const ASTContext &Context, const LocationContext *WithLC=nullptr) const |
Static Public Member Functions | |
static void | Profile (llvm::FoldingSetNodeID &ID, const Environment *env) |
Profile - Profile the contents of an Environment object for use in a FoldingSet. More... | |
Friends | |
class | EnvironmentManager |
An immutable map from EnvironemntEntries to SVals.
Definition at line 57 of file Environment.h.
using clang::ento::Environment::iterator = BindingsTy::iterator |
Definition at line 70 of file Environment.h.
|
inline |
Definition at line 72 of file Environment.h.
Referenced by clang::ento::EnvironmentManager::removeDeadBindings().
|
inline |
Definition at line 73 of file Environment.h.
Referenced by clang::ento::EnvironmentManager::removeDeadBindings().
SVal Environment::getSVal | ( | const EnvironmentEntry & | E, |
SValBuilder & | svalBuilder | ||
) | const |
Fetches the current binding of the expression in the Environment.
Definition at line 85 of file Environment.cpp.
|
inline |
Definition at line 91 of file Environment.h.
void Environment::print | ( | raw_ostream & | Out, |
const char * | NL, | ||
const char * | Sep, | ||
const ASTContext & | Context, | ||
const LocationContext * | WithLC = nullptr |
||
) | const |
Definition at line 203 of file Environment.cpp.
|
inlinestatic |
Profile - Profile the contents of an Environment object for use in a FoldingSet.
Definition at line 81 of file Environment.h.
Referenced by clang::ento::ProgramState::Profile().
|
inline |
Profile - Used to profile the contents of this object for inclusion in a FoldingSet.
Definition at line 87 of file Environment.h.
References clang::ento::EnvironmentEntry::Profile().
|
friend |
Definition at line 59 of file Environment.h.