public static void InitializeInterfaces()
{
PInterfaces.AddInterface(nameof(I_TestDriver), nameof(eDoOpI), nameof(eDoOpJ), nameof(eQueryState), nameof(eQueryStateResponse), nameof(eUpdateToState0), nameof(eUpdateToState1), nameof(PHalt));
PInterfaces.AddInterface(nameof(I_FaultTolerantMachine), nameof(eQueryStateResponse), nameof(PHalt));
PInterfaces.AddInterface(nameof(I_ServiceMachine), nameof(eDoOpI), nameof(eDoOpJ), nameof(eQueryState), nameof(eQueryStateResponse), nameof(eUpdateToState0), nameof(eUpdateToState1), nameof(PHalt));
PInterfaces.AddInterface(nameof(I_ReliableStorageMachine), nameof(eDoOpI), nameof(eDoOpJ), nameof(eQueryState), nameof(eQueryStateResponse), nameof(eUpdateToState0), nameof(eUpdateToState1), nameof(PHalt));
}
public static void InitializeInterfaces()
{
PInterfaces.Clear();
PInterfaces.AddInterface(nameof(I_Elevator), nameof(eCloseDoor), nameof(eDoorClosed), nameof(eDoorOpened), nameof(eDoorStopped), nameof(eObjectDetected), nameof(eObjectEncountered), nameof(eOpenDoor), nameof(eOperationFailure), nameof(eOperationSuccess), nameof(eResetDoor), nameof(eSendCommandToCloseDoor), nameof(eSendCommandToOpenDoor), nameof(eSendCommandToResetDoor), nameof(eSendCommandToStopDoor), nameof(eStartTimer), nameof(eTimerFired), nameof(eUnit), nameof(PHalt));
PInterfaces.AddInterface(nameof(I_Main), nameof(eCloseDoor), nameof(eDoorClosed), nameof(eDoorOpened), nameof(eDoorStopped), nameof(eObjectDetected), nameof(eObjectEncountered), nameof(eOpenDoor), nameof(eOperationFailure), nameof(eOperationSuccess), nameof(eResetDoor), nameof(eSendCommandToCloseDoor), nameof(eSendCommandToOpenDoor), nameof(eSendCommandToResetDoor), nameof(eSendCommandToStopDoor), nameof(eStartTimer), nameof(eTimerFired), nameof(eUnit), nameof(PHalt));
PInterfaces.AddInterface(nameof(I_Door), nameof(eCloseDoor), nameof(eDoorClosed), nameof(eDoorOpened), nameof(eDoorStopped), nameof(eObjectDetected), nameof(eObjectEncountered), nameof(eOpenDoor), nameof(eOperationFailure), nameof(eOperationSuccess), nameof(eResetDoor), nameof(eSendCommandToCloseDoor), nameof(eSendCommandToOpenDoor), nameof(eSendCommandToResetDoor), nameof(eSendCommandToStopDoor), nameof(eStartTimer), nameof(eTimerFired), nameof(eUnit), nameof(PHalt));
PInterfaces.AddInterface(nameof(I_Timer), nameof(eCloseDoor), nameof(eDoorClosed), nameof(eDoorOpened), nameof(eDoorStopped), nameof(eObjectDetected), nameof(eObjectEncountered), nameof(eOpenDoor), nameof(eOperationFailure), nameof(eOperationSuccess), nameof(eResetDoor), nameof(eSendCommandToCloseDoor), nameof(eSendCommandToOpenDoor), nameof(eSendCommandToResetDoor), nameof(eSendCommandToStopDoor), nameof(eStartTimer), nameof(eTimerFired), nameof(eUnit), nameof(PHalt));
}
public static void InitializeInterfaces()
{
PInterfaces.Clear();
PInterfaces.AddInterface(nameof(I_Main), nameof(Ping), nameof(Pong), nameof(Success), nameof(PHalt));
PInterfaces.AddInterface(nameof(I_PONG), nameof(Ping), nameof(Pong), nameof(Success), nameof(PHalt));
}
public static void InitializeInterfaces()
{
PInterfaces.Clear();
PInterfaces.AddInterface(nameof(I_Timer), nameof(START));
PInterfaces.AddInterface(nameof(I_Hello), nameof(START), nameof(TIMEOUT), nameof(PHalt));
}
public static void InitializeInterfaces()
{
PInterfaces.Clear();
PInterfaces.AddInterface(nameof(I_Main), nameof(e1), nameof(e2), nameof(e3), nameof(e4), nameof(PHalt));
PInterfaces.AddInterface(nameof(I_Receiver), nameof(e1), nameof(e2), nameof(e3), nameof(e4), nameof(PHalt));
}
