clang::ento::IndirectGotoNodeBuilder Class Reference

#include <CoreEngine.h>

List of all members.

Classes
class	iterator
Public Member Functions
	IndirectGotoNodeBuilder (ExplodedNode *pred, const CFGBlock *src, const Expr *e, const CFGBlock *dispatch, CoreEngine *eng)
iterator	begin ()
iterator	end ()
ExplodedNode *	generateNode (const iterator &I, ProgramStateRef State, bool isSink=false)
const Expr *	getTarget () const
ProgramStateRef	getState () const
const LocationContext *	getLocationContext () const

---

Detailed Description

Definition at line 438 of file CoreEngine.h.

---

Constructor & Destructor Documentation

clang::ento::IndirectGotoNodeBuilder::IndirectGotoNodeBuilder	(	ExplodedNode *	pred,
		const CFGBlock *	src,
		const Expr *	e,
		const CFGBlock *	dispatch,
		CoreEngine *	eng
	)		[inline]

Definition at line 446 of file CoreEngine.h.

---

Member Function Documentation

iterator clang::ento::IndirectGotoNodeBuilder::begin

(

)

[inline]

Definition at line 469 of file CoreEngine.h.

References clang::CFGBlock::succ_begin().

Referenced by clang::ento::SubEngine::processIndirectGoto().

iterator clang::ento::IndirectGotoNodeBuilder::end

(

)

[inline]

Definition at line 470 of file CoreEngine.h.

References clang::CFGBlock::succ_end().

Referenced by clang::ento::SubEngine::processIndirectGoto().

ExplodedNode * IndirectGotoNodeBuilder::generateNode	(	const iterator &	I,
		ProgramStateRef	State,
		bool	isSink = false
	)

generateNode - Utility method to generate nodes, hook up successors, and add nodes to the worklist.

Definition at line 473 of file CoreEngine.cpp.

References clang::ento::ExplodedNode::addPredecessor().

Referenced by clang::ento::SubEngine::processIndirectGoto().

const LocationContext* clang::ento::IndirectGotoNodeBuilder::getLocationContext

(

)

const [inline]

Definition at line 480 of file CoreEngine.h.

References clang::ento::ExplodedNode::getLocationContext().

Referenced by clang::ento::SubEngine::processIndirectGoto().

ProgramStateRef clang::ento::IndirectGotoNodeBuilder::getState

(

)

const [inline]

Definition at line 478 of file CoreEngine.h.

Referenced by clang::ento::SubEngine::processIndirectGoto().

const Expr* clang::ento::IndirectGotoNodeBuilder::getTarget

(

)

const [inline]

Definition at line 476 of file CoreEngine.h.

Referenced by clang::ento::SubEngine::processIndirectGoto().

---

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

• CoreEngine.h
• CoreEngine.cpp