faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > Class Template Reference Compatibility: pre 2.20b used cEventSet as C++ class name. 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 945 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 955 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 950 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 960 of file cfl_cgenerator.h.
|
virtual |
Assignment method.
Note: you must reimplement this method in derived classes in order to handle internal pointers correctly
rOtherGen | Other generator |
Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 971 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 >.
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 1083 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 1091 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 1098 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 1314 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 1322 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 1329 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 1198 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 1206 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 1213 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 1015 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 1021 of file cfl_cgenerator.h.
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ControllableEvents | ( | void | ) | const |
Get EventSet with controllable events.
Definition at line 1107 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 >.
Definition at line 992 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 1246 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 1252 of file cfl_cgenerator.h.
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ForcibleEvents | ( | void | ) | const |
Get EventSet with forcible events.
Definition at line 1338 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 1362 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 1368 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 1466 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 1027 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 1035 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 1258 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 1266 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 1386 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 1394 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 1402 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 1410 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 1142 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 1150 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 1043 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 1051 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 1274 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 1282 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 1158 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 1166 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 1374 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 1380 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 1478 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 >.
Definition at line 981 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 1130 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 1136 of file cfl_cgenerator.h.
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ObservableEvents | ( | void | ) | const |
Get EventSet with observable events.
Definition at line 1222 of file cfl_cgenerator.h.
|
virtual |
Assignment operator (uses Assign)
Note: you must reimplement this operator in derived classes in order to handle internal pointers correctly
rOtherGen | Other generator |
Definition at line 965 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 1059 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 1067 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 1074 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 1290 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 1298 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 1305 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 1418 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 1426 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 1433 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 1442 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 1450 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 1457 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 1174 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 1182 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 1189 of file cfl_cgenerator.h.
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::UncontrollableEvents | ( | void | ) | const |
Get EventSet with uncontrollable events.
Definition at line 1119 of file cfl_cgenerator.h.
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::UnforcibleEvents | ( | void | ) | const |
Get EventSet with unforcible events.
Definition at line 1350 of file cfl_cgenerator.h.
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::UnobservableEvents | ( | void | ) | const |
Get EventSet with unobservable events.
Definition at line 1234 of file cfl_cgenerator.h.
libFAUDES 2.28a --- 2016.09.13 --- c++ api documentaion by doxygen