clang::ento::SwitchNodeBuilder Member List

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

addNodes(const ExplodedNodeSet &S)	clang::ento::NodeBuilder	inline
addNodes(ExplodedNode *N)	clang::ento::NodeBuilder	inline
begin()	clang::ento::SwitchNodeBuilder	inline
C	clang::ento::NodeBuilder	protected
end()	clang::ento::SwitchNodeBuilder	inline
Frontier	clang::ento::NodeBuilder	protected
generateCaseStmtNode(const CFGBlock *Block, ProgramStateRef State, ExplodedNode *Pred)	clang::ento::SwitchNodeBuilder
generateDefaultCaseNode(ProgramStateRef State, ExplodedNode *Pred)	clang::ento::SwitchNodeBuilder
generateNode(const ProgramPoint &PP, ProgramStateRef State, ExplodedNode *Pred, bool MarkAsSink=false)	clang::ento::NodeBuilder
generateNode(const Stmt *S, ExplodedNode *Pred, ProgramStateRef St, const ProgramPointTag *tag=nullptr, ProgramPoint::Kind K=ProgramPoint::PostStmtKind)	clang::ento::NodeBuilder	inline
generateSink(const ProgramPoint &PP, ProgramStateRef State, ExplodedNode *Pred)	clang::ento::NodeBuilder	inline
generateSink(const Stmt *S, ExplodedNode *Pred, ProgramStateRef St, const ProgramPointTag *tag=nullptr, ProgramPoint::Kind K=ProgramPoint::PostStmtKind)	clang::ento::NodeBuilder	inline
getContext() const	clang::ento::NodeBuilder	inline
getResults() const	clang::ento::NodeBuilder	inline
HasGeneratedNodes	clang::ento::NodeBuilder	protected
hasGeneratedNodes() const	clang::ento::NodeBuilder	inline
iterator typedef	clang::ento::SwitchNodeBuilder
NodeBuilder(ExplodedNodeSet &DstSet, const NodeBuilderContext &Ctx)	clang::ento::NodeBuilder	inline
NodeBuilder(ExplodedNode *SrcNode, ExplodedNodeSet &DstSet, const NodeBuilderContext &Ctx)	clang::ento::NodeBuilder	inline
NodeBuilder(const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet, const NodeBuilderContext &Ctx)	clang::ento::NodeBuilder	inline
SwitchNodeBuilder(ExplodedNodeSet &DstSet, const NodeBuilderContext &Ctx)	clang::ento::SwitchNodeBuilder	inline
takeNodes(const ExplodedNodeSet &S)	clang::ento::NodeBuilder	inline
takeNodes(ExplodedNode *N)	clang::ento::NodeBuilder	inline