clang  6.0.0svn
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 "clang/StaticAnalyzer/Core/PathSensitive/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

◆ iterator

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

Definition at line 72 of file Environment.h.

Member Function Documentation

◆ begin()

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

Definition at line 73 of file Environment.h.

◆ end()

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

Definition at line 74 of file Environment.h.

◆ getSVal()

SVal Environment::getSVal ( const EnvironmentEntry E,
SValBuilder svalBuilder 
) const

Fetches the current binding of the expression in the Environment.

Definition at line 69 of file Environment.cpp.

◆ operator==()

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

Definition at line 92 of file Environment.h.

◆ print()

void Environment::print ( raw_ostream &  Out,
const char *  NL,
const char *  Sep 
) const

Definition at line 188 of file Environment.cpp.

◆ Profile() [1/2]

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 clang::ento::ProgramState::Profile().

◆ Profile() [2/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 88 of file Environment.h.

References clang::ento::EnvironmentEntry::Profile().

Friends And Related Function Documentation

◆ EnvironmentManager

friend class EnvironmentManager
friend

Definition at line 58 of file Environment.h.


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