clang  3.9.0
Public Types | Public Member Functions | Static Public Member Functions | Friends | List of all members
clang::ento::Environment Class Reference

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

#include <Environment.h>

Public Types

typedef BindingsTy::iterator 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
 

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
 

Detailed Description

An immutable map from EnvironemntEntries to SVals.

Definition at line 56 of file Environment.h.

Member Typedef Documentation

typedef BindingsTy::iterator clang::ento::Environment::iterator

Definition at line 72 of file Environment.h.

Member Function Documentation

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

Definition at line 73 of file Environment.h.

Referenced by print(), and clang::ento::EnvironmentManager::removeDeadBindings().

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

Definition at line 74 of file Environment.h.

Referenced by print(), and clang::ento::EnvironmentManager::removeDeadBindings().

SVal Environment::getSVal ( const EnvironmentEntry E,
SValBuilder svalBuilder 
) const
bool clang::ento::Environment::operator== ( const Environment RHS) const
inline

Definition at line 92 of file Environment.h.

void Environment::print ( raw_ostream &  Out,
const char *  NL,
const char *  Sep 
) const
static void clang::ento::Environment::Profile ( llvm::FoldingSetNodeID &  ID,
const Environment env 
)
inlinestatic

Profile - Profile the contents of an Environment object for use in a FoldingSet.

Definition at line 82 of file Environment.h.

Referenced by Profile(), and clang::ento::ProgramState::Profile().

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 88 of file Environment.h.

References Profile().

Friends And Related Function Documentation

friend class EnvironmentManager
friend

Definition at line 58 of file Environment.h.


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