clang 8.0.0

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