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] |