wali::wpds::WpdsStackSymbols Class Reference

List of all members.

Public Member Functions
	WpdsStackSymbols ()
virtual	~WpdsStackSymbols ()
virtual void	operator() (const rule_t &r)
Public Attributes
std::set< Key >	gamma
std::set< Key >	callPoints
std::set< Key >	returnPoints
std::set< Key >	entryPoints
std::set< Key >	pdsStates

---

Detailed Description

Gets all stack symbols from the WPDS and classfies them as entry and return points, as appropriate

---

Constructor & Destructor Documentation

wali::wpds::WpdsStackSymbols::WpdsStackSymbols

(

)

wali::wpds::WpdsStackSymbols::~WpdsStackSymbols

(

)

[virtual]

---

Member Function Documentation

void wali::wpds::WpdsStackSymbols::operator()

(

const rule_t &

r

)

[virtual]

Implements wali::wpds::ConstRuleFunctor.

References callPoints, entryPoints, gamma, pdsStates, and returnPoints.

---

Member Data Documentation

std::set< Key > wali::wpds::WpdsStackSymbols::gamma

Referenced by operator()(), wali::wpds::fwpds::SWPDS::preprocess(), and wali::wpds::fwpds::SWPDS::prestar().

std::set< Key > wali::wpds::WpdsStackSymbols::callPoints

Referenced by operator()().

std::set< Key > wali::wpds::WpdsStackSymbols::returnPoints

Referenced by operator()().

std::set< Key > wali::wpds::WpdsStackSymbols::entryPoints

Referenced by wali::wpds::fwpds::SWPDS::addEntryPoint(), wali::wpds::WPDS::constructCFG(), operator()(), wali::wpds::fwpds::SWPDS::preprocess(), and wali::wpds::fwpds::SWPDS::prestar().

std::set< Key > wali::wpds::WpdsStackSymbols::pdsStates

Referenced by operator()().

---

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

• Source/wali/wpds/RuleFunctor.hpp
• Source/wali/wpds/RuleFunctor.cpp