otawa::dcache::DirtyManager::t Struct Reference

#include <otawa/dcache/features.h>

Public Member Functions
	t (void)
	t (int s)
	t (const t &i)
const dfa::BitSet &	may (void) const
const dfa::BitSet &	must (void) const
void	print (io::Output &out) const
bool	mayBeDirty (int b) const
bool	mustBeDirty (int b) const

Private Member Functions
dfa::BitSet &	may (void)
dfa::BitSet &	must (void)

Private Attributes
dfa::BitSet	_may
dfa::BitSet	_must

Friends
class	DirtyManager

Constructor & Destructor Documentation

otawa::dcache::DirtyManager::t::t ( void  )

inline

otawa::dcache::DirtyManager::t::t ( int  s )

inline

otawa::dcache::DirtyManager::t::t ( const t &  i )

inline

Member Function Documentation

const dfa::BitSet& otawa::dcache::DirtyManager::t::may ( void  ) const

inline

References _may.

Referenced by otawa::dcache::DirtyManager::DirtyManager(), otawa::dcache::DirtyManager::equals(), otawa::dcache::DirtyManager::join(), otawa::dcache::DirtyManager::mayBeDirty(), otawa::dcache::DirtyManager::set(), and otawa::dcache::DirtyManager::update().

dfa::BitSet& otawa::dcache::DirtyManager::t::may ( void  )

inlineprivate

References _may.

bool otawa::dcache::DirtyManager::t::mayBeDirty ( int  b ) const

inline

References _may, and otawa::dfa::BitSet::contains().

const dfa::BitSet& otawa::dcache::DirtyManager::t::must ( void  ) const

inline

References _must.

Referenced by otawa::dcache::DirtyManager::DirtyManager(), otawa::dcache::DirtyManager::equals(), otawa::dcache::DirtyManager::join(), otawa::dcache::DirtyManager::mustBeDirty(), otawa::dcache::DirtyManager::set(), and otawa::dcache::DirtyManager::update().

dfa::BitSet& otawa::dcache::DirtyManager::t::must ( void  )

inlineprivate

References _must.

bool otawa::dcache::DirtyManager::t::mustBeDirty ( int  b ) const

inline

References _must, and otawa::dfa::BitSet::contains().

void otawa::dcache::DirtyManager::t::print

(

io::Output &

out

)

const

References _may, _must, otawa::dfa::BitSet::contains(), and otawa::dfa::BitSet::size().

Referenced by otawa::dcache::operator<<().

Friends And Related Function Documentation

friend class DirtyManager

friend

Member Data Documentation

dfa::BitSet otawa::dcache::DirtyManager::t::_may

private

Referenced by may(), mayBeDirty(), and print().

dfa::BitSet otawa::dcache::DirtyManager::t::_must

private

Referenced by must(), mustBeDirty(), and print().

---

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

• include/otawa/dcache/features.h
• src/dcache/Dirty.cpp