clang::ento::IndirectGotoNodeBuilder Class Reference

#include "clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h"

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

Constructor & Destructor Documentation

IndirectGotoNodeBuilder()

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

inline

Definition at line 471 of file CoreEngine.h.

Member Function Documentation

begin()

iterator clang::ento::IndirectGotoNodeBuilder::begin ( )

inline

Definition at line 500 of file CoreEngine.h.

end()

iterator clang::ento::IndirectGotoNodeBuilder::end ( )

inline

Definition at line 501 of file CoreEngine.h.

generateNode()

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

Definition at line 733 of file CoreEngine.cpp.

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

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

getLocationContext()

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

inline

Definition at line 511 of file CoreEngine.h.

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

getState()

ProgramStateRef clang::ento::IndirectGotoNodeBuilder::getState ( ) const

inline

Definition at line 509 of file CoreEngine.h.

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

getTarget()

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

inline

Definition at line 507 of file CoreEngine.h.

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

---

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

• include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h
• lib/StaticAnalyzer/Core/CoreEngine.cpp