Public Member Functions | |
RuleCopier (WPDS &w, ref_ptr< Wrapper >) | |
virtual void | operator() (const rule_t &r) |
Public Attributes | |
WPDS & | w |
ref_ptr< Wrapper > | wrapper |
void wali::wpds::RuleCopier::operator() | ( | const rule_t & | r | ) | [virtual] |
Implements wali::wpds::ConstRuleFunctor.
References wali::wpds::WPDS::add_rule(), wali::ref_ptr< T >::is_valid(), w, and wrapper.
Referenced by operator()().
Referenced by operator()().