clang::ento::SwitchNodeBuilder Member List

This is the complete list of members for clang::ento::SwitchNodeBuilder, including all inherited members.

begin()	clang::ento::SwitchNodeBuilder	[inline]
end()	clang::ento::SwitchNodeBuilder	[inline]
generateCaseStmtNode(const iterator &I, ProgramStateRef State)	clang::ento::SwitchNodeBuilder
generateDefaultCaseNode(ProgramStateRef State, bool isSink=false)	clang::ento::SwitchNodeBuilder
getCondition() const	clang::ento::SwitchNodeBuilder	[inline]
getLocationContext() const	clang::ento::SwitchNodeBuilder	[inline]
getState() const	clang::ento::SwitchNodeBuilder	[inline]
getSwitch() const	clang::ento::SwitchNodeBuilder	[inline]
SwitchNodeBuilder(ExplodedNode *pred, const CFGBlock *src, const Expr *condition, CoreEngine *eng)	clang::ento::SwitchNodeBuilder	[inline]