wali::wfa::TransCopier Class Reference

List of all members.

Public Member Functions
	TransCopier (WFA &fa_)
virtual	~TransCopier ()
virtual void	operator() (const ITrans *t)

---

Detailed Description

Inserts a copy of the passed in Trans into its member var WFA. Used by WFA copy constructor and operator=.

See also:

ConstTransFunctor

Trans

WFA

---

Constructor & Destructor Documentation

wali::wfa::TransCopier::TransCopier

(

WFA &

fa_

)

virtual wali::wfa::TransCopier::~TransCopier

(

)

[virtual]

---

Member Function Documentation

void wali::wfa::TransCopier::operator()

(

const ITrans *

t

)

[virtual]

Implements wali::wfa::ConstTransFunctor.

References wali::wfa::ITrans::copy(), and wali::wfa::WFA::insert().

---

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

• Source/wali/wfa/TransFunctor.hpp
• Source/wali/wfa/TransFunctor.cpp