| |
libFAUDES
PlugIns
Types
Functions
|
HioSys I/O TestsThe data-types HioPlant, HioController, HioEnvironment and HioConstraint model specific I/O systems, which impose certain conditions on the discrete event dynamic. The below test functions verify these conditions. They also set state attributes to represent the I/O form state decomposition. Hence, the argument is of type +InOut+.
IsIoPlantFormTest whether an HioPlant indeed exhibits compatible I/O dynamics
Signature:
IsIoPlantForm(+InOut+ HioPlant GArg, +Out+ Boolean BRes, +Out+ String ReportStr) IsIoControllerFormTest whether an HioController indeed exhibits compatible I/O dynamics
Signature:
IsIoControllerForm(+InOut+ HioController GArg, +Out+ Boolean BRes) IsIoEnvironmentFormTest whether an HioEnvironment indeed exhibits compatible I/O dynamics
Signature:
IsIoEnvironmentForm(+InOut+ HioEnvironment GArg, +Out+ Boolean BRes) IsIoConstraintFormTest whether an HioConstraint indeed exhibits compatible I/O dynamics
Signature:
IsIoConstraintForm(+InOut+ HioConstraint GArg, +Out+ Boolean BRes) FreeInputEnforces free input for I/O dynamics by adding error behaviour
Signature:
FreeInput(+InOut+ HioPlant GArg) |
libFAUDES 2.13a run-time interface with "example observer hiosys multitasking timed simulator luabindings"