Diades::Automata::FaultPattern::EventOccurrence Class Reference

#include <FaultPattern.hh>

Public Member Functions
	EventOccurrence (Event event, int identifier)
	the identifier of the occurrence More...
	EventOccurrence ()
	EventOccurrence (const EventOccurrence &occurrence)
EventOccurrence &	operator= (const EventOccurrence &occurrence)
Event	event () const
int	identifier () const
bool	operator== (const EventOccurrence &occurrence)

Private Attributes
Event	_event
int	_id
	the event that occurs More...

Friends
ostream &	operator<< (ostream &os, const EventOccurrence &occurrence)

Detailed Description

An EventOccurrence implements the occurrence of an Event in a FaultPattern. This class is mainly implemented to make difference between two occurrences of the same Event in the FaultPattern

Definition at line 48 of file FaultPattern.hh.

Constructor & Destructor Documentation

EventOccurrence() [1/3]

Diades::Automata::FaultPattern::EventOccurrence::EventOccurrence ( Event  event, int  identifier  )

inline

the identifier of the occurrence

Constructor

Parameters

event	the Event associated to this occurrence
identifier	the identifier of the occurrence

Definition at line 61 of file FaultPattern.hh.

EventOccurrence() [2/3]

Diades::Automata::FaultPattern::EventOccurrence::EventOccurrence ( )

inline

Default constructor implements the occurrence of a null Event with an id equals to 0

Definition at line 67 of file FaultPattern.hh.

EventOccurrence() [3/3]

Diades::Automata::FaultPattern::EventOccurrence::EventOccurrence ( const EventOccurrence &  occurrence )

inline

Copy constructor

Parameters

occurrence

The occurrence to copy

Definition at line 74 of file FaultPattern.hh.

Member Function Documentation

event()

Event Diades::Automata::FaultPattern::EventOccurrence::event ( ) const

inline

Returns

the Event associated to the occurrence

Definition at line 100 of file FaultPattern.hh.

Referenced by operator=(), and operator==().

identifier()

int Diades::Automata::FaultPattern::EventOccurrence::identifier ( ) const

inline

Returns

the identifier of the occurrence

Definition at line 108 of file FaultPattern.hh.

References Diades::Graph::Graph::_id.

Referenced by operator=(), and operator==().

operator=()

EventOccurrence& Diades::Automata::FaultPattern::EventOccurrence::operator= ( const EventOccurrence &  occurrence )

inline

Parameters

occurrence

Returns

Definition at line 83 of file FaultPattern.hh.

References event(), and identifier().

operator==()

bool Diades::Automata::FaultPattern::EventOccurrence::operator== ( const EventOccurrence &  occurrence )

inline

Parameters

occurrence

the occurrence to compare

Returns

true iff bot occurrence are equal (value equality)

Definition at line 117 of file FaultPattern.hh.

References event(), and identifier().

Friends And Related Function Documentation

operator<<

ostream& operator<< ( ostream &  os, const EventOccurrence &  occurrence  )

friend

Output stream operator

Parameters

occurrence	the occurrence to display
os	the stream of display

Returns

the occurrence in the stream os

Definition at line 130 of file FaultPattern.hh.

Member Data Documentation

_event

Event Diades::Automata::FaultPattern::EventOccurrence::_event

private

Definition at line 51 of file FaultPattern.hh.

_id

int Diades::Automata::FaultPattern::EventOccurrence::_id

private

the event that occurs

Definition at line 52 of file FaultPattern.hh.

---

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

• /home/yannick/laas/redmine/tools/diades/include/diades/automata/FaultPattern.hh