libFAUDES

Sections

Index

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

#include <hio_controller.h>

Inherits faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

List of all members.


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 withHioEventFlags and HioStateFlags for the event and state attribute parameters and AttributeVoid for the other parameters. For convenience, this has been typedefed as HioController.

Public Member Functions

 THioController (void)
 Creates an emtpy 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.
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 vGenerator &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.


Constructor & Destructor Documentation

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

Creates an emtpy HioController object.

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 

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

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 

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)


Member Function Documentation

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 >.

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

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

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

Assignment operator (uses copy ).

Parameters:
rOtherGen Other generator

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

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 eventtable will be made.

Parameters:
index Event index

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 eventtable will be made if event is new.

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

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 eventtable will be made.

Parameters:
index Event index

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 eventtable will be made if event is new.

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

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

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

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

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

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

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

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

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

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

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

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

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

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 eventtable will be made.

Parameters:
index Event index

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 eventtable will be made if event is new.

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

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 eventtable will be made.

Parameters:
index Event index

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 eventtable will be made if event is new.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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.


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

libFAUDES 2.13a c++ source docu by doxygen 1.5.6