clang 23.0.0git
clang::ento::IndirectGotoNodeBuilder Member List

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

addNodes(const ExplodedNodeSet &S)clang::ento::NodeBuilderinline
addNodes(ExplodedNode *N)clang::ento::NodeBuilderinline
begin()clang::ento::IndirectGotoNodeBuilderinline
Cclang::ento::NodeBuilderprotected
end()clang::ento::IndirectGotoNodeBuilderinline
Frontierclang::ento::NodeBuilderprotected
generateNode(const CFGBlock *Block, ProgramStateRef State, ExplodedNode *Pred)clang::ento::IndirectGotoNodeBuilder
generateNode(const ProgramPoint &PP, ProgramStateRef State, ExplodedNode *Pred, bool MarkAsSink=false)clang::ento::IndirectGotoNodeBuilder
generateNode(const Stmt *S, ExplodedNode *Pred, ProgramStateRef St, const ProgramPointTag *tag=nullptr, ProgramPoint::Kind K=ProgramPoint::PostStmtKind)clang::ento::IndirectGotoNodeBuilderinline
generateSink(const ProgramPoint &PP, ProgramStateRef State, ExplodedNode *Pred)clang::ento::NodeBuilderinline
generateSink(const Stmt *S, ExplodedNode *Pred, ProgramStateRef St, const ProgramPointTag *tag=nullptr, ProgramPoint::Kind K=ProgramPoint::PostStmtKind)clang::ento::NodeBuilderinline
getContext() constclang::ento::NodeBuilderinline
getLocationContext() constclang::ento::IndirectGotoNodeBuilderinline
getResults() constclang::ento::NodeBuilderinline
getTarget() constclang::ento::IndirectGotoNodeBuilderinline
HasGeneratedNodesclang::ento::NodeBuilderprotected
hasGeneratedNodes() constclang::ento::NodeBuilderinline
IndirectGotoNodeBuilder(ExplodedNodeSet &DstSet, const NodeBuilderContext &Ctx, const Expr *Tgt, const CFGBlock *Dispatch)clang::ento::IndirectGotoNodeBuilderinline
iterator typedefclang::ento::IndirectGotoNodeBuilder
NodeBuilder(ExplodedNodeSet &DstSet, const NodeBuilderContext &Ctx)clang::ento::NodeBuilderinline
NodeBuilder(ExplodedNode *SrcNode, ExplodedNodeSet &DstSet, const NodeBuilderContext &Ctx)clang::ento::NodeBuilderinline
NodeBuilder(const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet, const NodeBuilderContext &Ctx)clang::ento::NodeBuilderinline
takeNodes(const ExplodedNodeSet &S)clang::ento::NodeBuilderinline
takeNodes(ExplodedNode *N)clang::ento::NodeBuilderinline