faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > Class Template Reference
[I/O System PlugIn]

Generator with I/O-system attributes. More...

#include <ios_system.h>

List of all members.

Public Member Functions

Constructors & Destructor

 TioGenerator (void)
 Default constructor.
 ~TioGenerator (void)
 Default destructor.
 TioGenerator (const std::string &rFileName)
 Construtor.
virtual TioGeneratorNew (void) const
 Constructor.
 TioGenerator (const vGenerator &rOtherGen)
 Copy constructor.
 TioGenerator (const TioGenerator &rOtherGen)
 Copy constructor.
virtual TioGeneratorCopy (void) const
 Copy Constructor.
TioGenerator NewIoSystem (void) const
 Create empty IoSystem with same symboltable as this.
Assignment

virtual TioGeneratoroperator= (const TioGenerator &rOtherGen)
 Assignment operator.
virtual TioGeneratoroperator= (const vGenerator &rOtherGen)
 Assignment operator.
Insertion with attributes

void InsOutputEvent (Idx index)
 Insert an output-event by index.
Idx InsOutputEvent (const std::string &rName)
 Insert output event by name.
void InsInputEvent (Idx index)
 Insert a input event by index.
Idx InsInputEvent (const std::string &rName)
 Insert input event by name.
Event attributes

EventSet OutputEvents (void) const
 Retrieve all output events.
void OutputEvents (const EventSet &rEventSet)
 Set all output events.
bool OutputEvent (Idx index) const
 Test for output event.
bool OutputEvent (const std::string &rName) const
 Test for output event.
void SetOutputEvent (Idx index)
 Mark event as output event.
void SetOutputEvent (const std::string &rName)
 Mark event as output event.
void SetOutputEvent (const EventSet &rEventSet)
 Mark event as output events.
void ClrOutputEvent (Idx index)
 Unmark event as output event.
void ClrOutputEvent (const std::string &rName)
 Unmark event as output event.
void ClrOutputEvent (const EventSet &rEventSet)
 Unmak events as output events.
EventSet InputEvents (void) const
 Retrieve all input events.
void InputEvents (const EventSet &rEventSet)
 Set all input events.
bool InputEvent (Idx index) const
 Test for input event.
bool InputEvent (const std::string &rName) const
 Test for input event.
void SetInputEvent (Idx index)
 Mark event as input event.
void SetInputEvent (const std::string &rName)
 Mark event as input event.
void SetInputEvent (const EventSet &rEventSet)
 Mark event as input events.
void ClrInputEvent (Idx index)
 Unmark event as input event.
void ClrInputEvent (const std::string &rName)
 Unmark event as input event.
void ClrInputEvent (const EventSet &rEventSet)
 Unmak events as input events.
State attributes

StateSet OutputStates (void) const
 Retrieve all output states.
void OutputStates (const StateSet &rStateSet)
 Set all output states.
bool OutputState (Idx index) const
 Test for output state.
bool OutputState (const std::string &rName) const
 Test for output state.
void SetOutputState (Idx index)
 Mark state as output state.
void SetOutputState (const std::string &rName)
 Mark state as output state.
void SetOutputState (const StateSet &rStateSet)
 Mark state as output states.
void ClrOutputState (Idx index)
 Unmark state as output state.
void ClrOutputState (const std::string &rName)
 Unmark state as output state.
void ClrOutputState (const StateSet &rStateSet)
 Unmak states as output states.
StateSet InputStates (void) const
 Retrieve all input states.
void InputStates (const StateSet &rStateSet)
 Set all input states.
bool InputState (Idx index) const
 Test for input state.
bool InputState (const std::string &rName) const
 Test for input state.
void SetInputState (Idx index)
 Mark state as input state.
void SetInputState (const std::string &rName)
 Mark state as input state.
void SetInputState (const StateSet &rStateSet)
 Mark state as input states.
void ClrInputState (Idx index)
 Unmark state as input state.
void ClrInputState (const std::string &rName)
 Unmark state as input state.
void ClrInputState (const StateSet &rStateSet)
 Unmak states as input states.
StateSet ErrorStates (void) const
 Retrieve all error states.
void ErrorStates (const StateSet &rStateSet)
 Set all error states.
bool ErrorState (Idx index) const
 Test for error state.
bool ErrorState (const std::string &rName) const
 Test for error state.
void SetErrorState (Idx index)
 Mark state as error state.
void SetErrorState (const std::string &rName)
 Mark state as error state.
void SetErrorState (const StateSet &rStateSet)
 Mark state as error states.
void ClrErrorState (Idx index)
 Unmark state as error state.
void ClrErrorState (const std::string &rName)
 Unmark state as error state.
void ClrErrorState (const StateSet &rStateSet)
 Unmak states as error states.
Misc

virtual bool UpdateAttributes (void)
 Updates internal attributes.

Detailed Description

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
class faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >

Generator with I/O-system attributes.

An IoSystem is a generator with attributes for the representation of I/O systems, i.e., systems with alternating input events U and output events Y.

The IoSystem template assumes that the StateAttr and EventAttr parameter is derived from AttributeIosState and AttributeIosEvent, respectively.

Definition at line 34 of file ios_system.h.


Constructor & Destructor Documentation

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TioGenerator ( void   )  [inline]

Default constructor.

doxygen group

Definition at line 801 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::~TioGenerator ( void   )  [inline]

Default destructor.

Definition at line 806 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TioGenerator ( const std::string &  rFileName  )  [inline]

Construtor.

Create IoSystem from file

Parameters:
rFileName Filename
Exceptions:
Exception 
  • File io error (id 1)
  • Token mismatch (id 50, 51, ...)

Definition at line 811 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TioGenerator ( const vGenerator rOtherGen  )  [inline]

Copy constructor.

Create IoSystem from a std. Generator

Parameters:
rOtherGen 

Definition at line 822 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TioGenerator ( const TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > &  rOtherGen  )  [inline]

Copy constructor.

Create IoSystem from another IoSystem

Parameters:
rOtherGen 

Definition at line 817 of file ios_system.h.


Member Function Documentation

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrErrorState ( const StateSet rStateSet  )  [inline]

Unmak states as error states.

Parameters:
rStateSet Set of states to unmark
Exceptions:
Exception 
  • Some state does ot exist in generator (id 60)

Definition at line 1263 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrErrorState ( const std::string &  rName  )  [inline]

Unmark state as error state.

Parameters:
rName State name
Exceptions:
Exception 
  • State does ot exist in generator (id 60)

Definition at line 1256 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrErrorState ( Idx  index  )  [inline]

Unmark state as error state.

Parameters:
index State index
Exceptions:
Exception 
  • State does ot exist in generator (id 60)

Definition at line 1248 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrInputEvent ( const EventSet rEventSet  )  [inline]

Unmak events as input events.

Parameters:
rEventSet Set of events to unmark
Exceptions:
Exception 
  • Some event not found in alphabet (id 60)

Definition at line 1030 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrInputEvent ( const std::string &  rName  )  [inline]

Unmark event as input event.

Parameters:
rName Event name
Exceptions:
Exception 
  • Event not found in alphabet (id 60)

Definition at line 1023 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrInputEvent ( Idx  index  )  [inline]

Unmark event as input event.

Parameters:
index Event index
Exceptions:
Exception 
  • Event not found in alphabet (id 60)

Definition at line 1015 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrInputState ( const StateSet rStateSet  )  [inline]

Unmak states as input states.

Parameters:
rStateSet Set of states to unmark
Exceptions:
Exception 
  • Some state not found in alphabet (id 60)

Definition at line 1184 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrInputState ( const std::string &  rName  )  [inline]

Unmark state as input state.

Parameters:
rName State name
Exceptions:
Exception 
  • State not found in alphabet (id 60)

Definition at line 1177 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrInputState ( Idx  index  )  [inline]

Unmark state as input state.

Parameters:
index State index
Exceptions:
Exception 
  • State not found in alphabet (id 60)

Definition at line 1169 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrOutputEvent ( const EventSet rEventSet  )  [inline]

Unmak events as output events.

Parameters:
rEventSet Set of events to unmark
Exceptions:
Exception 
  • Some event does ot exist in generator (id 60)

Definition at line 953 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrOutputEvent ( const std::string &  rName  )  [inline]

Unmark event as output event.

Parameters:
rName Event name
Exceptions:
Exception 
  • Event does ot exist in generator (id 60)

Definition at line 946 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrOutputEvent ( Idx  index  )  [inline]

Unmark event as output event.

Parameters:
index Event index
Exceptions:
Exception 
  • Event does ot exist in generator (id 60)

Definition at line 938 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrOutputState ( const StateSet rStateSet  )  [inline]

Unmak states as output states.

Parameters:
rStateSet Set of states to unmark
Exceptions:
Exception 
  • Some state does ot exist in generator (id 60)

Definition at line 1107 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrOutputState ( const std::string &  rName  )  [inline]

Unmark state as output state.

Parameters:
rName State name
Exceptions:
Exception 
  • State does ot exist in generator (id 60)

Definition at line 1100 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrOutputState ( Idx  index  )  [inline]

Unmark state as output state.

Parameters:
index State index
Exceptions:
Exception 
  • State does ot exist in generator (id 60)

Definition at line 1092 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > * faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Copy ( void   )  const [inline, virtual]

Copy Constructor.

Construct copy on heap

Returns:
new Generator

Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

Definition at line 839 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
bool faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ErrorState ( const std::string &  rName  )  const [inline]

Test for error state.

Parameters:
rName State name
Returns:
True / false
Exceptions:
Exception 
  • State does ot exist in generator (id 60)

Definition at line 1219 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
bool faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ErrorState ( Idx  index  )  const [inline]

Test for error state.

Parameters:
index State index
Returns:
True / false
Exceptions:
Exception 
  • State does ot exist in generator(id 60)

Definition at line 1214 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ErrorStates ( const StateSet rStateSet  )  [inline]

Set all error states.

Mark given states as error states, unmark any other state.

Parameters:
rStateSet Set of all error states
Exceptions:
Exception 
  • State does ot exist in generator (id 60)

Definition at line 1205 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
StateSet faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ErrorStates ( void   )  const [inline]

Retrieve all error states.

Returns:
Set of all error states

Definition at line 1194 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
bool faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InputEvent ( const std::string &  rName  )  const [inline]

Test for input event.

Parameters:
rName Event name
Returns:
True / false
Exceptions:
Exception 
  • Event not found in alphabet (id 60)

Definition at line 987 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
bool faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InputEvent ( Idx  index  )  const [inline]

Test for input event.

Parameters:
index Event index
Returns:
True / false
Exceptions:
Exception 
  • Event not found in alphabet (id 60)

Definition at line 982 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InputEvents ( const EventSet rEventSet  )  [inline]

Set all input events.

Mark given events as input events, unmark any other event.

Parameters:
rEventSet Set of all input events
Exceptions:
Exception 
  • Event does ot exist in generator (id 60)

Definition at line 972 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
EventSet faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InputEvents ( void   )  const [inline]

Retrieve all input events.

Returns:
Set of all input events

Definition at line 961 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
bool faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InputState ( const std::string &  rName  )  const [inline]

Test for input state.

Parameters:
rName State name
Returns:
True / false
Exceptions:
Exception 
  • State not found in alphabet (id 60)

Definition at line 1140 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
bool faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InputState ( Idx  index  )  const [inline]

Test for input state.

Parameters:
index State index
Returns:
True / false
Exceptions:
Exception 
  • State not found in alphabet (id 60)

Definition at line 1135 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InputStates ( const StateSet rStateSet  )  [inline]

Set all input states.

Mark given states as input states, unmark any other state.

Parameters:
rStateSet Set of all input states
Exceptions:
Exception 
  • State does ot exist in generator (id 60)

Definition at line 1126 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
StateSet faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InputStates ( void   )  const [inline]

Retrieve all input states.

Returns:
Set of all input states

Definition at line 1115 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Idx faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsInputEvent ( const std::string &  rName  )  [inline]

Insert input event by name.

An entry in the global event table will be made if event is new.

Parameters:
rName Name of the event to add
Returns:
New global unique index

Definition at line 875 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsInputEvent ( Idx  index  )  [inline]

Insert a input event by index.

Note: event must to exist in the global event table

Parameters:
index Event index

Definition at line 867 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Idx faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsOutputEvent ( const std::string &  rName  )  [inline]

Insert output event by name.

An entry in the global event table will be made if event is new.

Parameters:
rName Name of the event to add
Returns:
New global unique index

Definition at line 859 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsOutputEvent ( Idx  index  )  [inline]

Insert an output-event by index.

doxygen group An entry in the global event table will be made.

Note: event has to exist in the global event table

Parameters:
index Event index

Definition at line 851 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > * faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::New ( void   )  const [inline, virtual]

Constructor.

Create IoSystem on heap

Returns:
new Generator

Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

Definition at line 827 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::NewIoSystem ( void   )  const [inline]

Create empty IoSystem with same symboltable as this.

Returns:
New Generator

Definition at line 844 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
virtual TioGenerator& faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::operator= ( const vGenerator rOtherGen  )  [inline, virtual]

Assignment operator.

Parameters:
rOtherGen Other generator

Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

Definition at line 142 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
virtual TioGenerator& faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::operator= ( const TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > &  rOtherGen  )  [inline, virtual]

Assignment operator.

doxygen group Note: you must reimplement this operator in derived classes in order to handle internal pointers correctly

Parameters:
rOtherGen Other generator

Definition at line 131 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
bool faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::OutputEvent ( const std::string &  rName  )  const [inline]

Test for output event.

Parameters:
rName Event name
Returns:
True / false
Exceptions:
Exception 
  • Event does ot exist in generator (id 60)

Definition at line 910 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
bool faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::OutputEvent ( Idx  index  )  const [inline]

Test for output event.

Parameters:
index Event index
Returns:
True / false
Exceptions:
Exception 
  • Event does ot exist in generator(id 60)

Definition at line 905 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::OutputEvents ( const EventSet rEventSet  )  [inline]

Set all output events.

Mark given events as output events, unmark any other event.

Parameters:
rEventSet Set of all output events
Exceptions:
Exception 
  • Event does ot exist in generator (id 60)

Definition at line 896 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
EventSet faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::OutputEvents ( void   )  const [inline]

Retrieve all output events.

doxygen group

Returns:
Set of all output events

Definition at line 885 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
bool faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::OutputState ( const std::string &  rName  )  const [inline]

Test for output state.

Parameters:
rName State name
Returns:
True / false
Exceptions:
Exception 
  • State does ot exist in generator (id 60)

Definition at line 1063 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
bool faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::OutputState ( Idx  index  )  const [inline]

Test for output state.

Parameters:
index State index
Returns:
True / false
Exceptions:
Exception 
  • State does ot exist in generator(id 60)

Definition at line 1058 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::OutputStates ( const StateSet rStateSet  )  [inline]

Set all output states.

Mark given states as output states, unmark any other state.

Parameters:
rStateSet Set of all output states
Exceptions:
Exception 
  • State does ot exist in generator (id 60)

Definition at line 1049 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
StateSet faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::OutputStates ( void   )  const [inline]

Retrieve all output states.

doxygen group

Returns:
Set of all output states

Definition at line 1038 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetErrorState ( const StateSet rStateSet  )  [inline]

Mark state as error states.

Parameters:
rStateSet Set of states to mark
Exceptions:
Exception 
  • Some state does ot exist in generator (id 60)

Definition at line 1240 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetErrorState ( const std::string &  rName  )  [inline]

Mark state as error state.

Parameters:
rName State name
Exceptions:
Exception 
  • State does ot exist in generator (id 60)

Definition at line 1233 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetErrorState ( Idx  index  )  [inline]

Mark state as error state.

Parameters:
index State index
Exceptions:
Exception 
  • State does ot exist in generator (id 60)

Definition at line 1225 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetInputEvent ( const EventSet rEventSet  )  [inline]

Mark event as input events.

Parameters:
rEventSet Set of events to mark
Exceptions:
Exception 
  • Some event not found in alphabet (id 60)

Definition at line 1007 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetInputEvent ( const std::string &  rName  )  [inline]

Mark event as input event.

Parameters:
rName Event name
Exceptions:
Exception 
  • Event not found in alphabet (id 60)

Definition at line 1000 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetInputEvent ( Idx  index  )  [inline]

Mark event as input event.

Parameters:
index Event index
Exceptions:
Exception 
  • Event not found in alphabet (id 60)

Definition at line 992 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetInputState ( const StateSet rStateSet  )  [inline]

Mark state as input states.

Parameters:
rStateSet Set of states to mark
Exceptions:
Exception 
  • Some state not found in alphabet (id 60)

Definition at line 1161 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetInputState ( const std::string &  rName  )  [inline]

Mark state as input state.

Parameters:
rName State name
Exceptions:
Exception 
  • State not found in alphabet (id 60)

Definition at line 1154 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetInputState ( Idx  index  )  [inline]

Mark state as input state.

Parameters:
index State index
Exceptions:
Exception 
  • State not found in alphabet (id 60)

Definition at line 1146 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetOutputEvent ( const EventSet rEventSet  )  [inline]

Mark event as output events.

Parameters:
rEventSet Set of events to mark
Exceptions:
Exception 
  • Some event does ot exist in generator (id 60)

Definition at line 930 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetOutputEvent ( const std::string &  rName  )  [inline]

Mark event as output event.

Parameters:
rName Event name
Exceptions:
Exception 
  • Event does ot exist in generator (id 60)

Definition at line 923 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetOutputEvent ( Idx  index  )  [inline]

Mark event as output event.

Parameters:
index Event index
Exceptions:
Exception 
  • Event does ot exist in generator (id 60)

Definition at line 915 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetOutputState ( const StateSet rStateSet  )  [inline]

Mark state as output states.

Parameters:
rStateSet Set of states to mark
Exceptions:
Exception 
  • Some state does ot exist in generator (id 60)

Definition at line 1084 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetOutputState ( const std::string &  rName  )  [inline]

Mark state as output state.

Parameters:
rName State name
Exceptions:
Exception 
  • State does ot exist in generator (id 60)

Definition at line 1077 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetOutputState ( Idx  index  )  [inline]

Mark state as output state.

Parameters:
index State index
Exceptions:
Exception 
  • State does ot exist in generator (id 60)

Definition at line 1069 of file ios_system.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
bool faudes::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::UpdateAttributes ( void   )  [inline, virtual]

Updates internal attributes.

doxygen group This method sets the state partition attributes.

Returns:
True if value changed

Reimplemented from faudes::vGenerator.

Definition at line 1271 of file ios_system.h.


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

libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen