|
libFAUDES
Sections
Index
|
faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr > Class Template Reference
|
Public Member Functions | |
Constructors & Destructor | |
TIoSystem (void) | |
Default constructor. | |
~TIoSystem (void) | |
Default destructor. | |
TIoSystem (const std::string &rFileName) | |
Construtor. | |
virtual TIoSystem * | New (void) const |
Constructor. | |
TIoSystem (const Generator &rOtherGen) | |
Copy constructor. | |
TIoSystem (const TIoSystem &rOtherGen) | |
Copy constructor. | |
virtual TIoSystem * | Copy (void) const |
Copy Constructor. | |
TIoSystem | NewIoSystem (void) const |
Create empty IoSystem with same symboltable as this. | |
Assignment | |
virtual TIoSystem & | operator= (const TIoSystem &rOtherGen) |
Assignment operator. | |
virtual TIoSystem & | operator= (const vGenerator &rOtherGen) |
Assignment operator. | |
Insertion with attributes | |
void | InsOutputEvent (Idx index) |
Insert an output-event by index. | |
Idx | InsOutputEvent (const std::string &rName) |
Insert output event by name. | |
void | InsInputEvent (Idx index) |
Insert a input event by index. | |
Idx | InsInputEvent (const std::string &rName) |
Insert input event by name. | |
Event attributes | |
EventSet | OutputEvents (void) const |
Retrieve all output events. | |
void | OutputEvents (const EventSet &rEventSet) |
Set all output events. | |
bool | OutputEvent (Idx index) const |
Test for output event. | |
bool | OutputEvent (const std::string &rName) const |
Test for output event. | |
void | SetOutputEvent (Idx index) |
Mark event as output event. | |
void | SetOutputEvent (const std::string &rName) |
Mark event as output event. | |
void | SetOutputEvent (const EventSet &rEventSet) |
Mark event as output events. | |
void | ClrOutputEvent (Idx index) |
Unmark event as output event. | |
void | ClrOutputEvent (const std::string &rName) |
Unmark event as output event. | |
void | ClrOutputEvent (const EventSet &rEventSet) |
Unmak events as output events. | |
EventSet | InputEvents (void) const |
Retrieve all input events. | |
void | InputEvents (const EventSet &rEventSet) |
Set all input events. | |
bool | InputEvent (Idx index) const |
Test for input event. | |
bool | InputEvent (const std::string &rName) const |
Test for input event. | |
void | SetInputEvent (Idx index) |
Mark event as input event. | |
void | SetInputEvent (const std::string &rName) |
Mark event as input event. | |
void | SetInputEvent (const EventSet &rEventSet) |
Mark event as input events. | |
void | ClrInputEvent (Idx index) |
Unmark event as input event. | |
void | ClrInputEvent (const std::string &rName) |
Unmark event as input event. | |
void | ClrInputEvent (const EventSet &rEventSet) |
Unmak events as input events. | |
State attributes | |
StateSet | OutputStates (void) const |
Retrieve all output states. | |
void | OutputStates (const StateSet &rStateSet) |
Set all output states. | |
bool | OutputState (Idx index) const |
Test for output state. | |
bool | OutputState (const std::string &rName) const |
Test for output state. | |
void | SetOutputState (Idx index) |
Mark state as output state. | |
void | SetOutputState (const std::string &rName) |
Mark state as output state. | |
void | SetOutputState (const StateSet &rStateSet) |
Mark state as output states. | |
void | ClrOutputState (Idx index) |
Unmark state as output state. | |
void | ClrOutputState (const std::string &rName) |
Unmark state as output state. | |
void | ClrOutputState (const StateSet &rStateSet) |
Unmak states as output states. | |
StateSet | InputStates (void) const |
Retrieve all input states. | |
void | InputStates (const StateSet &rStateSet) |
Set all input states. | |
bool | InputState (Idx index) const |
Test for input state. | |
bool | InputState (const std::string &rName) const |
Test for input state. | |
void | SetInputState (Idx index) |
Mark state as input state. | |
void | SetInputState (const std::string &rName) |
Mark state as input state. | |
void | SetInputState (const StateSet &rStateSet) |
Mark state as input states. | |
void | ClrInputState (Idx index) |
Unmark state as input state. | |
void | ClrInputState (const std::string &rName) |
Unmark state as input state. | |
void | ClrInputState (const StateSet &rStateSet) |
Unmak states as input states. | |
StateSet | ErrorStates (void) const |
Retrieve all error states. | |
void | ErrorStates (const StateSet &rStateSet) |
Set all error states. | |
bool | ErrorState (Idx index) const |
Test for error state. | |
bool | ErrorState (const std::string &rName) const |
Test for error state. | |
void | SetErrorState (Idx index) |
Mark state as error state. | |
void | SetErrorState (const std::string &rName) |
Mark state as error state. | |
void | SetErrorState (const StateSet &rStateSet) |
Mark state as error states. | |
void | ClrErrorState (Idx index) |
Unmark state as error state. | |
void | ClrErrorState (const std::string &rName) |
Unmark state as error state. | |
void | ClrErrorState (const StateSet &rStateSet) |
Unmak states as error states. | |
Misc | |
virtual bool | UpdateAttributes (void) |
Updates internal attributes. |
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.
faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::TIoSystem | ( | void | ) | [inline] |
faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::~TIoSystem | ( | void | ) | [inline] |
Default destructor.
Definition at line 806 of file ios_system.h.
faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::TIoSystem | ( | const std::string & | rFileName | ) | [inline] |
Construtor.
Create IoSystem from file
rFileName | Filename |
Definition at line 811 of file ios_system.h.
faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::TIoSystem | ( | const Generator & | rOtherGen | ) | [inline] |
Copy constructor.
Create IoSystem from a std. Generator
rOtherGen |
Definition at line 822 of file ios_system.h.
faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::TIoSystem | ( | const TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr > & | rOtherGen | ) | [inline] |
Copy constructor.
Create IoSystem from another IoSystem
rOtherGen |
Definition at line 817 of file ios_system.h.
void faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrErrorState | ( | const StateSet & | rStateSet | ) | [inline] |
Unmak states as error states.
rStateSet | Set of states to unmark |
Exception |
|
Definition at line 1262 of file ios_system.h.
void faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrErrorState | ( | const std::string & | rName | ) | [inline] |
Unmark state as error state.
rName | State name |
Exception |
|
Definition at line 1255 of file ios_system.h.
void faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrErrorState | ( | Idx | index | ) | [inline] |
Unmark state as error state.
index | State index |
Exception |
|
Definition at line 1247 of file ios_system.h.
void faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrInputEvent | ( | const EventSet & | rEventSet | ) | [inline] |
Unmak events as input events.
rEventSet | Set of events to unmark |
Exception |
|
Definition at line 1029 of file ios_system.h.
void faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrInputEvent | ( | const std::string & | rName | ) | [inline] |
Unmark event as input event.
rName | Event name |
Exception |
|
Definition at line 1022 of file ios_system.h.
void faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrInputEvent | ( | Idx | index | ) | [inline] |
Unmark event as input event.
index | Event index |
Exception |
|
Definition at line 1014 of file ios_system.h.
void faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrInputState | ( | const StateSet & | rStateSet | ) | [inline] |
Unmak states as input states.
rStateSet | Set of states to unmark |
Exception |
|
Definition at line 1183 of file ios_system.h.
void faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrInputState | ( | const std::string & | rName | ) | [inline] |
Unmark state as input state.
rName | State name |
Exception |
|
Definition at line 1176 of file ios_system.h.
void faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrInputState | ( | Idx | index | ) | [inline] |
Unmark state as input state.
index | State index |
Exception |
|
Definition at line 1168 of file ios_system.h.
void faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrOutputEvent | ( | const EventSet & | rEventSet | ) | [inline] |
Unmak events as output events.
rEventSet | Set of events to unmark |
Exception |
|
Definition at line 952 of file ios_system.h.
void faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrOutputEvent | ( | const std::string & | rName | ) | [inline] |
Unmark event as output event.
rName | Event name |
Exception |
|
Definition at line 945 of file ios_system.h.
void faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrOutputEvent | ( | Idx | index | ) | [inline] |
Unmark event as output event.
index | Event index |
Exception |
|
Definition at line 937 of file ios_system.h.
void faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrOutputState | ( | const StateSet & | rStateSet | ) | [inline] |
Unmak states as output states.
rStateSet | Set of states to unmark |
Exception |
|
Definition at line 1106 of file ios_system.h.
void faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrOutputState | ( | const std::string & | rName | ) | [inline] |
Unmark state as output state.
rName | State name |
Exception |
|
Definition at line 1099 of file ios_system.h.
void faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrOutputState | ( | Idx | index | ) | [inline] |
Unmark state as output state.
index | State index |
Exception |
|
Definition at line 1091 of file ios_system.h.
TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr > * faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::Copy | ( | void | ) | const [inline, virtual] |
Copy Constructor.
Construct copy on heap
Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 838 of file ios_system.h.
bool faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::ErrorState | ( | const std::string & | rName | ) | const [inline] |
Test for error state.
rName | State name |
Exception |
|
Definition at line 1218 of file ios_system.h.
bool faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::ErrorState | ( | Idx | index | ) | const [inline] |
Test for error state.
index | State index |
Exception |
|
Definition at line 1213 of file ios_system.h.
void faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::ErrorStates | ( | const StateSet & | rStateSet | ) | [inline] |
Set all error states.
Mark given states as error states, unmark any other state.
rStateSet | Set of all error states |
Exception |
|
Definition at line 1204 of file ios_system.h.
StateSet faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::ErrorStates | ( | void | ) | const [inline] |
Retrieve all error states.
Definition at line 1193 of file ios_system.h.
bool faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::InputEvent | ( | const std::string & | rName | ) | const [inline] |
Test for input event.
rName | Event name |
Exception |
|
Definition at line 986 of file ios_system.h.
bool faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::InputEvent | ( | Idx | index | ) | const [inline] |
Test for input event.
index | Event index |
Exception |
|
Definition at line 981 of file ios_system.h.
void faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::InputEvents | ( | const EventSet & | rEventSet | ) | [inline] |
Set all input events.
Mark given events as input events, unmark any other event.
rEventSet | Set of all input events |
Exception |
|
Definition at line 971 of file ios_system.h.
EventSet faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::InputEvents | ( | void | ) | const [inline] |
Retrieve all input events.
Definition at line 960 of file ios_system.h.
bool faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::InputState | ( | const std::string & | rName | ) | const [inline] |
Test for input state.
rName | State name |
Exception |
|
Definition at line 1139 of file ios_system.h.
bool faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::InputState | ( | Idx | index | ) | const [inline] |
Test for input state.
index | State index |
Exception |
|
Definition at line 1134 of file ios_system.h.
void faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::InputStates | ( | const StateSet & | rStateSet | ) | [inline] |
Set all input states.
Mark given states as input states, unmark any other state.
rStateSet | Set of all input states |
Exception |
|
Definition at line 1125 of file ios_system.h.
StateSet faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::InputStates | ( | void | ) | const [inline] |
Retrieve all input states.
Definition at line 1114 of file ios_system.h.
Idx faudes::TIoSystem< 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.
rName | Name of the event to add |
Definition at line 874 of file ios_system.h.
void faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsInputEvent | ( | Idx | index | ) | [inline] |
Insert a input event by index.
Note: event must to exist in the global event table
index | Event index |
Definition at line 866 of file ios_system.h.
Idx faudes::TIoSystem< 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.
rName | Name of the event to add |
Definition at line 858 of file ios_system.h.
void faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsOutputEvent | ( | Idx | index | ) | [inline] |
Insert an output-event by index.
doxygen group An entry in the global event table will be made.
Note: event has to exist in the global event table
index | Event index |
Definition at line 850 of file ios_system.h.
TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr > * faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::New | ( | void | ) | const [inline, virtual] |
Constructor.
Create IoSystem on heap
Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 827 of file ios_system.h.
TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr > faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::NewIoSystem | ( | void | ) | const [inline] |
Create empty IoSystem with same symboltable as this.
Definition at line 843 of file ios_system.h.
virtual TIoSystem& faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::operator= | ( | const vGenerator & | rOtherGen | ) | [inline, virtual] |
Assignment operator.
rOtherGen | Other generator |
Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 142 of file ios_system.h.
virtual TIoSystem& faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::operator= | ( | const TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr > & | rOtherGen | ) | [inline, virtual] |
Assignment operator.
doxygen group Note: you must reimplement this operator in derived classes in order to handle internal pointers correctly
rOtherGen | Other generator |
Definition at line 131 of file ios_system.h.
bool faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::OutputEvent | ( | const std::string & | rName | ) | const [inline] |
Test for output event.
rName | Event name |
Exception |
|
Definition at line 909 of file ios_system.h.
bool faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::OutputEvent | ( | Idx | index | ) | const [inline] |
Test for output event.
index | Event index |
Exception |
|
Definition at line 904 of file ios_system.h.
void faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::OutputEvents | ( | const EventSet & | rEventSet | ) | [inline] |
Set all output events.
Mark given events as output events, unmark any other event.
rEventSet Set of all output events
Exception |
|
Definition at line 895 of file ios_system.h.
EventSet faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::OutputEvents | ( | void | ) | const [inline] |
Retrieve all output events.
doxygen group
Definition at line 884 of file ios_system.h.
bool faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::OutputState | ( | const std::string & | rName | ) | const [inline] |
Test for output state.
rName | State name |
Exception |
|
Definition at line 1062 of file ios_system.h.
bool faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::OutputState | ( | Idx | index | ) | const [inline] |
Test for output state.
index | State index |
Exception |
|
Definition at line 1057 of file ios_system.h.
void faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::OutputStates | ( | const StateSet & | rStateSet | ) | [inline] |
Set all output states.
Mark given states as output states, unmark any other state.
rStateSet | Set of all output states |
Exception |
|
Definition at line 1048 of file ios_system.h.
StateSet faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::OutputStates | ( | void | ) | const [inline] |
Retrieve all output states.
doxygen group
Definition at line 1037 of file ios_system.h.
void faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetErrorState | ( | const StateSet & | rStateSet | ) | [inline] |
Mark state as error states.
rStateSet | Set of states to mark |
Exception |
|
Definition at line 1239 of file ios_system.h.
void faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetErrorState | ( | const std::string & | rName | ) | [inline] |
Mark state as error state.
rName | State name |
Exception |
|
Definition at line 1232 of file ios_system.h.
void faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetErrorState | ( | Idx | index | ) | [inline] |
Mark state as error state.
index | State index |
Exception |
|
Definition at line 1224 of file ios_system.h.
void faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetInputEvent | ( | const EventSet & | rEventSet | ) | [inline] |
Mark event as input events.
rEventSet | Set of events to mark |
Exception |
|
Definition at line 1006 of file ios_system.h.
void faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetInputEvent | ( | const std::string & | rName | ) | [inline] |
Mark event as input event.
rName | Event name |
Exception |
|
Definition at line 999 of file ios_system.h.
void faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetInputEvent | ( | Idx | index | ) | [inline] |
Mark event as input event.
index | Event index |
Exception |
|
Definition at line 991 of file ios_system.h.
void faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetInputState | ( | const StateSet & | rStateSet | ) | [inline] |
Mark state as input states.
rStateSet | Set of states to mark |
Exception |
|
Definition at line 1160 of file ios_system.h.
void faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetInputState | ( | const std::string & | rName | ) | [inline] |
Mark state as input state.
rName | State name |
Exception |
|
Definition at line 1153 of file ios_system.h.
void faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetInputState | ( | Idx | index | ) | [inline] |
Mark state as input state.
index | State index |
Exception |
|
Definition at line 1145 of file ios_system.h.
void faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetOutputEvent | ( | const EventSet & | rEventSet | ) | [inline] |
Mark event as output events.
rEventSet | Set of events to mark |
Exception |
|
Definition at line 929 of file ios_system.h.
void faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetOutputEvent | ( | const std::string & | rName | ) | [inline] |
Mark event as output event.
rName | Event name |
Exception |
|
Definition at line 922 of file ios_system.h.
void faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetOutputEvent | ( | Idx | index | ) | [inline] |
Mark event as output event.
index | Event index |
Exception |
|
Definition at line 914 of file ios_system.h.
void faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetOutputState | ( | const StateSet & | rStateSet | ) | [inline] |
Mark state as output states.
rStateSet | Set of states to mark |
Exception |
|
Definition at line 1083 of file ios_system.h.
void faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetOutputState | ( | const std::string & | rName | ) | [inline] |
Mark state as output state.
rName | State name |
Exception |
|
Definition at line 1076 of file ios_system.h.
void faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetOutputState | ( | Idx | index | ) | [inline] |
Mark state as output state.
index | State index |
Exception |
|
Definition at line 1068 of file ios_system.h.
bool faudes::TIoSystem< GlobalAttr, StateAttr, EventAttr, TransAttr >::UpdateAttributes | ( | void | ) | [inline, virtual] |
Updates internal attributes.
doxygen group This method sets the state partition attributes.
Reimplemented from faudes::vGenerator.
Definition at line 1270 of file ios_system.h.
libFAUDES 2.18b --- 2010-12-17 --- c++ source docu by doxygen 1.6.3