otawa::clp::State::Node Class Reference

A node in the memory list. More...

#include <otawa/data/clp/ClpState.h>

Public Member Functions
	Node (void)
	Node (t::uint32 address, const Value &value)
	Node (const Node *node)
Node *	getNext (void) const
t::uint32	getAddress (void) const
const Value &	getValue (void) const

Private Attributes
Node *	next
t::uint32	addr
Value	val

Friends
class	State

Detailed Description

A node in the memory list.

Constructor & Destructor Documentation

otawa::clp::State::Node::Node ( void  )

inline

otawa::clp::State::Node::Node ( t::uint32  address, const Value &  value  )

inline

otawa::clp::State::Node::Node ( const Node *  node )

inline

Member Function Documentation

t::uint32 otawa::clp::State::Node::getAddress ( void  ) const

inline

References addr.

Referenced by otawa::clp::State::Iter::id().

Node* otawa::clp::State::Node::getNext ( void  ) const

inline

References next.

Referenced by otawa::clp::State::clear(), and otawa::clp::State::Iter::next().

const Value& otawa::clp::State::Node::getValue ( void  ) const

inline

References val.

Referenced by otawa::clp::State::Iter::item().

Friends And Related Function Documentation

friend class State

friend

Member Data Documentation

t::uint32 otawa::clp::State::Node::addr

private

Referenced by otawa::clp::State::equals(), otawa::clp::State::get(), and getAddress().

Node* otawa::clp::State::Node::next

private

Referenced by otawa::clp::State::clear(), otawa::clp::State::copy(), otawa::clp::State::equals(), otawa::clp::State::get(), getNext(), otawa::clp::State::join(), otawa::clp::State::print(), otawa::clp::State::set(), and otawa::clp::State::widening().

Value otawa::clp::State::Node::val

private

Referenced by otawa::clp::State::equals(), otawa::clp::State::get(), getValue(), otawa::clp::State::join(), and otawa::clp::State::widening().

---

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

• include/otawa/data/clp/ClpState.h