clang::ento::WorkListUnit Class Reference

#include <WorkList.h>

List of all members.

Public Member Functions
	WorkListUnit (ExplodedNode *N, BlockCounter C, const CFGBlock *B, unsigned idx)
	WorkListUnit (ExplodedNode *N, BlockCounter C)
ExplodedNode *	getNode () const
	Returns the node associated with the worklist unit.
BlockCounter	getBlockCounter () const
	Returns the block counter map associated with the worklist unit.
const CFGBlock *	getBlock () const
	Returns the CFGblock associated with the worklist unit.
unsigned	getIndex () const
	Return the index within the CFGBlock for the worklist unit.

---

Detailed Description

Definition at line 28 of file WorkList.h.

---

Constructor & Destructor Documentation

clang::ento::WorkListUnit::WorkListUnit	(	ExplodedNode *	N,
		BlockCounter	C,
		const CFGBlock *	B,
		unsigned	idx
	)		[inline]

Definition at line 35 of file WorkList.h.

clang::ento::WorkListUnit::WorkListUnit	(	ExplodedNode *	N,
		BlockCounter	C
	)		[inline, explicit]

Definition at line 42 of file WorkList.h.

---

Member Function Documentation

const CFGBlock* clang::ento::WorkListUnit::getBlock

(

)

const [inline]

Returns the CFGblock associated with the worklist unit.

Definition at line 55 of file WorkList.h.

Referenced by clang::ento::CoreEngine::dispatchWorkItem().

BlockCounter clang::ento::WorkListUnit::getBlockCounter

(

)

const [inline]

Returns the block counter map associated with the worklist unit.

Definition at line 52 of file WorkList.h.

Referenced by clang::ento::CoreEngine::ExecuteWorkList().

unsigned clang::ento::WorkListUnit::getIndex

(

)

const [inline]

Return the index within the CFGBlock for the worklist unit.

Definition at line 58 of file WorkList.h.

Referenced by clang::ento::CoreEngine::dispatchWorkItem().

ExplodedNode* clang::ento::WorkListUnit::getNode

(

)

const [inline]

Returns the node associated with the worklist unit.

Definition at line 49 of file WorkList.h.

Referenced by clang::ento::CoreEngine::ExecuteWorkList().

---

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

• WorkList.h