clang::ento::StmtNodeBuilder Member List

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

addNodes(const ExplodedNodeSet &S)	clang::ento::NodeBuilder	inline
addNodes(ExplodedNode *N)	clang::ento::NodeBuilder	inline
begin()	clang::ento::NodeBuilder	inline
C	clang::ento::NodeBuilder	protected
checkResults()	clang::ento::NodeBuilder	inlineprotectedvirtual
end()	clang::ento::NodeBuilder	inline
Finalized	clang::ento::NodeBuilder	protected
finalizeResults()	clang::ento::NodeBuilder	inlineprotectedvirtual
Frontier	clang::ento::NodeBuilder	protected
generateNode(const Stmt *S, ExplodedNode *Pred, ProgramStateRef St, const ProgramPointTag *tag=nullptr, ProgramPoint::Kind K=ProgramPoint::PostStmtKind)	clang::ento::StmtNodeBuilder	inline
generateNode(const ProgramPoint &PP, ProgramStateRef State, ExplodedNode *Pred)	clang::ento::StmtNodeBuilder	inline
generateNodeImpl(const ProgramPoint &PP, ProgramStateRef State, ExplodedNode *Pred, bool MarkAsSink=false)	clang::ento::NodeBuilder	protected
generateSink(const Stmt *S, ExplodedNode *Pred, ProgramStateRef St, const ProgramPointTag *tag=nullptr, ProgramPoint::Kind K=ProgramPoint::PostStmtKind)	clang::ento::StmtNodeBuilder	inline
generateSink(const ProgramPoint &PP, ProgramStateRef State, ExplodedNode *Pred)	clang::ento::StmtNodeBuilder	inline
getContext()	clang::ento::NodeBuilder	inline
getResults()	clang::ento::NodeBuilder	inline
HasGeneratedNodes	clang::ento::NodeBuilder	protected
hasGeneratedNodes()	clang::ento::NodeBuilder	inline
hasNoSinksInFrontier()	clang::ento::NodeBuilder	inlineprotected
iterator typedef	clang::ento::NodeBuilder
NodeBuilder(ExplodedNode *SrcNode, ExplodedNodeSet &DstSet, const NodeBuilderContext &Ctx, bool F=true)	clang::ento::NodeBuilder	inline
NodeBuilder(const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet, const NodeBuilderContext &Ctx, bool F=true)	clang::ento::NodeBuilder	inline
StmtNodeBuilder(ExplodedNode *SrcNode, ExplodedNodeSet &DstSet, const NodeBuilderContext &Ctx, NodeBuilder *Enclosing=nullptr)	clang::ento::StmtNodeBuilder	inline
StmtNodeBuilder(ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet, const NodeBuilderContext &Ctx, NodeBuilder *Enclosing=nullptr)	clang::ento::StmtNodeBuilder	inline
takeNodes(const ExplodedNodeSet &S)	clang::ento::NodeBuilder	inline
takeNodes(ExplodedNode *N)	clang::ento::NodeBuilder	inline
~NodeBuilder()=default	clang::ento::NodeBuilder	virtual
~StmtNodeBuilder() override	clang::ento::StmtNodeBuilder