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 398 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 407 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 417 of file CoreEngine.h.
References clang::ento::NodeBuilder::takeNodes().
Member Function Documentation
| ExplodedNode * BranchNodeBuilder::generateNode | ( | ProgramStateRef | State, |
| bool | branch, | ||
| ExplodedNode * | Pred | ||
| ) |
Definition at line 655 of file CoreEngine.cpp.
References AttributeLangSupport::C, and clang::ento::ExplodedNode::getLocationContext().
Referenced by clang::ento::ExprEngine::processBranch(), and clang::ento::ExprEngine::processCleanupTemporaryBranch().
| const CFGBlock* clang::ento::BranchNodeBuilder::getTargetBlock | ( | bool | branch | ) | const [inline] |
Definition at line 428 of file CoreEngine.h.
| bool clang::ento::BranchNodeBuilder::isFeasible | ( | bool | branch | ) | [inline] |
Definition at line 439 of file CoreEngine.h.
Referenced by clang::ento::ExprEngine::processBranch().
| void clang::ento::BranchNodeBuilder::markInfeasible | ( | bool | branch | ) | [inline] |
Definition at line 432 of file CoreEngine.h.
Referenced by clang::ento::ExprEngine::processBranch(), and clang::ento::ExprEngine::processCleanupTemporaryBranch().
The documentation for this class was generated from the following files: