clang: clang::ento::IndirectGotoNodeBuilder Class Reference

clang API Documentation

#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 444 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 452 of file CoreEngine.h.

Member Function Documentation

iterator clang::ento::IndirectGotoNodeBuilder::begin ( ) [inline]

Definition at line 475 of file CoreEngine.h.

References clang::CFGBlock::succ_begin().

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

iterator clang::ento::IndirectGotoNodeBuilder::end ( ) [inline]

Definition at line 476 of file CoreEngine.h.

References clang::CFGBlock::succ_end().

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

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

Definition at line 669 of file CoreEngine.cpp.

References clang::ento::ExplodedNode::addPredecessor(), clang::ento::IndirectGotoNodeBuilder::iterator::getBlock(), and clang::ento::ExplodedNode::getLocationContext().

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

const LocationContext* clang::ento::IndirectGotoNodeBuilder::getLocationContext ( ) const [inline]

Definition at line 486 of file CoreEngine.h.

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

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

ProgramStateRef clang::ento::IndirectGotoNodeBuilder::getState ( ) const [inline]

Definition at line 484 of file CoreEngine.h.

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

const Expr* clang::ento::IndirectGotoNodeBuilder::getTarget ( ) const [inline]

Definition at line 482 of file CoreEngine.h.

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

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