Ejemplo n.º 1
0
 static void Initialize()
 {
     IsInState(FSM_Modes.EXIT);
     canExit         = false;
     isRcvBufferFull = false;
     isSndBufferFull = false;
     modelState      = FSM_Modes.INIT;
 }
Ejemplo n.º 2
0
 static void GetExit()
 {
     IsInState(FSM_Modes.DATA_RECEIVED);
     canExit = Choice.Some <bool>();
     if (canExit)
     {
         modelState = FSM_Modes.EXIT;
     }
 }
Ejemplo n.º 3
0
 static void IsInState(FSM_Modes state)
 {
     Condition.Equals(modelState, state);
 }
Ejemplo n.º 4
0
 static void StartWrite(int SelMode)
 {
     IsInState(FSM_Modes.INIT);
     transferMode = (Modes)SelMode;
     modelState   = FSM_Modes.WRQ_SENT;
 }
Ejemplo n.º 5
0
 static void SendDataBlock()
 {
     IsInState(FSM_Modes.ACK_RECEIVED);
     modelState = FSM_Modes.DATA_SENT;
 }
Ejemplo n.º 6
0
 static void ReceiveDataBlock()
 {
     IsInState(FSM_Modes.RRQ_SENT, FSM_Modes.ACK_SENT);
     isRcvBufferFull = Choice.Some <bool>();
     modelState      = FSM_Modes.DATA_RECEIVED;
 }
Ejemplo n.º 7
0
 static void PutFineWrapper(int SelMode)
 {
     IsInState(FSM_Modes.RRQ_SENT);
     transferMode = (Modes)SelMode;
     modelState   = FSM_Modes.EXIT;
 }
Ejemplo n.º 8
0
 static void IsInState(FSM_Modes state)
 {
     Condition.Equals(modelState, state);
 }
Ejemplo n.º 9
0
 static void GetExit()
 {
     IsInState(FSM_Modes.DATA_RECEIVED);
     canExit = Choice.Some<bool>();
     if (canExit)
     {
         modelState = FSM_Modes.EXIT;
     }
 }
Ejemplo n.º 10
0
 static void GetCoarseWrapper()
 {
     IsInState(FSM_Modes.INIT);
     transferMode = Modes.Octet;
     modelState = FSM_Modes.EXIT;
 }
Ejemplo n.º 11
0
 static void StartWrite(int SelMode)
 {
     IsInState(FSM_Modes.INIT);
     transferMode = (Modes)SelMode;
     modelState = FSM_Modes.WRQ_SENT;
 }
Ejemplo n.º 12
0
 static void SendDataBlock()
 {
     IsInState(FSM_Modes.ACK_RECEIVED);
     modelState = FSM_Modes.DATA_SENT;
 }
Ejemplo n.º 13
0
 static void ReceiveDataBlock()
 {
     IsInState(FSM_Modes.RRQ_SENT, FSM_Modes.ACK_SENT);
     isRcvBufferFull = Choice.Some<bool>();
     modelState = FSM_Modes.DATA_RECEIVED;
 }
Ejemplo n.º 14
0
 static void PutFineWrapper(int SelMode)
 {
     IsInState(FSM_Modes.RRQ_SENT);
     transferMode = (Modes)SelMode;
     modelState = FSM_Modes.EXIT;
 }
Ejemplo n.º 15
0
 static void IsInState(FSM_Modes state1, FSM_Modes state2)
 {
     Condition.IsTrue(modelState == state1 || modelState == state2);
 }
Ejemplo n.º 16
0
 static void IsInState(FSM_Modes state1, FSM_Modes state2)
 {
     Condition.IsTrue(modelState == state1 || modelState == state2);
 }
Ejemplo n.º 17
0
 static void GetCoarseWrapper()
 {
     IsInState(FSM_Modes.INIT);
     transferMode = Modes.Octet;
     modelState   = FSM_Modes.EXIT;
 }
Ejemplo n.º 18
0
 static void GetFineWrapper(int SelMode)
 {
     Condition.Equals(modelState, FSM_Modes.RRQ_SENT);
     transferMode = (Modes)SelMode;
     modelState = FSM_Modes.EXIT;
 }
Ejemplo n.º 19
0
 static void GetFineWrapper(int SelMode)
 {
     Condition.Equals(modelState, FSM_Modes.RRQ_SENT);
     transferMode = (Modes)SelMode;
     modelState   = FSM_Modes.EXIT;
 }
Ejemplo n.º 20
0
 static void Initialize()
 {
     IsInState(FSM_Modes.EXIT);
     canExit = false;
     isRcvBufferFull = false;
     isSndBufferFull = false;
     modelState = FSM_Modes.INIT;
 }