clang 8.0.0

clang::ento::NodeBuilderWithSinks Member List

This is the complete list of members for clang::ento::NodeBuilderWithSinks, 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 | 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(ProgramStateRef State, ExplodedNode *Pred, const ProgramPointTag *Tag=nullptr) | clang::ento::NodeBuilderWithSinks | 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(ProgramStateRef State, ExplodedNode *Pred, const ProgramPointTag *Tag=nullptr) | clang::ento::NodeBuilderWithSinks | 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
getSinks() const | clang::ento::NodeBuilderWithSinks | inline
hasGeneratedNodes() | clang::ento::NodeBuilder | inline
HasGeneratedNodes | clang::ento::NodeBuilder | protected
hasNoSinksInFrontier() | clang::ento::NodeBuilder | inline protected
iterator typedef | clang::ento::NodeBuilder |
Location | clang::ento::NodeBuilderWithSinks | protected
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
NodeBuilderWithSinks(ExplodedNode *Pred, ExplodedNodeSet &DstSet, const NodeBuilderContext &Ctx, ProgramPoint &L) | clang::ento::NodeBuilderWithSinks | inline
sinksGenerated | clang::ento::NodeBuilderWithSinks | protected
takeNodes(const ExplodedNodeSet &S) | clang::ento::NodeBuilder | inline
takeNodes(ExplodedNode *N) | clang::ento::NodeBuilder | inline
~NodeBuilder()=default | clang::ento::NodeBuilder | virtual