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 485 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 492 of file CoreEngine.h.

Member Function Documentation

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

Definition at line 516 of file CoreEngine.h.

References clang::CFGBlock::succ_rbegin().

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

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

Definition at line 517 of file CoreEngine.h.

References clang::CFGBlock::succ_rend().

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

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

Definition at line 648 of file CoreEngine.cpp.

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

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

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

Definition at line 665 of file CoreEngine.cpp.

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

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

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

Definition at line 529 of file CoreEngine.h.

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

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

Definition at line 533 of file CoreEngine.h.

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

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

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

Definition at line 531 of file CoreEngine.h.

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

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

Definition at line 519 of file CoreEngine.h.

References clang::CFGBlock::getTerminator().

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

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