示例#1
0
文件: FailOver.cs 项目: mbrukman/P
 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));
 }
示例#2
0
文件: Main.cs 项目: yzhang90/P-1
 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));
 }
示例#3
0
 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));
 }
示例#4
0
文件: Hello.cs 项目: yzhang90/P-1
 public static void InitializeInterfaces()
 {
     PInterfaces.Clear();
     PInterfaces.AddInterface(nameof(I_Timer), nameof(START));
     PInterfaces.AddInterface(nameof(I_Hello), nameof(START), nameof(TIMEOUT), nameof(PHalt));
 }
示例#5
0
文件: Main.cs 项目: tushetodorov/P
 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));
 }