wali::DefaultWorklist< T > Class Template Reference

List of all members.

Public Member Functions
	DefaultWorklist ()
virtual	~DefaultWorklist ()
virtual bool	put (T *item)
virtual T *	get ()
virtual bool	empty () const
virtual void	clear ()
Protected Attributes
std::list< T * >	wl
	The default worklist data structure.

---

Detailed Description

template<typename T>
class wali::DefaultWorklist< T >

The default DefaultWorklist acts as a Stack and uses std::list to hold items.

---

Constructor & Destructor Documentation

template<typename T>

wali::DefaultWorklist< T >::DefaultWorklist

(

)

template<typename T>

virtual wali::DefaultWorklist< T >::~DefaultWorklist

(

)

[virtual]

References wali::DefaultWorklist< T >::clear().

---

Member Function Documentation

template<typename T>

virtual bool wali::DefaultWorklist< T >::put

(

T *

item

)

[virtual]

put

Implements wali::Worklist< T >.

References wali::DefaultWorklist< T >::wl.

Referenced by wali::wfa::WFA::prune().

template<typename T>

virtual T* wali::DefaultWorklist< T >::get

(

)

[virtual]

get

Return an item from the worklist. Returns NULL if the DefaultWorklist is empty. In the future it may throw an exception

Returns:

T *

Implements wali::Worklist< T >.

References wali::DefaultWorklist< T >::empty(), and wali::DefaultWorklist< T >::wl.

Referenced by wali::wfa::WFA::prune().

template<typename T>

virtual bool wali::DefaultWorklist< T >::empty

(

)

const [virtual]

emtpy

Returns:

true if the DefaultWorklist is empty

Implements wali::Worklist< T >.

References wali::DefaultWorklist< T >::wl.

Referenced by wali::DefaultWorklist< T >::get(), and wali::wfa::WFA::prune().

template<typename T>

virtual void wali::DefaultWorklist< T >::clear

(

)

[virtual]

clear

Remove and unmark each item in this worklist.

Implements wali::Worklist< T >.

References wali::DefaultWorklist< T >::wl.

Referenced by wali::DefaultWorklist< T >::~DefaultWorklist().

---

Member Data Documentation

template<typename T>

std::list< T* > wali::DefaultWorklist< T >::wl [protected]

The default worklist data structure.

Referenced by wali::DefaultWorklist< T >::clear(), wali::DefaultWorklist< T >::empty(), wali::DefaultWorklist< T >::get(), and wali::DefaultWorklist< T >::put().

---

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

• Source/wali/DefaultWorklist.hpp