static void Initialize() { IsInState(FSM_Modes.EXIT); canExit = false; isRcvBufferFull = false; isSndBufferFull = false; modelState = FSM_Modes.INIT; }
static void GetExit() { IsInState(FSM_Modes.DATA_RECEIVED); canExit = Choice.Some <bool>(); if (canExit) { modelState = FSM_Modes.EXIT; } }
static void IsInState(FSM_Modes state) { Condition.Equals(modelState, state); }
static void StartWrite(int SelMode) { IsInState(FSM_Modes.INIT); transferMode = (Modes)SelMode; modelState = FSM_Modes.WRQ_SENT; }
static void SendDataBlock() { IsInState(FSM_Modes.ACK_RECEIVED); modelState = FSM_Modes.DATA_SENT; }
static void ReceiveDataBlock() { IsInState(FSM_Modes.RRQ_SENT, FSM_Modes.ACK_SENT); isRcvBufferFull = Choice.Some <bool>(); modelState = FSM_Modes.DATA_RECEIVED; }
static void PutFineWrapper(int SelMode) { IsInState(FSM_Modes.RRQ_SENT); transferMode = (Modes)SelMode; modelState = FSM_Modes.EXIT; }
static void GetExit() { IsInState(FSM_Modes.DATA_RECEIVED); canExit = Choice.Some<bool>(); if (canExit) { modelState = FSM_Modes.EXIT; } }
static void GetCoarseWrapper() { IsInState(FSM_Modes.INIT); transferMode = Modes.Octet; modelState = FSM_Modes.EXIT; }
static void ReceiveDataBlock() { IsInState(FSM_Modes.RRQ_SENT, FSM_Modes.ACK_SENT); isRcvBufferFull = Choice.Some<bool>(); modelState = FSM_Modes.DATA_RECEIVED; }
static void IsInState(FSM_Modes state1, FSM_Modes state2) { Condition.IsTrue(modelState == state1 || modelState == state2); }
static void GetFineWrapper(int SelMode) { Condition.Equals(modelState, FSM_Modes.RRQ_SENT); transferMode = (Modes)SelMode; modelState = FSM_Modes.EXIT; }