clang API Documentation
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 | [inline, protected, virtual] |
end() | clang::ento::NodeBuilder | [inline] |
Finalized | clang::ento::NodeBuilder | [protected] |
finalizeResults() | clang::ento::NodeBuilder | [inline, protected, virtual] |
Frontier | clang::ento::NodeBuilder | [protected] |
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 ProgramPoint &PP, ProgramStateRef State, ExplodedNode *Pred) | clang::ento::NodeBuilder | [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 | [inline, protected] |
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] |
takeNodes(const ExplodedNodeSet &S) | clang::ento::NodeBuilder | [inline] |
takeNodes(ExplodedNode *N) | clang::ento::NodeBuilder | [inline] |
~NodeBuilder() | clang::ento::NodeBuilder | [inline, virtual] |