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

---

Member Typedef Documentation

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

Definition at line 71 of file Environment.h.

---

Member Function Documentation

iterator clang::ento::Environment::begin

(

)

const [inline]

Definition at line 72 of file Environment.h.

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

iterator clang::ento::Environment::end

(

)

const [inline]

Definition at line 73 of file Environment.h.

Referenced by print(), and 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 69 of file Environment.cpp.

References clang::ento::SValBuilder::getConstantVal(), clang::ento::EnvironmentEntry::getLocationContext(), clang::ReturnStmt::getRetValue(), clang::ento::EnvironmentEntry::getStmt(), clang::Stmt::getStmtClass(), and S.

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

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

(

const Environment &

RHS

)

const [inline]

Definition at line 91 of file Environment.h.

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

Definition at line 191 of file Environment.cpp.

References begin(), end(), clang::ento::EnvironmentEntry::getLocationContext(), clang::ento::EnvironmentEntry::getStmt(), clang::Stmt::printPretty(), and S.

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

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

References Profile().

---

Friends And Related Function Documentation

friend class EnvironmentManager [friend]

Definition at line 57 of file Environment.h.

---

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

• Environment.h
• Environment.cpp