clang  6.0.0svn
clang::ento::SwitchNodeBuilder Member List

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

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