clang: clang::ento::SwitchNodeBuilder Class Reference

clang API Documentation

#include <CoreEngine.h>

List of all members.

Classes
class	iterator
Public Member Functions
	SwitchNodeBuilder (ExplodedNode pred, const CFGBlock src, const Expr condition, CoreEngine eng)
iterator	begin ()
iterator	end ()
const SwitchStmt *	getSwitch () const
ExplodedNode *	generateCaseStmtNode (const iterator &I, ProgramStateRef State)
ExplodedNode *	generateDefaultCaseNode (ProgramStateRef State, bool isSink=false)
const Expr *	getCondition () const
ProgramStateRef	getState () const
const LocationContext *	getLocationContext () const

Detailed Description

Definition at line 491 of file CoreEngine.h.

Constructor & Destructor Documentation

clang::ento::SwitchNodeBuilder::SwitchNodeBuilder	(	ExplodedNode *	pred,
		const CFGBlock *	src,
		const Expr *	condition,
		CoreEngine *	eng
	)		`[inline]`

Definition at line 498 of file CoreEngine.h.

Member Function Documentation

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

Definition at line 522 of file CoreEngine.h.

References clang::CFGBlock::succ_rbegin().

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

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

Definition at line 523 of file CoreEngine.h.

References clang::CFGBlock::succ_rend().

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

ExplodedNode * SwitchNodeBuilder::generateCaseStmtNode	(	const iterator &	I,
		ProgramStateRef	State
	)

Definition at line 689 of file CoreEngine.cpp.

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

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

ExplodedNode * SwitchNodeBuilder::generateDefaultCaseNode	(	ProgramStateRef	State,
		bool	isSink = `false`
	)

Definition at line 706 of file CoreEngine.cpp.

References clang::ento::ExplodedNode::addPredecessor(), clang::ento::ExplodedNode::getLocationContext(), and clang::CFGBlock::succ_rbegin().

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

const Expr* clang::ento::SwitchNodeBuilder::getCondition ( ) const [inline]

Definition at line 535 of file CoreEngine.h.

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

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

Definition at line 539 of file CoreEngine.h.

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

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

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

Definition at line 537 of file CoreEngine.h.

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

const SwitchStmt* clang::ento::SwitchNodeBuilder::getSwitch ( ) const [inline]

Definition at line 525 of file CoreEngine.h.

References clang::CFGBlock::getTerminator().

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

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