clang::ento::WorkList Class Reference

#include <WorkList.h>

List of all members.

Classes
class	Visitor
Public Member Functions
virtual	~WorkList ()
virtual bool	hasWork () const =0
virtual void	enqueue (const WorkListUnit &U)=0
void	enqueue (ExplodedNode *N, const CFGBlock *B, unsigned idx)
void	enqueue (ExplodedNode *N)
virtual WorkListUnit	dequeue ()=0
void	setBlockCounter (BlockCounter C)
BlockCounter	getBlockCounter () const
virtual bool	visitItemsInWorkList (Visitor &V)=0
Static Public Member Functions
static WorkList *	makeDFS ()
static WorkList *	makeBFS ()
static WorkList *	makeBFSBlockDFSContents ()

---

Detailed Description

Definition at line 63 of file WorkList.h.

---

Constructor & Destructor Documentation

WorkList::~WorkList

(

)

[virtual]

Definition at line 100 of file CoreEngine.cpp.

---

Member Function Documentation

virtual WorkListUnit clang::ento::WorkList::dequeue

(

)

[pure virtual]

virtual void clang::ento::WorkList::enqueue

(

const WorkListUnit &

U

)

[pure virtual]

Referenced by enqueue(), clang::ento::SubEngine::processCallEnter(), and clang::ento::SubEngine::processCallExit().

void clang::ento::WorkList::enqueue	(	ExplodedNode *	N,
		const CFGBlock *	B,
		unsigned	idx
	)		[inline]

Definition at line 71 of file WorkList.h.

References enqueue().

void clang::ento::WorkList::enqueue

(

ExplodedNode *

N

)

[inline]

Definition at line 75 of file WorkList.h.

References enqueue(), clang::ProgramPoint::getKind(), clang::ento::ExplodedNode::getLocation(), and clang::ProgramPoint::PostStmtKind.

BlockCounter clang::ento::WorkList::getBlockCounter

(

)

const [inline]

Definition at line 83 of file WorkList.h.

Referenced by clang::ento::NodeBuilderContext::getCurrentBlockCount().

virtual bool clang::ento::WorkList::hasWork

(

)

const [pure virtual]

Referenced by clang::ento::ExprEngine::hasEmptyWorkList(), and clang::ento::CoreEngine::hasWorkRemaining().

WorkList * WorkList::makeBFS

(

)

[static]

Definition at line 103 of file CoreEngine.cpp.

WorkList * WorkList::makeBFSBlockDFSContents

(

)

[static]

Definition at line 153 of file CoreEngine.cpp.

WorkList * WorkList::makeDFS

(

)

[static]

Definition at line 102 of file CoreEngine.cpp.

void clang::ento::WorkList::setBlockCounter

(

BlockCounter

C

)

[inline]

Definition at line 82 of file WorkList.h.

virtual bool clang::ento::WorkList::visitItemsInWorkList

(

Visitor &

V

)

[pure virtual]

---

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

• WorkList.h
• CoreEngine.cpp