clang API Documentation

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]
Cclang::ento::NodeBuilder [protected]
checkResults()clang::ento::NodeBuilder [inline, protected, virtual]
end()clang::ento::NodeBuilder [inline]
Finalizedclang::ento::NodeBuilder [protected]
finalizeResults()clang::ento::NodeBuilder [inline, protected, virtual]
Frontierclang::ento::NodeBuilder [protected]
generateNode(const Stmt *S, ExplodedNode *Pred, ProgramStateRef St, const ProgramPointTag *tag=nullptr, ProgramPoint::Kind K=ProgramPoint::PostStmtKind)clang::ento::StmtNodeBuilder [inline]
clang::ento::NodeBuilder::generateNode(const ProgramPoint &PP, ProgramStateRef State, ExplodedNode *Pred)clang::ento::NodeBuilder [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]
clang::ento::NodeBuilder::generateSink(const ProgramPoint &PP, ProgramStateRef State, ExplodedNode *Pred)clang::ento::NodeBuilder [inline]
getContext()clang::ento::NodeBuilder [inline]
getResults()clang::ento::NodeBuilder [inline]
HasGeneratedNodesclang::ento::NodeBuilder [protected]
hasGeneratedNodes()clang::ento::NodeBuilder [inline]
hasNoSinksInFrontier()clang::ento::NodeBuilder [inline, protected]
iterator typedefclang::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()clang::ento::NodeBuilder [inline, virtual]
~StmtNodeBuilder()clang::ento::StmtNodeBuilder [virtual]