faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > Class Template Reference Generator with controllability attributes. More...
Detailed Descriptiontemplate<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
|
faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TcGenerator | ( | void | ) |
Creates an emtpy System object.
Definition at line 941 of file cfl_cgenerator.h.
faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TcGenerator | ( | const vGenerator & | rOtherGen | ) |
System from a std Generator.
Copy constructor
rOtherGen |
Definition at line 951 of file cfl_cgenerator.h.
faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TcGenerator | ( | const TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & | rOtherGen | ) |
System from a System.
Copy constructor
rOtherGen |
Definition at line 946 of file cfl_cgenerator.h.
faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TcGenerator | ( | const std::string & | rFileName | ) |
construct a System from file
rFileName | Filename |
Definition at line 956 of file cfl_cgenerator.h.
|
inlinevirtual |
Type test.
Uses C++ dynamic cast to test whether the specified object casts to a System.
Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Reimplemented in faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, and faudes::TpdGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 329 of file cfl_cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrControllable | ( | Idx | index | ) |
Mark event uncontrollable (by index)
index | Event index |
Definition at line 1064 of file cfl_cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrControllable | ( | const std::string & | rName | ) |
Mark event uncontrollable (by name)
rName | Event name |
Definition at line 1072 of file cfl_cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrControllable | ( | const EventSet & | rEvents | ) |
Mark set of events uncontrollable (by index)
rEvents | EventSet |
Definition at line 1079 of file cfl_cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrForcible | ( | Idx | index | ) |
Mark event unforcible (by index)
index | Event index |
Definition at line 1295 of file cfl_cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrForcible | ( | const std::string & | rName | ) |
Mark event unforcible (by name)
rName | Event name |
Definition at line 1303 of file cfl_cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrForcible | ( | const EventSet & | rEvents | ) |
Mark set of events unforcible.
rEvents | EventSet |
Definition at line 1310 of file cfl_cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrObservable | ( | Idx | index | ) |
Mark event unobservable (by index)
index | Event index |
Definition at line 1179 of file cfl_cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrObservable | ( | const std::string & | rName | ) |
Mark event unobservable (by name)
rName | Event name |
Definition at line 1187 of file cfl_cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrObservable | ( | const EventSet & | rEvents | ) |
Mark set of events unobservable.
rEvents | EventSet |
Definition at line 1194 of file cfl_cgenerator.h.
bool faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Controllable | ( | Idx | index | ) | const |
Is event controllable (by index)
index | Event index |
Definition at line 996 of file cfl_cgenerator.h.
bool faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Controllable | ( | const std::string & | rName | ) | const |
Is event controllable (by name)
rName | Event name |
Definition at line 1002 of file cfl_cgenerator.h.
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ControllableEvents | ( | void | ) | const |
Get EventSet with controllable events.
Definition at line 1088 of file cfl_cgenerator.h.
|
virtual |
Construct copy on heap.
Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Reimplemented in faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TpdGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, and faudes::TdiagGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 973 of file cfl_cgenerator.h.
bool faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Forcible | ( | Idx | index | ) | const |
Is event forcible (by index)
index | Event index |
Definition at line 1227 of file cfl_cgenerator.h.
bool faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Forcible | ( | const std::string & | rName | ) | const |
Is event forcible (by name)
rName | Event name |
Definition at line 1233 of file cfl_cgenerator.h.
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ForcibleEvents | ( | void | ) | const |
Get EventSet with forcible events.
Definition at line 1319 of file cfl_cgenerator.h.
bool faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Highlevel | ( | Idx | index | ) | const |
Test for high-level event (by index)
index | Event index |
Definition at line 1343 of file cfl_cgenerator.h.
bool faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Highlevel | ( | const std::string & | rName | ) | const |
Test for high-level event (by name)
rName | Event name |
Definition at line 1349 of file cfl_cgenerator.h.
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::HighlevelEvents | ( | void | ) | const |
Get EventSet of all high-level events.
Definition at line 1447 of file cfl_cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsControllableEvent | ( | Idx | index | ) |
Add an existing controllable event to generator.
An entry in the global eventtable will be made.
index | Event index |
Definition at line 1008 of file cfl_cgenerator.h.
Idx faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsControllableEvent | ( | const std::string & | rName | ) |
Add new named controllable event to generator.
An entry in the global eventtable will be made if event is new.
rName | Name of the event to add |
Definition at line 1016 of file cfl_cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsForcibleEvent | ( | Idx | index | ) |
Add an existing forcible event to generator.
An entry in the global eventtable will be made.
index | Event index |
Definition at line 1239 of file cfl_cgenerator.h.
Idx faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsForcibleEvent | ( | const std::string & | rName | ) |
Add new named forcible event to generator.
An entry in the global eventtable will be made if event is new.
rName | Name of the event to add |
Definition at line 1247 of file cfl_cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsHighlevelEvent | ( | Idx | index | ) |
Add an existing abstraction event to generator.
An entry in the global eventtable will be made.
index | Event index |
Definition at line 1367 of file cfl_cgenerator.h.
Idx faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsHighlevelEvent | ( | const std::string & | rName | ) |
Add new named abstraction event to generator.
An entry in the global eventtable will be made if event is new.
rName | Name of the event to add |
Definition at line 1375 of file cfl_cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsLowlevelEvent | ( | Idx | index | ) |
Add an existing low-level event to generator.
An entry in the global eventtable will be made.
index | Event index |
Definition at line 1383 of file cfl_cgenerator.h.
Idx faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsLowlevelEvent | ( | const std::string & | rName | ) |
Add new named low-level event to generator.
An entry in the global eventtable will be made if event is new.
rName | Name of the event to add |
Definition at line 1391 of file cfl_cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsObservableEvent | ( | Idx | index | ) |
Add an existing observable event to generator.
An entry in the global eventtable will be made.
index | Event index |
Definition at line 1123 of file cfl_cgenerator.h.
Idx faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsObservableEvent | ( | const std::string & | rName | ) |
Add new named observable event to generator.
An entry in the global eventtable will be made if event is new.
rName | Name of the event to add |
Definition at line 1131 of file cfl_cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUncontrollableEvent | ( | Idx | index | ) |
Add an existing uncontrollable event to generator.
An entry in the global eventtable will be made.
index | Event index |
Definition at line 1024 of file cfl_cgenerator.h.
Idx faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUncontrollableEvent | ( | const std::string & | rName | ) |
Add new named uncontrollable event to generator.
An entry in the global eventtable will be made if event is new.
rName | Name of the event to add |
Definition at line 1032 of file cfl_cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUnforcibleEvent | ( | Idx | index | ) |
Add an existing unforcible event to generator.
An entry in the global eventtable will be made.
index | Event index |
Definition at line 1255 of file cfl_cgenerator.h.
Idx faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUnforcibleEvent | ( | const std::string & | rName | ) |
Add new named unforcible event to generator.
An entry in the global eventtable will be made if event is new.
rName | Name of the event to add |
Definition at line 1263 of file cfl_cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUnobservableEvent | ( | Idx | index | ) |
Add an existing unobservable event to generator.
An entry in the global eventtable will be made.
index | Event index |
Definition at line 1139 of file cfl_cgenerator.h.
Idx faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUnobservableEvent | ( | const std::string & | rName | ) |
Add new named unobservable event to generator.
An entry in the global eventtable will be made if event is new.
rName | Name of the event to add |
Definition at line 1147 of file cfl_cgenerator.h.
bool faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Lowlevel | ( | Idx | index | ) | const |
Test for low-level event (by index)
index | Event index |
Definition at line 1355 of file cfl_cgenerator.h.
bool faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Lowlevel | ( | const std::string & | rName | ) | const |
Test for low-level event (by name)
rName | Event name |
Definition at line 1361 of file cfl_cgenerator.h.
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::LowlevelEvents | ( | void | ) | const |
Get EventSet of all low-level events.
Definition at line 1459 of file cfl_cgenerator.h.
|
virtual |
Construct on heap.
Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Reimplemented in faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TpdGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, and faudes::TdiagGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 962 of file cfl_cgenerator.h.
TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::NewCGen | ( | void | ) | const |
bool faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Observable | ( | Idx | index | ) | const |
Is event observable (by index)
index | Event index |
Definition at line 1111 of file cfl_cgenerator.h.
bool faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Observable | ( | const std::string & | rName | ) | const |
Is event observable (by name)
rName | Event name |
Definition at line 1117 of file cfl_cgenerator.h.
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ObservableEvents | ( | void | ) | const |
Get EventSet with observable events.
Definition at line 1203 of file cfl_cgenerator.h.
|
inlinevirtual |
Assignment operator (uses copy ) Note: you must reimplement this operator in derived classes in order to handle internal pointers correctly.
rOtherGen | Other generator |
Definition at line 349 of file cfl_cgenerator.h.
|
inlinevirtual |
Assignment operator (uses copy )
rOtherGen | Other generator |
Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Reimplemented in faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TdiagGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, and faudes::TpdGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 357 of file cfl_cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetControllable | ( | Idx | index | ) |
Mark event controllable (by index)
index | Event index |
Definition at line 1040 of file cfl_cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetControllable | ( | const std::string & | rName | ) |
Mark event controllable (by name)
rName | Event name |
Definition at line 1048 of file cfl_cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetControllable | ( | const EventSet & | rEvents | ) |
Mark set of events controllable (by index)
rEvents | EventSet |
Definition at line 1055 of file cfl_cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetForcible | ( | Idx | index | ) |
Mark event forcible (by index)
index | Event index |
Definition at line 1271 of file cfl_cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetForcible | ( | const std::string & | rName | ) |
Mark event forcible (by name)
rName | Event name |
Definition at line 1279 of file cfl_cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetForcible | ( | const EventSet & | rEvents | ) |
Mark set of events forcible.
rEvents | EventSet |
Definition at line 1286 of file cfl_cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetHighlevel | ( | Idx | index | ) |
Mark event as highlevel event (by index)
index | Event index |
Definition at line 1399 of file cfl_cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetHighlevel | ( | const std::string & | rName | ) |
Mark event as highlevel event (by name)
rName | Event name |
Definition at line 1407 of file cfl_cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetHighlevel | ( | const EventSet & | rEvents | ) |
Mark set of events as high-level events.
rEvents | EventSet |
Definition at line 1414 of file cfl_cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetLowlevel | ( | Idx | index | ) |
Mark event as low-level event (by index)
index | Event index |
Definition at line 1423 of file cfl_cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetLowlevel | ( | const std::string & | rName | ) |
Mark event as low-level event (by name)
rName | Event name |
Definition at line 1431 of file cfl_cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetLowlevel | ( | const EventSet & | rEvents | ) |
Mark set of events as low-level events.
rEvents | EventSet |
Definition at line 1438 of file cfl_cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetObservable | ( | Idx | index | ) |
Mark event observable (by index)
index | Event index |
Definition at line 1155 of file cfl_cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetObservable | ( | const std::string & | rName | ) |
Mark event observable (by name)
rName | Event name |
Definition at line 1163 of file cfl_cgenerator.h.
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetObservable | ( | const EventSet & | rEvents | ) |
Mark set of events observable.
rEvents | EventSet |
Definition at line 1170 of file cfl_cgenerator.h.
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::UncontrollableEvents | ( | void | ) | const |
Get EventSet with uncontrollable events.
Definition at line 1100 of file cfl_cgenerator.h.
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::UnforcibleEvents | ( | void | ) | const |
Get EventSet with unforcible events.
Definition at line 1331 of file cfl_cgenerator.h.
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::UnobservableEvents | ( | void | ) | const |
Get EventSet with unobservable events.
Definition at line 1215 of file cfl_cgenerator.h.
libFAUDES 2.24g --- 2014.09.15 --- c++ api documentaion by doxygen