Diades::Altarica::Event Class Reference

#include <Event.hh>

Public Types
typedef reference_wrapper< Event const >	ConstReference

Public Member Functions
unsigned	id () const
const Node &	scope () const
const EventDecl &	declaration () const
string	fullname () const
bool	operator== (const Event &event) const

Private Member Functions
	Event ()
	Event (EventFactory &factory, const EventDecl &decl, const Node &scope, unsigned id)

Private Attributes
EventFactory *	_factory
vector< EventDecl::ConstReference >	_decl
vector< reference_wrapper< Node const > >	_scope
unsigned	_id

Friends
class	EventFactory

Detailed Description

This class represents an Event in a Node

Definition at line 30 of file Event.hh.

Member Typedef Documentation

ConstReference

typedef reference_wrapper<Event const> Diades::Altarica::Event::ConstReference

ConstReference constant reference on an Event

Definition at line 59 of file Event.hh.

Constructor & Destructor Documentation

Event() [1/2]

Diades::Altarica::Event::Event ( )

inlineprivate

Default Constructor

Definition at line 41 of file Event.hh.

Event() [2/2]

Diades::Altarica::Event::Event ( EventFactory &  factory, const EventDecl &  decl, const Node &  scope, unsigned  id  )

private

Constructor

Parameters

factory	the EventFactory that builds thie Event
decl	the declaration associated to the Event
scope	the Node scope of the Event
id	the unique identifier of the Event given by the EventFactory

Member Function Documentation

declaration()

const EventDecl& Diades::Altarica::Event::declaration ( ) const

inline

Returns

the declaration of the Event

Definition at line 94 of file Event.hh.

fullname()

string Diades::Altarica::Event::fullname ( ) const

inline

Returns

the fullname of the Event

Definition at line 105 of file Event.hh.

References Diades::Altarica::Variable::fullname().

id()

unsigned Diades::Altarica::Event::id ( ) const

inline

Returns

the id of the Event

Definition at line 71 of file Event.hh.

Referenced by Diades::Altarica::BddNode::slTransitions().

operator==()

bool Diades::Altarica::Event::operator== ( const Event &  event ) const

inline

Equality operator (reference)

Parameters

event

the event to compare

Returns

true if they are equal (i.e. same declaration, same scope, same factory). reference equality

Definition at line 117 of file Event.hh.

scope()

const Node& Diades::Altarica::Event::scope ( ) const

inline

Returns

the scope of the Event

Definition at line 82 of file Event.hh.

Friends And Related Function Documentation

EventFactory

friend class EventFactory

friend

Definition at line 124 of file Event.hh.

Member Data Documentation

_decl

vector<EventDecl::ConstReference> Diades::Altarica::Event::_decl

private

Definition at line 34 of file Event.hh.

_factory

EventFactory* Diades::Altarica::Event::_factory

private

Definition at line 33 of file Event.hh.

_id

unsigned Diades::Altarica::Event::_id

private

Definition at line 36 of file Event.hh.

_scope

vector<reference_wrapper<Node const> > Diades::Altarica::Event::_scope

private

Definition at line 35 of file Event.hh.

---

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

• include/diades/altarica/Event.hh