libFAUDES
Sections
Index
|
hio_controller.h File Reference
Detailed Description
Generator with I/O-controller attributes.
#include "corefaudes.h"
#include "agenerator.h"
#include "hio_attributes.h"
|
Namespaces |
namespace | faudes |
Classes |
class | faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr > |
| Generator with I/O-controller attributes. More...
|
Defines |
#define | THIS THioController<GlobalAttr, StateAttr, EventAttr, TransAttr> |
#define | BASE TaGenerator<GlobalAttr, StateAttr, EventAttr, TransAttr> |
#define | TEMP template <class GlobalAttr, class StateAttr, class EventAttr, class TransAttr> |
Typedefs |
typedef THioController
< AttributeVoid, HioStateFlags,
HioEventFlags, AttributeVoid > | faudes::HioController |
Functions |
bool | faudes::IsIoControllerForm (HioController &rHioController, StateSet &rQUc, StateSet &rQYP, StateSet &rQUp, StateSet &rQYcUp, EventSet &rErrEvSet, TransSet &rErrTrSet, StateSet &rErrStSet, std::string &ReportStr) |
| IsIoControllerForm: check if rHioController is in I/O-controller form and assign state attributes.
|
bool | faudes::IsIoControllerForm (HioController &rHioController, std::string &ReportStr) |
| IsIoControllerForm: check if rHioController is in I/O-controller form and assign state attributes.
|
bool | faudes::IsIoControllerForm (HioController &rHioController) |
| IsIoControllerForm: check if rHioController is in I/O-controller form and assign state attributes.
|
void | faudes::IsIoControllerForm (HioController &rHioController, bool &rRes) |
| Function definition for run-time interface.
|
void | faudes::IoStatePartition (HioController &rController) |
| Function definition for run-time interface.
|
Define Documentation
#define BASE TaGenerator<GlobalAttr, StateAttr, EventAttr, TransAttr> |
#define TEMP template <class GlobalAttr, class StateAttr, class EventAttr, class TransAttr> |
#define THIS THioController<GlobalAttr, StateAttr, EventAttr, TransAttr> |
|