clang::ento::ExplodedNodeSet Class Reference

#include <ExplodedGraph.h>

List of all members.

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

---

Detailed Description

Definition at line 399 of file ExplodedGraph.h.

---

Member Typedef Documentation

typedef ImplTy::const_iterator clang::ento::ExplodedNodeSet::const_iterator

Definition at line 416 of file ExplodedGraph.h.

typedef ImplTy::iterator clang::ento::ExplodedNodeSet::iterator

Definition at line 415 of file ExplodedGraph.h.

---

Constructor & Destructor Documentation

clang::ento::ExplodedNodeSet::ExplodedNodeSet

(

ExplodedNode *

N

)

[inline]

Definition at line 404 of file ExplodedGraph.h.

clang::ento::ExplodedNodeSet::ExplodedNodeSet

(

)

[inline]

Definition at line 409 of file ExplodedGraph.h.

---

Member Function Documentation

void clang::ento::ExplodedNodeSet::Add

(

ExplodedNode *

N

)

[inline]

Definition at line 411 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().

iterator clang::ento::ExplodedNodeSet::begin

(

)

[inline]

Definition at line 431 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::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().

const_iterator clang::ento::ExplodedNodeSet::begin

(

)

const [inline]

Definition at line 434 of file ExplodedGraph.h.

void clang::ento::ExplodedNodeSet::clear

(

)

[inline]

Definition at line 422 of file ExplodedGraph.h.

Referenced by expandGraphWithCheckers(), and clang::ento::ExprEngine::ProcessInitializer().

bool clang::ento::ExplodedNodeSet::empty

(

)

const [inline]

Definition at line 419 of file ExplodedGraph.h.

Referenced by clang::ento::ExprEngine::evalStore(), expandGraphWithCheckers(), insert(), and clang::ento::ExprEngine::ProcessTemporaryDtor().

iterator clang::ento::ExplodedNodeSet::end

(

)

[inline]

Definition at line 432 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::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().

const_iterator clang::ento::ExplodedNodeSet::end

(

)

const [inline]

Definition at line 435 of file ExplodedGraph.h.

bool clang::ento::ExplodedNodeSet::erase

(

ExplodedNode *

N

)

[inline]

Definition at line 420 of file ExplodedGraph.h.

Referenced by clang::ento::NodeBuilder::takeNodes().

void clang::ento::ExplodedNodeSet::insert

(

const ExplodedNodeSet &

S

)

[inline]

Definition at line 423 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::runCheckersForBranchCondition(), clang::ento::CheckerManager::runCheckersForEvalCall(), clang::ento::ExprEngine::VisitDeclStmt(), and clang::ento::ExprEngine::VisitIncrementDecrementOperator().

unsigned clang::ento::ExplodedNodeSet::size

(

)

const [inline]

Definition at line 418 of file ExplodedGraph.h.

Referenced by clang::ento::ExprEngine::ProcessInitializer(), clang::ento::ExprEngine::ProcessTemporaryDtor(), and clang::ento::ExprEngine::VisitCXXNewExpr().

---

The documentation for this class was generated from the following file:

• ExplodedGraph.h