clang::ento::Environment Class Reference

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

#include <Environment.h>

List of all members.

Public Types
typedef BindingsTy::iterator	iterator
Public Member Functions
iterator	begin () const
iterator	end () const
SVal	getSVal (const EnvironmentEntry &E, SValBuilder &svalBuilder, bool useOnlyDirectBindings=false) const
void	Profile (llvm::FoldingSetNodeID &ID) const
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)
Friends
class	EnvironmentManager

---

Detailed Description

An immutable map from EnvironemntEntries to SVals.

Definition at line 57 of file Environment.h.

---

Member Typedef Documentation

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

Definition at line 73 of file Environment.h.

---

Member Function Documentation

iterator clang::ento::Environment::begin

(

)

const [inline]

Definition at line 74 of file Environment.h.

Referenced by clang::ento::StoreManager::removeDeadBindings().

iterator clang::ento::Environment::end

(

)

const [inline]

Definition at line 75 of file Environment.h.

Referenced by clang::ento::StoreManager::removeDeadBindings().

SVal clang::ento::Environment::getSVal	(	const EnvironmentEntry &	E,
		SValBuilder &	svalBuilder,
		bool	useOnlyDirectBindings = false
	)		const

Fetches the current binding of the expression in the Environment.

Referenced by clang::ento::ProgramState::getSVal().

bool clang::ento::Environment::operator==

(

const Environment &

RHS

)

const [inline]

Definition at line 95 of file Environment.h.

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

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

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

Definition at line 85 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 91 of file Environment.h.

References Profile().

---

Friends And Related Function Documentation

friend class EnvironmentManager [friend]

Definition at line 59 of file Environment.h.

---

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

• Environment.h
• Environment.cpp