wali::wpds::rule_t Class Reference

List of all members.

Public Member Functions
	rule_t ()
	rule_t (Rule *ptr)
	rule_t (const rule_t &rhs)
Rule *	operator-> ()
Rule &	operator* ()
rule_t &	operator= (const rule_t &rhs)
rule_t &	operator= (Rule *r)
Rule *	get_ptr ()
const Rule *	operator-> () const
const Rule &	operator* () const
const Rule *	get_ptr () const
bool	is_empty () const
bool	is_valid () const

---

Detailed Description

Wrapper class for ref_ptr that ensures type safety.

---

Constructor & Destructor Documentation

wali::wpds::rule_t::rule_t

(

)

wali::wpds::rule_t::rule_t

(

Rule *

ptr

)

wali::wpds::rule_t::rule_t

(

const rule_t &

rhs

)

---

Member Function Documentation

Rule* wali::wpds::rule_t::operator->

(

)

References get_ptr().

Rule& wali::wpds::rule_t::operator*

(

)

References get_ptr().

rule_t& wali::wpds::rule_t::operator=

(

const rule_t &

rhs

)

rule_t& wali::wpds::rule_t::operator=

(

Rule *

r

)

Rule* wali::wpds::rule_t::get_ptr

(

)

References wali::ref_ptr< T >::get_ptr().

Referenced by wali::wpds::ewpds::EWPDS::add_rule(), wali::wpds::ewpds::ERule::copy(), wali::wpds::ewpds::CopyCallRules::operator()(), operator*(), operator->(), wali::wpds::ewpds::EWPDS::prestar_handle_call(), wali::wpds::ewpds::EWPDS::prestar_handle_trans(), and wali::wpds::ewpds::EWPDS::update_prime().

const Rule* wali::wpds::rule_t::operator->

(

)

const

References get_ptr().

const Rule& wali::wpds::rule_t::operator*

(

)

const

References get_ptr().

const Rule* wali::wpds::rule_t::get_ptr

(

)

const

References wali::ref_ptr< T >::get_ptr().

bool wali::wpds::rule_t::is_empty

(

)

const

References wali::ref_ptr< T >::is_empty().

bool wali::wpds::rule_t::is_valid

(

)

const

References wali::ref_ptr< T >::is_valid().

Referenced by wali::wpds::WPDS::add_rule(), wali::wpds::ewpds::EWPDS::add_rule(), and wali::wpds::Rule::copy().

---

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

• Source/wali/wpds/Rule.hpp