|
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.
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 >
Default constructor.
doxygen group
Definition at line 801 of file ios_system.h.
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Construtor.
Create IoSystem from file
- Parameters:
-
- Exceptions:
-
Definition at line 811 of file ios_system.h.
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Copy constructor.
Create IoSystem from a std. Generator
- Parameters:
-
Definition at line 822 of file ios_system.h.
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Copy constructor.
Create IoSystem from another IoSystem
- Parameters:
-
Definition at line 817 of file ios_system.h.
Member Function Documentation
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
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:
-
- 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 >
Unmark state as error state.
- Parameters:
-
- 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 >
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:
-
- 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 >
Unmark event as input event.
- Parameters:
-
- 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 >
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:
-
- 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 >
Unmark state as input state.
- Parameters:
-
- 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 >
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:
-
- 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 >
Unmark event as output event.
- Parameters:
-
- 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 >
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:
-
- 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 >
Unmark state as output state.
- Parameters:
-
- 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] |
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:
-
- 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 >
Test for error state.
- Parameters:
-
- 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 >
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 >
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:
-
- 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 >
Test for input event.
- Parameters:
-
- 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 >
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 >
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:
-
- 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 >
Test for input state.
- Parameters:
-
- 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 >
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 >
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 >
Insert a input event by index.
Note: event must to exist in the global event table
- Parameters:
-
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 >
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:
-
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] |
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 >
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
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:
-
- 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 >
Test for output event.
- Parameters:
-
- 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 >
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 >
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:
-
- 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 >
Test for output state.
- Parameters:
-
- 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 >
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 >
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 >
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:
-
- 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 >
Mark state as error state.
- Parameters:
-
- 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 >
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:
-
- 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 >
Mark event as input event.
- Parameters:
-
- 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 >
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:
-
- 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 >
Mark state as input state.
- Parameters:
-
- 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 >
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:
-
- 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 >
Mark event as output event.
- Parameters:
-
- 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 >
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:
-
- 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 >
Mark state as output state.
- Parameters:
-
- 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
|