Diades::Altarica::NodeData Class Reference

#include <Node.hh>

Private Types
typedef vector< Transition >::const_iterator	TransitionIterator

Private Member Functions
	NodeData (unsigned id)
Event	newEvent (const Identifier &id)
Event	getEvent (const Identifier &id) const
void	setPriorities (const set< Event > &lowEvents, const set< Event > &highEvents)
void	addAttribute (const Identifier &attribute)
Variable	addVariable (const Identifier &id, NodeVariableType type, Domain domain, const set< Identifier > &attributes)
Variable	addStructureVariable (const Identifier &id, const set< Variable > &structure)
void	addAssertion (Expression *assertion)
void	addParameter (const Identifier &id, Domain domain)
void	addTransition (const Transition &transition)
TransitionIterator	transitionBegin () const
TransitionIterator	transitionEnd () const
Parameter	getParameter (const Identifier &id) const
Variable	getVariable (const Identifier &id) const
void	addSubNode (const Identifier &name, const Node &nodeType)
void	addSyncVector (const vector< list< Identifier > > &paths)
void	addInitialisation (const Assignment &assignment)

Private Attributes
unsigned	_id
string	_name
unordered_map< Identifier, unsigned >	_idParam
vector< Parameter >	_param
vector< Transition >	_trans
vector< Variable >	_flowVar
vector< Variable >	_stateVar
vector< Variable >	_nodeVar
unordered_map< Identifier, Variable >	_flowVarOfLabel
unordered_map< Identifier, Variable >	_stateVarOfLabel
unordered_map< Identifier, Variable >	_nodeVarOfLabel
set< Identifier >	_attributes
set< Event >	_eventSet
unordered_map< Identifier, Event >	_eventOfLabel
Diades::Graph::Graph	_eventDag
Diades::Graph::NodeMap< Event >	_events
vector< Expression * >	_assertions
vector< NodeData * >	_subNodes
vector< Identifier >	_subNodesName
unordered_map< Identifier, NodeData * >	_subNodesMap
list< vector< list< Identifier > > >	_synchros
set< Assignment >	_initialisations

Friends
class	AltaricaModel
class	Node
class	NodeInstance

Detailed Description

This structure is the internal representation of a Node. Only a AltaricaModel has the right to create/modify/delete a NodeData. The external user must use the services provided by AltaricaModel to perform any modification on a Node.

Definition at line 28 of file Node.hh.

Member Typedef Documentation

typedef vector<Transition>::const_iterator Diades::Altarica::NodeData::TransitionIterator

private

Definition at line 144 of file Node.hh.

Constructor & Destructor Documentation

Diades::Altarica::NodeData::NodeData ( unsigned  id )

inlineprivate

Private constructor

Parameters

id	the identifier of the NodeData only AltaricaModel has the right to create such a structure

Definition at line 60 of file Node.hh.

Member Function Documentation

void Diades::Altarica::NodeData::addAssertion ( Expression *  assertion )

inlineprivate

Parameters

assertion

a pointer on an expression that defines an assertion of the node

Definition at line 122 of file Node.hh.

void Diades::Altarica::NodeData::addAttribute ( const Identifier &  attribute )

private

Add an attribute

Parameters

attribute

an attribute

void Diades::Altarica::NodeData::addInitialisation ( const Assignment &  assignment )

private

add initialisations

Parameters

assignment

the initialisation

void Diades::Altarica::NodeData::addParameter ( const Identifier &  id, Domain  domain  )

private

Add a parameter

Parameters

id	an Identifier that represents a parameter
domain	the domain of the parameter

Postcondition

if a Parameter with the same Identifier already exists in the Node, the new one is not added

Variable Diades::Altarica::NodeData::addStructureVariable ( const Identifier &  id, const set< Variable > &  structure  )

private

Add a variable

Parameters

id	an Identifier that represents a variable
structure	set of variables in the structure variable.

Returns

the added Variable, an invalid variable if the operation fails.

Postcondition

if a Variable with the same Identifier already exists in the Node, the new one is not added

void Diades::Altarica::NodeData::addSubNode ( const Identifier &  name, const Node &  nodeType  )

private

Add a sub node

Parameters

name	the name of the subNode
nodeType	the node type of the subnode

void Diades::Altarica::NodeData::addSyncVector ( const vector< list< Identifier > > &  paths )

private

Add a synchronisation vector

Parameters

paths

the synchronisation vector

void Diades::Altarica::NodeData::addTransition ( const Transition &  transition )

inlineprivate

Add a transition

Parameters

transition

a Transition

Definition at line 139 of file Node.hh.

Variable Diades::Altarica::NodeData::addVariable ( const Identifier &  id, NodeVariableType  type, Domain  domain, const set< Identifier > &  attributes  )

private

Add a variable

Parameters

id	an Identifier that represents a variable
type	flow/state/node type
domain	the domain of the parameter
attributes	set of attributes

Returns

the added Variable, an invalid variable if the operation fails.

Postcondition

if a Variable with the same Identifier already exists in the Node, the new one is not added

Event Diades::Altarica::NodeData::getEvent ( const Identifier &  id ) const

inlineprivate

Get an event

Parameters

label

the label of the event

Definition at line 78 of file Node.hh.

Referenced by Diades::Altarica::Node::getEvent().

Parameter Diades::Altarica::NodeData::getParameter ( const Identifier &  id ) const

inlineprivate

Get a Parameter

Parameters

id	the corresponding identifier

Returns

the parameter of the corrsponding identifier, an inavlid parameter otherwise

Definition at line 169 of file Node.hh.

Referenced by Diades::Altarica::Node::getParameter().

Variable Diades::Altarica::NodeData::getVariable ( const Identifier &  id ) const

inlineprivate

Get a Variable

Parameters

id	the corresponding identifier

Returns

the variable of the corrsponding identifier, an inavlid variable otherwise

Definition at line 183 of file Node.hh.

Referenced by Diades::Altarica::Node::getVariable().

Event Diades::Altarica::NodeData::newEvent ( const Identifier &  id )

private

Add an event

Parameters

label

the label of the event

void Diades::Altarica::NodeData::setPriorities ( const set< Event > &  lowEvents, const set< Event > &  highEvents  )

private

Set priorities

Parameters

lowEvents	the set of events with the lower priority
highEvents	the set of events with the higher priority

TransitionIterator Diades::Altarica::NodeData::transitionBegin ( ) const

inlineprivate

Returns

an iterator on the transitions

Definition at line 149 of file Node.hh.

TransitionIterator Diades::Altarica::NodeData::transitionEnd ( ) const

inlineprivate

Returns

an iterator on the transitions

Definition at line 158 of file Node.hh.

Friends And Related Function Documentation

friend class AltaricaModel

friend

Definition at line 234 of file Node.hh.

friend class Node

friend

Definition at line 235 of file Node.hh.

friend class NodeInstance

friend

Definition at line 236 of file Node.hh.

Member Data Documentation

vector<Expression *> Diades::Altarica::NodeData::_assertions

private

Definition at line 49 of file Node.hh.

Referenced by Diades::Altarica::Node::assertionBegin(), and Diades::Altarica::Node::assertionEnd().

set<Identifier> Diades::Altarica::NodeData::_attributes

private

Definition at line 44 of file Node.hh.

Referenced by Diades::Altarica::Node::attributeBegin(), and Diades::Altarica::Node::attributeEnd().

Diades::Graph::Graph Diades::Altarica::NodeData::_eventDag

private

Definition at line 47 of file Node.hh.

unordered_map<Identifier,Event> Diades::Altarica::NodeData::_eventOfLabel

private

Definition at line 46 of file Node.hh.

Diades::Graph::NodeMap<Event> Diades::Altarica::NodeData::_events

private

Definition at line 48 of file Node.hh.

set<Event> Diades::Altarica::NodeData::_eventSet

private

Definition at line 45 of file Node.hh.

Referenced by Diades::Altarica::Node::eventBegin(), and Diades::Altarica::Node::eventEnd().

vector<Variable> Diades::Altarica::NodeData::_flowVar

private

Definition at line 38 of file Node.hh.

Referenced by Diades::Altarica::Node::flowVariableBegin(), Diades::Altarica::Node::flowVariableEnd(), and Diades::Altarica::Node::numberOfFlowVariables().

unordered_map<Identifier, Variable> Diades::Altarica::NodeData::_flowVarOfLabel

private

Definition at line 41 of file Node.hh.

unsigned Diades::Altarica::NodeData::_id

private

Definition at line 33 of file Node.hh.

Referenced by Diades::Altarica::Node::id().

unordered_map<Identifier,unsigned> Diades::Altarica::NodeData::_idParam

private

Definition at line 35 of file Node.hh.

set<Assignment> Diades::Altarica::NodeData::_initialisations

private

Definition at line 54 of file Node.hh.

Referenced by Diades::Altarica::Node::initialisationBegin(), and Diades::Altarica::Node::initialisationEnd().

string Diades::Altarica::NodeData::_name

private

Definition at line 34 of file Node.hh.

Referenced by Diades::Altarica::Node::name().

vector<Variable> Diades::Altarica::NodeData::_nodeVar

private

Definition at line 40 of file Node.hh.

Referenced by Diades::Altarica::Node::nodeVariableBegin(), Diades::Altarica::Node::nodeVariableEnd(), and Diades::Altarica::Node::numberOfNodeVariables().

unordered_map<Identifier, Variable> Diades::Altarica::NodeData::_nodeVarOfLabel

private

Definition at line 43 of file Node.hh.

vector<Parameter> Diades::Altarica::NodeData::_param

private

Definition at line 36 of file Node.hh.

Referenced by Diades::Altarica::Node::parameterBegin(), and Diades::Altarica::Node::parameterEnd().

vector<Variable> Diades::Altarica::NodeData::_stateVar

private

Definition at line 39 of file Node.hh.

Referenced by Diades::Altarica::Node::numberOfStateVariables(), Diades::Altarica::Node::stateVariableBegin(), and Diades::Altarica::Node::stateVariableEnd().

unordered_map<Identifier, Variable> Diades::Altarica::NodeData::_stateVarOfLabel

private

Definition at line 42 of file Node.hh.

vector< NodeData *> Diades::Altarica::NodeData::_subNodes

private

Definition at line 50 of file Node.hh.

Referenced by Diades::Altarica::Node::getSubNode(), Diades::Altarica::Node::numberOfSubNodes(), and Diades::Altarica::Node::subNodeLast().

unordered_map<Identifier, NodeData *> Diades::Altarica::NodeData::_subNodesMap

private

Definition at line 52 of file Node.hh.

vector< Identifier > Diades::Altarica::NodeData::_subNodesName

private

Definition at line 51 of file Node.hh.

Referenced by Diades::Altarica::Node::getSubNodeName().

list< vector< list<Identifier> > > Diades::Altarica::NodeData::_synchros

private

Definition at line 53 of file Node.hh.

vector<Transition> Diades::Altarica::NodeData::_trans

private

Definition at line 37 of file Node.hh.

Referenced by Diades::Altarica::Node::transitionBegin(), and Diades::Altarica::Node::transitionEnd().

---

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

• /home/yannick/compilation/stable/include/dialtarica/Node.hh