clang
3.9.0
|
#include <ExplodedGraph.h>
Public Types | |
typedef ImplTy::iterator | iterator |
typedef ImplTy::const_iterator | const_iterator |
Public Member Functions | |
ExplodedNodeSet (ExplodedNode *N) | |
ExplodedNodeSet () | |
void | Add (ExplodedNode *N) |
unsigned | size () const |
bool | empty () const |
bool | erase (ExplodedNode *N) |
void | clear () |
void | insert (const ExplodedNodeSet &S) |
iterator | begin () |
iterator | end () |
const_iterator | begin () const |
const_iterator | end () const |
Definition at line 407 of file ExplodedGraph.h.
typedef ImplTy::const_iterator clang::ento::ExplodedNodeSet::const_iterator |
Definition at line 424 of file ExplodedGraph.h.
typedef ImplTy::iterator clang::ento::ExplodedNodeSet::iterator |
Definition at line 423 of file ExplodedGraph.h.
|
inline |
Definition at line 412 of file ExplodedGraph.h.
|
inline |
Definition at line 417 of file ExplodedGraph.h.
|
inline |
Definition at line 419 of file ExplodedGraph.h.
Referenced by clang::ento::NodeBuilder::addNodes(), clang::ento::CoreEngine::ExecuteWorkListWithInitialState(), clang::ento::NodeBuilder::NodeBuilder(), clang::ento::ExprEngine::processCallExit(), clang::ento::ExprEngine::removeDeadOnEndOfFunction(), clang::ento::ExprEngine::VisitCXXCatchStmt(), and clang::ento::ExprEngine::VisitCXXConstructExpr().
|
inline |
Definition at line 439 of file ExplodedGraph.h.
Referenced by clang::ento::NodeBuilder::begin(), clang::ento::CoreEngine::enqueue(), clang::ento::CoreEngine::enqueueEndOfFunction(), clang::ento::ExprEngine::evalBind(), clang::ento::ExprEngine::evalEagerlyAssumeBinOpBifurcation(), clang::ento::ExprEngine::evalLoad(), clang::ento::ExprEngine::evalStore(), expandGraphWithCheckers(), clang::ento::NodeBuilder::hasNoSinksInFrontier(), insert(), clang::ento::ExprEngine::processCallExit(), clang::ento::ExprEngine::processEndOfFunction(), clang::ento::ExprEngine::ProcessInitializer(), clang::ento::ExprEngine::ProcessTemporaryDtor(), clang::ento::ExprEngine::removeDead(), clang::ento::CheckerManager::runCheckersForEvalCall(), clang::ento::StmtNodeBuilder::StmtNodeBuilder(), clang::ento::NodeBuilder::takeNodes(), clang::ento::ExprEngine::Visit(), clang::ento::ExprEngine::VisitAtomicExpr(), clang::ento::ExprEngine::VisitBinaryOperator(), clang::ento::ExprEngine::VisitCallExpr(), clang::ento::ExprEngine::VisitCast(), clang::ento::ExprEngine::VisitCXXConstructExpr(), clang::ento::ExprEngine::VisitCXXNewAllocatorCall(), clang::ento::ExprEngine::VisitDeclStmt(), clang::ento::ExprEngine::VisitIncrementDecrementOperator(), clang::ento::ExprEngine::VisitLvalArraySubscriptExpr(), clang::ento::ExprEngine::VisitMemberExpr(), clang::ento::ExprEngine::VisitObjCForCollectionStmt(), clang::ento::ExprEngine::VisitObjCMessage(), clang::ento::ExprEngine::VisitReturnStmt(), clang::ento::ExprEngine::VisitUnaryExprOrTypeTraitExpr(), and clang::ento::ExprEngine::VisitUnaryOperator().
|
inline |
Definition at line 442 of file ExplodedGraph.h.
|
inline |
Definition at line 430 of file ExplodedGraph.h.
Referenced by expandGraphWithCheckers(), and clang::ento::ExprEngine::ProcessInitializer().
|
inline |
Definition at line 427 of file ExplodedGraph.h.
Referenced by clang::ento::ExprEngine::evalStore(), expandGraphWithCheckers(), insert(), and clang::ento::ExprEngine::ProcessTemporaryDtor().
|
inline |
Definition at line 440 of file ExplodedGraph.h.
Referenced by clang::ento::NodeBuilder::end(), clang::ento::CoreEngine::enqueue(), clang::ento::CoreEngine::enqueueEndOfFunction(), clang::ento::ExprEngine::evalBind(), clang::ento::ExprEngine::evalEagerlyAssumeBinOpBifurcation(), clang::ento::ExprEngine::evalLoad(), clang::ento::ExprEngine::evalStore(), expandGraphWithCheckers(), clang::ento::NodeBuilder::hasNoSinksInFrontier(), insert(), clang::ento::ExprEngine::processCallExit(), clang::ento::ExprEngine::processEndOfFunction(), clang::ento::ExprEngine::ProcessInitializer(), clang::ento::ExprEngine::removeDead(), clang::ento::CheckerManager::runCheckersForEvalCall(), clang::ento::StmtNodeBuilder::StmtNodeBuilder(), clang::ento::NodeBuilder::takeNodes(), clang::ento::ExprEngine::Visit(), clang::ento::ExprEngine::VisitAtomicExpr(), clang::ento::ExprEngine::VisitBinaryOperator(), clang::ento::ExprEngine::VisitCallExpr(), clang::ento::ExprEngine::VisitCast(), clang::ento::ExprEngine::VisitCXXConstructExpr(), clang::ento::ExprEngine::VisitCXXNewAllocatorCall(), clang::ento::ExprEngine::VisitDeclStmt(), clang::ento::ExprEngine::VisitIncrementDecrementOperator(), clang::ento::ExprEngine::VisitLvalArraySubscriptExpr(), clang::ento::ExprEngine::VisitMemberExpr(), clang::ento::ExprEngine::VisitObjCForCollectionStmt(), clang::ento::ExprEngine::VisitObjCMessage(), clang::ento::ExprEngine::VisitReturnStmt(), clang::ento::ExprEngine::VisitUnaryExprOrTypeTraitExpr(), and clang::ento::ExprEngine::VisitUnaryOperator().
|
inline |
Definition at line 443 of file ExplodedGraph.h.
|
inline |
Definition at line 428 of file ExplodedGraph.h.
Referenced by clang::ento::NodeBuilder::takeNodes().
|
inline |
Definition at line 431 of file ExplodedGraph.h.
References begin(), empty(), and end().
Referenced by clang::ento::NodeBuilder::addNodes(), expandGraphWithCheckers(), clang::ento::NodeBuilder::NodeBuilder(), clang::ento::ExprEngine::processCallExit(), clang::ento::ExprEngine::ProcessStmt(), clang::ento::CheckerManager::runCheckersForBeginFunction(), clang::ento::CheckerManager::runCheckersForBranchCondition(), clang::ento::CheckerManager::runCheckersForEvalCall(), clang::ento::ExprEngine::VisitDeclStmt(), and clang::ento::ExprEngine::VisitIncrementDecrementOperator().
|
inline |
Definition at line 426 of file ExplodedGraph.h.
Referenced by clang::ento::ExprEngine::ProcessInitializer(), clang::ento::ExprEngine::ProcessTemporaryDtor(), and clang::ento::ExprEngine::VisitCXXNewExpr().