otawa::dfa::MemCell Class Reference

#include <otawa/dfa/State.h>

Public Member Functions
	MemCell (void)
	MemCell (Address addr, const Type *type, Value val)
Address	address (void) const
const Type *	type (void) const
const Value &	value (void) const

Private Attributes
Address	_addr
const Type *	_type
Value	_val

Constructor & Destructor Documentation

otawa::dfa::MemCell::MemCell ( void  )

inline

otawa::dfa::MemCell::MemCell ( Address  addr, const Type *  type, Value  val  )

inline

Member Function Documentation

Address otawa::dfa::MemCell::address ( void  ) const

inline

Referenced by otawa::dfa::State::record().

const Type* otawa::dfa::MemCell::type ( void  ) const

inline

const Value& otawa::dfa::MemCell::value ( void  ) const

inline

Member Data Documentation

Address otawa::dfa::MemCell::_addr

private

const Type* otawa::dfa::MemCell::_type

private

Value otawa::dfa::MemCell::_val

private

---

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

• include/otawa/dfa/State.h