#include <CoreEngine.h>
Public Member Functions | |
| NodeBuilderContext (const CoreEngine &E, const CFGBlock *B, ExplodedNode *N) | |
| ExplodedNode * | getPred () const |
| const CFGBlock * | getBlock () const |
| Return the CFGBlock associated with this builder. | |
| unsigned | getCurrentBlockCount () const |
| Returns the number of times the current basic block has been visited on the exploded graph path. | |
Public Attributes | |
| const CoreEngine & | Eng |
| const CFGBlock * | Block |
| ExplodedNode * | Pred |
Detailed Description
Definition at line 190 of file CoreEngine.h.
Constructor & Destructor Documentation
| clang::ento::NodeBuilderContext::NodeBuilderContext | ( | const CoreEngine & | E, |
| const CFGBlock * | B, | ||
| ExplodedNode * | N | ||
| ) | [inline] |
Definition at line 194 of file CoreEngine.h.
References clang::ento::ExplodedNode::isSink().
Member Function Documentation
| const CFGBlock* clang::ento::NodeBuilderContext::getBlock | ( | ) | const [inline] |
Return the CFGBlock associated with this builder.
Definition at line 200 of file CoreEngine.h.
References Block.
Referenced by clang::ento::ExprEngine::ProcessImplicitDtor(), clang::ento::ExprEngine::ProcessInitializer(), clang::ento::ExprEngine::ProcessStmt(), clang::ento::ExprEngine::VisitCXXConstructExpr(), and clang::ento::ExprEngine::VisitCXXDestructor().
| unsigned clang::ento::NodeBuilderContext::getCurrentBlockCount | ( | ) | const [inline] |
Returns the number of times the current basic block has been visited on the exploded graph path.
Definition at line 204 of file CoreEngine.h.
References Block, Eng, clang::ento::WorkList::getBlockCounter(), clang::CFGBlock::getBlockID(), clang::LocationContext::getCurrentStackFrame(), clang::ento::ExplodedNode::getLocationContext(), clang::ento::BlockCounter::getNumVisited(), and Pred.
Referenced by clang::ento::ExprEngine::evalObjCMessage(), clang::ento::CheckerContext::getCurrentBlockCount(), clang::ento::ExprEngine::invalidateArguments(), clang::ento::SubEngine::processCFGBlockEntrance(), clang::ento::ExprEngine::VisitCast(), clang::ento::ExprEngine::VisitCXXCatchStmt(), clang::ento::ExprEngine::VisitCXXNewExpr(), clang::ento::ExprEngine::VisitDeclStmt(), clang::ento::ExprEngine::VisitIncrementDecrementOperator(), and clang::ento::ExprEngine::VisitObjCForCollectionStmt().
| ExplodedNode* clang::ento::NodeBuilderContext::getPred | ( | ) | const [inline] |
Definition at line 197 of file CoreEngine.h.
References Pred.
Referenced by clang::ento::SubEngine::processCFGBlockEntrance().
Member Data Documentation
Definition at line 192 of file CoreEngine.h.
Referenced by getBlock(), getCurrentBlockCount(), and clang::ento::CheckerManager::runCheckersForEndPath().
Definition at line 191 of file CoreEngine.h.
Referenced by getCurrentBlockCount().
Definition at line 193 of file CoreEngine.h.
Referenced by getCurrentBlockCount(), getPred(), clang::ento::SubEngine::processEndOfFunction(), and clang::ento::CheckerManager::runCheckersForEndPath().
The documentation for this struct was generated from the following file: