This node builder keeps track of the generated sink nodes. More...
#include <CoreEngine.h>
Inheritance diagram for clang::ento::NodeBuilderWithSinks:
Collaboration diagram for clang::ento::NodeBuilderWithSinks:
Public Member Functions | |
| NodeBuilderWithSinks (ExplodedNode *Pred, ExplodedNodeSet &DstSet, const NodeBuilderContext &Ctx, ProgramPoint &L) | |
| ExplodedNode * | generateNode (ProgramStateRef State, ExplodedNode *Pred, const ProgramPointTag *Tag=0, bool MarkAsSink=false) |
| const SmallVectorImpl < ExplodedNode * > & | getSinks () const |
Protected Attributes | |
| SmallVector< ExplodedNode *, 2 > | sinksGenerated |
| ProgramPoint & | Location |
Detailed Description
This node builder keeps track of the generated sink nodes.
Definition at line 315 of file CoreEngine.h.
Constructor & Destructor Documentation
| clang::ento::NodeBuilderWithSinks::NodeBuilderWithSinks | ( | ExplodedNode * | Pred, |
| ExplodedNodeSet & | DstSet, | ||
| const NodeBuilderContext & | Ctx, | ||
| ProgramPoint & | L | ||
| ) | [inline] |
Definition at line 322 of file CoreEngine.h.
Member Function Documentation
| ExplodedNode* clang::ento::NodeBuilderWithSinks::generateNode | ( | ProgramStateRef | State, |
| ExplodedNode * | Pred, | ||
| const ProgramPointTag * | Tag = 0, |
||
| bool | MarkAsSink = false |
||
| ) | [inline] |
Definition at line 325 of file CoreEngine.h.
References clang::ento::NodeBuilder::generateNodeImpl(), clang::ento::ExplodedNode::isSink(), Location, sinksGenerated, and clang::ProgramPoint::withTag().
Referenced by clang::ento::SubEngine::processCFGBlockEntrance().
| const SmallVectorImpl<ExplodedNode*>& clang::ento::NodeBuilderWithSinks::getSinks | ( | ) | const [inline] |
Definition at line 337 of file CoreEngine.h.
References sinksGenerated.
Member Data Documentation
ProgramPoint& clang::ento::NodeBuilderWithSinks::Location [protected] |
Definition at line 319 of file CoreEngine.h.
Referenced by generateNode().
SmallVector<ExplodedNode*, 2> clang::ento::NodeBuilderWithSinks::sinksGenerated [protected] |
Definition at line 318 of file CoreEngine.h.
Referenced by generateNode(), and getSinks().
The documentation for this class was generated from the following file: