clang: clang::ento::Environment Class Reference (original) (raw)

An immutable map from EnvironemntEntries to SVals. More...

#include "[clang/StaticAnalyzer/Core/PathSensitive/Environment.h](Environment%5F8h%5Fsource.html)"

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.
void Profile (llvm::FoldingSetNodeID &ID) const
Profile - Used to profile the contents of this object for inclusion in a FoldingSet.
bool operator== (const Environment &RHS) const
void printJson (raw_ostream &Out, const ASTContext &Ctx, const LocationContext *LCtx=nullptr, const char *NL="\n", unsigned int Space=0, bool IsDot=false) 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.

An immutable map from EnvironemntEntries to SVals.

Definition at line 56 of file Environment.h.

◆ iterator

◆ begin()

iterator clang::ento::Environment::begin ( ) const inline

◆ end()

iterator clang::ento::Environment::end ( ) const inline

◆ getSVal()

◆ operator==()

bool clang::ento::Environment::operator== ( const Environment & RHS) const inline

◆ printJson()

◆ Profile() [1/2]

void clang::ento::Environment::Profile ( llvm::FoldingSetNodeID & ID) const inline

Profile - Used to profile the contents of this object for inclusion in a FoldingSet.

Definition at line 86 of file Environment.h.

References ID, and Profile().

◆ Profile() [2/2]

static void clang::ento::Environment::Profile ( llvm::FoldingSetNodeID & ID, const Environment * env ) inlinestatic

◆ EnvironmentManager

The documentation for this class was generated from the following files: