faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr > Class Template Reference
[Hierarchical I/O Systems PlugIn]

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

#include <hio_controller.h>

List of all members.

Public Member Functions

 THioController (void)
 Creates an empty HioController object.
 THioController (const Generator &rOtherGen)
 HioController from a std Generator.
 THioController (const Generator &rOtherGen, const EventSet &rYc, const EventSet &rUc, const EventSet &rYp, const EventSet &rUp)
 HioController from a std Generator and event sets.
 THioController (const THioController &rOtherGen)
 HioController from a HioController.
 THioController (const std::string &rFileName)
 construct a HioController from file
THioControllerNew (void) const
 Construct on heap.
virtual THioControllerCopy (void) const
 Construct copy on heap.
THioController NewHioController (void) const
 Create empty HioController with same symboltable as this.
virtual THioControlleroperator= (const THioController &rOtherGen)
 Assignment operator (uses copy ) Note: you must reimplement this operator in derived classes in order to handle internal pointers correctly.
virtual THioControlleroperator= (const Generator &rOtherGen)
 Assignment operator (uses copy ).
void InsYpEvent (Idx index)
 Add an existing Yp-event to generator.
Idx InsYpEvent (const std::string &rName)
 Add new named Yp-event to generator.
void InsUpEvent (Idx index)
 Add an existing Up-event to generator.
Idx InsUpEvent (const std::string &rName)
 Add new named Up-event to generator.
void SetYp (Idx index)
 Mark event as Yp-event (by index).
void SetYp (const std::string &rName)
 Mark event as Yp-event(by name).
void SetYp (const EventSet &rEvents)
 Mark set of events as Yp-events.
void SetUp (Idx index)
 Mark event Up-event(by index).
void SetUp (const std::string &rName)
 Mark event Up-event(by name).
void SetUp (const EventSet &rEvents)
 Mark set of events as Up-events.
bool IsYp (Idx index) const
 Is event Yp-event(by index).
bool IsYp (const std::string &rName) const
 Is event Yp-event(by name).
bool IsUp (Idx index) const
 Is event Up-event(by index).
bool IsUp (const std::string &rName) const
 Is event Up-event(by name).
EventSet YpEvents (void) const
 Get EventSet with Yp-events.
EventSet UpEvents (void) const
 Get EventSet with Up-events.
void InsYcEvent (Idx index)
 Add an existing Yc-event to generator.
Idx InsYcEvent (const std::string &rName)
 Add new named Yc-event to generator.
void InsUcEvent (Idx index)
 Add an existing Uc-event to generator.
Idx InsUcEvent (const std::string &rName)
 Add new named Uc-event to generator.
void SetYc (Idx index)
 Mark event as Yc-event (by index).
void SetYc (const std::string &rName)
 Mark event as Yc-event (by name).
void SetYc (const EventSet &rEvents)
 Mark set of events as Yc-events.
void SetUc (Idx index)
 Mark event as Uc-event (by index).
void SetUc (const std::string &rName)
 Mark event as Uc-event (by name).
void SetUc (const EventSet &rEvents)
 Mark set of events as Uc-events.
bool IsYc (Idx index) const
 Is event Yc-event (by index).
bool IsYc (const std::string &rName) const
 Is event Yc-event (by name).
bool IsUc (Idx index) const
 Is event Uc-event (by index).
bool IsUc (const std::string &rName) const
 Is event Uc-event (by name).
EventSet YcEvents (void) const
 Get EventSet with Yc-events.
EventSet UcEvents (void) const
 Get EventSet with Uc-events.
bool IsY (Idx index) const
 Is event Y-event? (by index).
bool IsY (const std::string &rName) const
 Is event Y-event? (by name).
EventSet YEvents (void) const
 Get EventSet with Y-events.
bool IsU (Idx index) const
 Is event U-event? (by index).
bool IsU (const std::string &rName) const
 Is event U-event? (by name).
EventSet UEvents (void) const
 Get EventSet with U-events.
bool IsP (Idx index) const
 Is event P-event? (by index).
bool IsP (const std::string &rName) const
 Is event P-event? (by name).
EventSet PEvents (void) const
 Get EventSet with P-events.
bool IsC (Idx index) const
 Is event E-event? (by index).
bool IsC (const std::string &rName) const
 Is event E-event? (by name).
EventSet CEvents (void) const
 Get EventSet with E-events.
void SetQYp (Idx index)
 Mark state as QYP-state (by index).
void SetQYp (const std::string &rName)
 Mark state as QYP-state (by name).
void SetQYp (const StateSet &rStates)
 Mark set of states as QYP-states.
void ClrQYP (Idx index)
 Mark state as NOT QYP-state (by index).
void ClrQYP (const std::string &rName)
 Mark state as NOT QYP-state (by name).
void ClrQYP (const StateSet &rStates)
 Mark set of states as NOT QYP-states (by index).
bool IsQYP (Idx index) const
 Is state QYP-state (by index).
bool IsQYP (const std::string &rName) const
 Is state QYP-state (by name).
StateSet QYPStates (void) const
 Get StateSet with QYP-states.
void SetQUp (Idx index)
 Mark event as QUp-state (by index).
void SetQUp (const std::string &rName)
 Mark state as QUp-state (by name).
void SetQUp (const StateSet &rStates)
 Mark set of states as QUp-states.
void ClrQUp (Idx index)
 Mark state as NOT QUp-state (by index).
void ClrQUp (const std::string &rName)
 Mark state as NOT QUp-state (by name).
void ClrQUp (const StateSet &rStates)
 Mark set of states as NOT QUp-states (by index).
bool IsQUp (Idx index) const
 Is state QUp-state (by index).
bool IsQUp (const std::string &rName) const
 Is state QUp-state (by name).
StateSet QUpStates (void) const
 Get StateSet with QUp-states.
void SetQUc (Idx index)
 Mark event as QUc-state (by index).
void SetQUc (const std::string &rName)
 Mark state as QUc-state (by name).
void SetQUc (const StateSet &rStates)
 Mark set of states as QUc-states.
void ClrQUc (Idx index)
 Mark state as NOT QUc-state (by index).
void ClrQUc (const std::string &rName)
 Mark state as NOT QUc-state (by name).
void ClrQUc (const StateSet &rStates)
 Mark set of states as NOT QUc-states (by index).
bool IsQUc (Idx index) const
 Is state QUc-state (by index).
bool IsQUc (const std::string &rName) const
 Is state QUc-state (by name).
StateSet QUcStates (void) const
 Get StateSet with QUc-states.
void SetQYcUp (Idx index)
 Mark event as QYcUp-state (by index).
void SetQYcUp (const std::string &rName)
 Mark state as QYcUp-state (by name).
void SetQYcUp (const StateSet &rStates)
 Mark set of states as QYcUp-states.
void ClrQYcUp (Idx index)
 Mark state as NOT QYcUp-state (by index).
void ClrQYcUp (const std::string &rName)
 Mark state as NOT QYcUp-state (by name).
void ClrQYcUp (const StateSet &rStates)
 Mark set of states as NOT QYcUp-states (by index).
bool IsQYcUp (Idx index) const
 Is state QYcUp-state (by index).
bool IsQYcUp (const std::string &rName) const
 Is state QYcUp-state (by name).
StateSet QYcUpStates (void) const
 Get StateSet with QYcUp-states.
void SetErr (Idx index)
 Mark state as Err-state (by index).
void SetErr (const std::string &rName)
 Mark state as Err-state (by name).
void SetErr (const StateSet &rStates)
 Mark set of states as Err-states.
void ClrErr (Idx index)
 Mark state as NOT Err-state (by index).
void ClrErr (const std::string &rName)
 Mark state as NOT Err-state (by name).
void ClrErr (const StateSet &rStates)
 Mark set of states as NOT Err-states (by index).
bool IsErr (Idx index) const
 Is state Err-state (by index).
bool IsErr (const std::string &rName) const
 Is state Err-state (by name).
StateSet ErrStates (void) const
 Get StateSet with Err-states.
virtual bool UpdateAttributes (void)
 Updates internal attributes.

Detailed Description

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

Generator with I/O-controller attributes.

The HioController is a variant of the Generator to add an interface for events and states with I/O-controller attributes, built from HioEvent- and HioStateFlags

  • event attributes: YC = Y && C UC = U && C YP = Y && P UP = U && P
  • state attributes: QYP = QY && QP QUp = QU && QP QUc = QU && QC QYcUp

Technically, the construct is based on the specialized attribute classes faudes::HioEventFlags and faudes::HioStateFlags that provide attributes with semantics for hierarchical I/O properties. The THioController expects attribute template parameters with the minimum interface defined in HioEventFlags and HioStateFlags. Thus, you can add further semantics by deriving a class HioEventFlagsAndMore from HioEventFlags (same for HioStateFlags) and use this as event attribute parameter for THioController. To model a plain finite state machine plus I/O-controller properties, use THioController with HioEventFlags and HioStateFlags for the event and state attribute parameters and AttributeVoid for the other parameters. For convenience, this has been typedefed as HioController.

Definition at line 48 of file hio_controller.h.


Constructor & Destructor Documentation

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

Creates an empty HioController object.

Definition at line 976 of file hio_controller.h.

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

HioController from a std Generator.

Copy constructor

Parameters:
rOtherGen 

Definition at line 986 of file hio_controller.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::THioController ( const Generator rOtherGen,
const EventSet rYc,
const EventSet rUc,
const EventSet rYp,
const EventSet rUp 
) [inline]

HioController from a std Generator and event sets.

Copy constructor

Parameters:
rOtherGen Generator
rYc alphabet Yc
rUc alphabet Uc
rYp alphabet Yp
rUp alphabet Up

Definition at line 991 of file hio_controller.h.

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

HioController from a HioController.

Copy constructor

Parameters:
rOtherGen 

Definition at line 981 of file hio_controller.h.

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

construct a HioController from file

Parameters:
rFileName Filename
Exceptions:
Exception If opening/reading fails an Exception object is thrown (id 1, 50, 51)

Definition at line 1006 of file hio_controller.h.


Member Function Documentation

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

Get EventSet with E-events.

Returns:
EventSet of E-events

Definition at line 1386 of file hio_controller.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrErr ( const StateSet rStates  )  [inline]

Mark set of states as NOT Err-states (by index).

Parameters:
rStates StateSet

Definition at line 1763 of file hio_controller.h.

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

Mark state as NOT Err-state (by name).

Parameters:
rName State name

Definition at line 1756 of file hio_controller.h.

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

Mark state as NOT Err-state (by index).

Parameters:
index State index

Definition at line 1748 of file hio_controller.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUc ( const StateSet rStates  )  [inline]

Mark set of states as NOT QUc-states (by index).

Parameters:
rStates StateSet

Definition at line 1612 of file hio_controller.h.

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

Mark state as NOT QUc-state (by name).

Parameters:
rName State name

Definition at line 1605 of file hio_controller.h.

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

Mark state as NOT QUc-state (by index).

Parameters:
index State index

Definition at line 1596 of file hio_controller.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQUp ( const StateSet rStates  )  [inline]

Mark set of states as NOT QUp-states (by index).

Parameters:
rStates StateSet

Definition at line 1530 of file hio_controller.h.

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

Mark state as NOT QUp-state (by name).

Parameters:
rName State name

Definition at line 1523 of file hio_controller.h.

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

Mark state as NOT QUp-state (by index).

Parameters:
index State index

Definition at line 1514 of file hio_controller.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYcUp ( const StateSet rStates  )  [inline]

Mark set of states as NOT QYcUp-states (by index).

Parameters:
rStates StateSet

Definition at line 1692 of file hio_controller.h.

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

Mark state as NOT QYcUp-state (by name).

Parameters:
rName State name

Definition at line 1685 of file hio_controller.h.

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

Mark state as NOT QYcUp-state (by index).

Parameters:
index State index

Definition at line 1677 of file hio_controller.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrQYP ( const StateSet rStates  )  [inline]

Mark set of states as NOT QYP-states (by index).

Parameters:
rStates StateSet

Definition at line 1450 of file hio_controller.h.

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

Mark state as NOT QYP-state (by name).

Parameters:
rName State name

Definition at line 1443 of file hio_controller.h.

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

Mark state as NOT QYP-state (by index).

Parameters:
index State index

Definition at line 1434 of file hio_controller.h.

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

Construct copy on heap.

Returns:
new Generator

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

Definition at line 1021 of file hio_controller.h.

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

Get StateSet with Err-states.

Returns:
StateSet of Err-states

Definition at line 1784 of file hio_controller.h.

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

Add new named Uc-event to generator.

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 1244 of file hio_controller.h.

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

Add an existing Uc-event to generator.

An entry in the global event table will be made.

Parameters:
index Event index

Definition at line 1235 of file hio_controller.h.

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

Add new named Up-event to generator.

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 1110 of file hio_controller.h.

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

Add an existing Up-event to generator.

An entry in the global event table will be made.

Parameters:
index Event index

Definition at line 1101 of file hio_controller.h.

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

Add new named Yc-event to generator.

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 1226 of file hio_controller.h.

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

Add an existing Yc-event to generator.

An entry in the global event table will be made.

Parameters:
index Event index

Definition at line 1217 of file hio_controller.h.

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

Add new named Yp-event to generator.

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 1092 of file hio_controller.h.

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

Add an existing Yp-event to generator.

An entry in the global event table will be made.

Parameters:
index Event index

Definition at line 1083 of file hio_controller.h.

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

Is event E-event? (by name).

Parameters:
rName Event name
Returns:
True / false

Definition at line 1369 of file hio_controller.h.

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

Is event E-event? (by index).

Parameters:
index Event index
Returns:
True / false

Definition at line 1363 of file hio_controller.h.

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

Is state Err-state (by name).

Parameters:
rName State name
Returns:
True / false

Definition at line 1778 of file hio_controller.h.

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

Is state Err-state (by index).

Parameters:
index State index
Returns:
True / false

Definition at line 1772 of file hio_controller.h.

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

Is event P-event? (by name).

Parameters:
rName Event name
Returns:
True / false

Definition at line 1357 of file hio_controller.h.

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

Is event P-event? (by index).

Parameters:
index Event index
Returns:
True / false

Definition at line 1351 of file hio_controller.h.

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

Is state QUc-state (by name).

Parameters:
rName State name
Returns:
True / false

Definition at line 1627 of file hio_controller.h.

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

Is state QUc-state (by index).

Parameters:
index State index
Returns:
True / false

Definition at line 1621 of file hio_controller.h.

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

Is state QUp-state (by name).

Parameters:
rName State name
Returns:
True / false

Definition at line 1545 of file hio_controller.h.

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

Is state QUp-state (by index).

Parameters:
index State index
Returns:
True / false

Definition at line 1539 of file hio_controller.h.

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

Is state QYcUp-state (by name).

Parameters:
rName State name
Returns:
True / false

Definition at line 1707 of file hio_controller.h.

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

Is state QYcUp-state (by index).

Parameters:
index State index
Returns:
True / false

Definition at line 1701 of file hio_controller.h.

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

Is state QYP-state (by name).

Parameters:
rName State name
Returns:
True / false

Definition at line 1465 of file hio_controller.h.

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

Is state QYP-state (by index).

Parameters:
index State index
Returns:
True / false

Definition at line 1459 of file hio_controller.h.

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

Is event U-event? (by name).

Parameters:
rName Event name
Returns:
True / false

Definition at line 1053 of file hio_controller.h.

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

Is event U-event? (by index).

Parameters:
index Event index
Returns:
True / false

Definition at line 1047 of file hio_controller.h.

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

Is event Uc-event (by name).

Parameters:
rName Event name
Returns:
True / false

Definition at line 1321 of file hio_controller.h.

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

Is event Uc-event (by index).

Parameters:
index Event index
Returns:
True / false

Definition at line 1315 of file hio_controller.h.

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

Is event Up-event(by name).

Parameters:
rName Event name
Returns:
True / false

Definition at line 1187 of file hio_controller.h.

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

Is event Up-event(by index).

Parameters:
index Event index
Returns:
True / false

Definition at line 1181 of file hio_controller.h.

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

Is event Y-event? (by name).

Parameters:
rName Event name
Returns:
True / false

Definition at line 1041 of file hio_controller.h.

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

Is event Y-event? (by index).

Parameters:
index Event index
Returns:
True / false

Definition at line 1035 of file hio_controller.h.

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

Is event Yc-event (by name).

Parameters:
rName Event name
Returns:
True / false

Definition at line 1309 of file hio_controller.h.

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

Is event Yc-event (by index).

Parameters:
index Event index
Returns:
True / false

Definition at line 1303 of file hio_controller.h.

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

Is event Yp-event(by name).

Parameters:
rName Event name
Returns:
True / false

Definition at line 1175 of file hio_controller.h.

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

Is event Yp-event(by index).

Parameters:
index Event index
Returns:
True / false

Definition at line 1169 of file hio_controller.h.

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

Construct on heap.

Returns:
new Generator

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

Definition at line 1011 of file hio_controller.h.

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

Create empty HioController with same symboltable as this.

Returns:
New Generator

Definition at line 1026 of file hio_controller.h.

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

Assignment operator (uses copy ).

Parameters:
rOtherGen Other generator

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

Definition at line 142 of file hio_controller.h.

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

Assignment operator (uses copy ) Note: you must reimplement this operator in derived classes in order to handle internal pointers correctly.

Parameters:
rOtherGen Other generator

Definition at line 134 of file hio_controller.h.

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

Get EventSet with P-events.

Returns:
EventSet of P-events

Definition at line 1375 of file hio_controller.h.

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

Get StateSet with QUc-states.

Returns:
StateSet of QUc-states

Definition at line 1633 of file hio_controller.h.

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

Get StateSet with QUp-states.

Returns:
StateSet of QUp-states

Definition at line 1551 of file hio_controller.h.

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

Get StateSet with QYcUp-states.

Returns:
StateSet of QYcUp-states

Definition at line 1713 of file hio_controller.h.

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

Get StateSet with QYP-states.

Returns:
StateSet of QYP-states

Definition at line 1471 of file hio_controller.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetErr ( const StateSet rStates  )  [inline]

Mark set of states as Err-states.

Parameters:
rStates StateSet

Definition at line 1739 of file hio_controller.h.

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

Mark state as Err-state (by name).

Parameters:
rName State name

Definition at line 1732 of file hio_controller.h.

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

Mark state as Err-state (by index).

Parameters:
index State index

Definition at line 1724 of file hio_controller.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUc ( const StateSet rStates  )  [inline]

Mark set of states as QUc-states.

Parameters:
rStates StateSet

Definition at line 1587 of file hio_controller.h.

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

Mark state as QUc-state (by name).

Parameters:
rName State name

Definition at line 1580 of file hio_controller.h.

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

Mark event as QUc-state (by index).

Parameters:
index State index

Definition at line 1565 of file hio_controller.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQUp ( const StateSet rStates  )  [inline]

Mark set of states as QUp-states.

Parameters:
rStates StateSet

Definition at line 1505 of file hio_controller.h.

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

Mark state as QUp-state (by name).

Parameters:
rName State name

Definition at line 1498 of file hio_controller.h.

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

Mark event as QUp-state (by index).

Parameters:
index State index

Definition at line 1483 of file hio_controller.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYcUp ( const StateSet rStates  )  [inline]

Mark set of states as QYcUp-states.

Parameters:
rStates StateSet

Definition at line 1668 of file hio_controller.h.

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

Mark state as QYcUp-state (by name).

Parameters:
rName State name

Definition at line 1661 of file hio_controller.h.

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

Mark event as QYcUp-state (by index).

Parameters:
index State index

Definition at line 1646 of file hio_controller.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetQYp ( const StateSet rStates  )  [inline]

Mark set of states as QYP-states.

Parameters:
rStates StateSet

Definition at line 1425 of file hio_controller.h.

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

Mark state as QYP-state (by name).

Parameters:
rName State name

Definition at line 1418 of file hio_controller.h.

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

Mark state as QYP-state (by index).

Parameters:
index State index

Definition at line 1403 of file hio_controller.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUc ( const EventSet rEvents  )  [inline]

Mark set of events as Uc-events.

Parameters:
rEvents EventSet

Definition at line 1294 of file hio_controller.h.

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

Mark event as Uc-event (by name).

Parameters:
rName Event name

Definition at line 1287 of file hio_controller.h.

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

Mark event as Uc-event (by index).

Parameters:
index Event index

Definition at line 1278 of file hio_controller.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetUp ( const EventSet rEvents  )  [inline]

Mark set of events as Up-events.

Parameters:
rEvents EventSet

Definition at line 1160 of file hio_controller.h.

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

Mark event Up-event(by name).

Parameters:
rName Event name

Definition at line 1153 of file hio_controller.h.

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

Mark event Up-event(by index).

Parameters:
index Event index

Definition at line 1144 of file hio_controller.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYc ( const EventSet rEvents  )  [inline]

Mark set of events as Yc-events.

Parameters:
rEvents EventSet

Definition at line 1269 of file hio_controller.h.

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

Mark event as Yc-event (by name).

Parameters:
rName Event name

Definition at line 1262 of file hio_controller.h.

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

Mark event as Yc-event (by index).

Parameters:
index Event index

Definition at line 1253 of file hio_controller.h.

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetYp ( const EventSet rEvents  )  [inline]

Mark set of events as Yp-events.

Parameters:
rEvents EventSet

Definition at line 1135 of file hio_controller.h.

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

Mark event as Yp-event(by name).

Parameters:
rName Event name

Definition at line 1128 of file hio_controller.h.

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

Mark event as Yp-event (by index).

Parameters:
index Event index

Definition at line 1119 of file hio_controller.h.

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

Get EventSet with Uc-events.

Returns:
EventSet of Uc-events

Definition at line 1338 of file hio_controller.h.

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

Get EventSet with U-events.

Returns:
EventSet of U-events

Definition at line 1070 of file hio_controller.h.

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

Updates internal attributes.

This method sets the state partition attributes.

Returns:
True if value changed

Reimplemented from faudes::vGenerator.

Definition at line 958 of file hio_controller.h.

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

Get EventSet with Up-events.

Returns:
EventSet of Up-events

Definition at line 1204 of file hio_controller.h.

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

Get EventSet with Yc-events.

Returns:
EventSet of Yc-events

Definition at line 1327 of file hio_controller.h.

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

Get EventSet with Y-events.

Returns:
EventSet of Y-events

Definition at line 1059 of file hio_controller.h.

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

Get EventSet with Yp-events.

Returns:
EventSet of Yp-events

Definition at line 1193 of file hio_controller.h.


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

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