BranchNodeBuilder is responsible for constructing the nodes corresponding to the two branches of the if statement - true and false. More...
#include <CoreEngine.h>
Public Member Functions | |
| BranchNodeBuilder (ExplodedNode *SrcNode, ExplodedNodeSet &DstSet, const NodeBuilderContext &C, const CFGBlock *dstT, const CFGBlock *dstF) | |
| BranchNodeBuilder (const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet, const NodeBuilderContext &C, const CFGBlock *dstT, const CFGBlock *dstF) | |
| ExplodedNode * | generateNode (ProgramStateRef State, bool branch, ExplodedNode *Pred) |
| const CFGBlock * | getTargetBlock (bool branch) const |
| void | markInfeasible (bool branch) |
| bool | isFeasible (bool branch) |
Detailed Description
BranchNodeBuilder is responsible for constructing the nodes corresponding to the two branches of the if statement - true and false.
Definition at line 392 of file CoreEngine.h.
Constructor & Destructor Documentation
| clang::ento::BranchNodeBuilder::BranchNodeBuilder | ( | ExplodedNode * | SrcNode, |
| ExplodedNodeSet & | DstSet, | ||
| const NodeBuilderContext & | C, | ||
| const CFGBlock * | dstT, | ||
| const CFGBlock * | dstF | ||
| ) | [inline] |
Definition at line 401 of file CoreEngine.h.
References clang::ento::NodeBuilder::takeNodes().
| clang::ento::BranchNodeBuilder::BranchNodeBuilder | ( | const ExplodedNodeSet & | SrcSet, |
| ExplodedNodeSet & | DstSet, | ||
| const NodeBuilderContext & | C, | ||
| const CFGBlock * | dstT, | ||
| const CFGBlock * | dstF | ||
| ) | [inline] |
Definition at line 411 of file CoreEngine.h.
References clang::ento::NodeBuilder::takeNodes().
Member Function Documentation
| ExplodedNode* clang::ento::BranchNodeBuilder::generateNode | ( | ProgramStateRef | State, |
| bool | branch, | ||
| ExplodedNode * | Pred | ||
| ) |
Referenced by clang::ento::SubEngine::processBranch().
| const CFGBlock* clang::ento::BranchNodeBuilder::getTargetBlock | ( | bool | branch | ) | const [inline] |
Definition at line 422 of file CoreEngine.h.
| bool clang::ento::BranchNodeBuilder::isFeasible | ( | bool | branch | ) | [inline] |
Definition at line 433 of file CoreEngine.h.
Referenced by clang::ento::SubEngine::processBranch().
| void clang::ento::BranchNodeBuilder::markInfeasible | ( | bool | branch | ) | [inline] |
Definition at line 426 of file CoreEngine.h.
Referenced by clang::ento::SubEngine::processBranch().
The documentation for this class was generated from the following file: