clang::ento::NodeBuilderContext Struct Reference

#include <CoreEngine.h>

Collaboration diagram for clang::ento::NodeBuilderContext:

List of all members.

Public Member Functions
	NodeBuilderContext (const CoreEngine &E, const CFGBlock *B, ExplodedNode *N)
const CFGBlock *	getBlock () const
	Return the CFGBlock associated with this builder.
unsigned	blockCount () const
	Returns the number of times the current basic block has been visited on the exploded graph path.
Public Attributes
const CoreEngine &	Eng
const CFGBlock *	Block
const LocationContext *	LC

---

Detailed Description

Definition at line 179 of file CoreEngine.h.

---

Constructor & Destructor Documentation

clang::ento::NodeBuilderContext::NodeBuilderContext	(	const CoreEngine &	E,
		const CFGBlock *	B,
		ExplodedNode *	N
	)		[inline]

Definition at line 183 of file CoreEngine.h.

---

Member Function Documentation

unsigned clang::ento::NodeBuilderContext::blockCount

(

)

const [inline]

Returns the number of times the current basic block has been visited on the exploded graph path.

Definition at line 191 of file CoreEngine.h.

References Block, Eng, clang::CFGBlock::getBlockID(), clang::LocationContext::getCurrentStackFrame(), and LC.

Referenced by clang::ento::ExprEngine::bindReturnValue(), clang::ento::CheckerContext::blockCount(), clang::ento::ExprEngine::processCFGBlockEntrance(), clang::ento::ExprEngine::ProcessInitializer(), clang::ento::ExprEngine::Visit(), clang::ento::ExprEngine::VisitBinaryOperator(), clang::ento::ExprEngine::VisitBlockExpr(), clang::ento::ExprEngine::VisitCast(), clang::ento::ExprEngine::VisitCommonDeclRefExpr(), clang::ento::ExprEngine::VisitCXXCatchStmt(), clang::ento::ExprEngine::VisitCXXNewExpr(), clang::ento::ExprEngine::VisitDeclStmt(), clang::ento::ExprEngine::VisitGuardedExpr(), clang::ento::ExprEngine::VisitIncrementDecrementOperator(), and clang::ento::ExprEngine::VisitObjCForCollectionStmt().

const CFGBlock* clang::ento::NodeBuilderContext::getBlock

(

)

const [inline]

Return the CFGBlock associated with this builder.

Definition at line 187 of file CoreEngine.h.

References Block.

Referenced by clang::ento::CheckerContext::getBlockID(), getRegionForConstructedObject(), clang::ento::ExprEngine::processBranch(), clang::ento::ExprEngine::ProcessImplicitDtor(), clang::ento::ExprEngine::ProcessInitializer(), clang::ento::ExprEngine::ProcessNewAllocator(), clang::ento::ExprEngine::ProcessStmt(), and clang::ento::ExprEngine::Visit().

---

Member Data Documentation

const CFGBlock* clang::ento::NodeBuilderContext::Block

Definition at line 181 of file CoreEngine.h.

Referenced by blockCount(), getBlock(), and clang::ento::CheckerManager::runCheckersForEndFunction().

const CoreEngine& clang::ento::NodeBuilderContext::Eng

Definition at line 180 of file CoreEngine.h.

Referenced by blockCount(), and expandGraphWithCheckers().

const LocationContext* clang::ento::NodeBuilderContext::LC

Definition at line 182 of file CoreEngine.h.

Referenced by blockCount().

---

The documentation for this struct was generated from the following file:

• CoreEngine.h