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