Faizan Ahmad / Mbed OS MPSMAXbutton

button

Dependencies:   BMI160 SDFileSystem USBDevice max32630fthr sd-driver

Fork of MPSMAX by Faizan Ahmad

src/Default.c@0:769c5a7b3939, 2018-05-07 (annotated)

Committer:
FaizanAhmad
Date:
Mon May 07 21:28:03 2018 +0000
Revision:
0:769c5a7b3939
button map

Who changed what in which revision?

UserRevisionLine numberNew contents of line
FaizanAhmad 0:769c5a7b3939 1
FaizanAhmad 0:769c5a7b3939 2 #include <stdlib.h>
FaizanAhmad 0:769c5a7b3939 3 #include <string.h>
FaizanAhmad 0:769c5a7b3939 4 #include "sc_types.h"
FaizanAhmad 0:769c5a7b3939 5 #include "Default.h"
FaizanAhmad 0:769c5a7b3939 6 #include "DefaultRequired.h"
FaizanAhmad 0:769c5a7b3939 7 /*! \file Implementation of the state machine 'default'
FaizanAhmad 0:769c5a7b3939 8 */
FaizanAhmad 0:769c5a7b3939 9
FaizanAhmad 0:769c5a7b3939 10 /* prototypes of all internal functions */
FaizanAhmad 0:769c5a7b3939 11 static sc_boolean check_main_region_Functions_tr0_tr0(const Default* handle);
FaizanAhmad 0:769c5a7b3939 12 static sc_boolean check_main_region_Functions_tr1_tr1(const Default* handle);
FaizanAhmad 0:769c5a7b3939 13 static sc_boolean check_main_region_Functions_tr2_tr2(const Default* handle);
FaizanAhmad 0:769c5a7b3939 14 static sc_boolean check_main_region_Functions_tr3_tr3(const Default* handle);
FaizanAhmad 0:769c5a7b3939 15 static sc_boolean check_main_region_Functions_tr4_tr4(const Default* handle);
FaizanAhmad 0:769c5a7b3939 16 static sc_boolean check_main_region_Menu_tr0_tr0(const Default* handle);
FaizanAhmad 0:769c5a7b3939 17 static sc_boolean check_main_region_Menu_tr1_tr1(const Default* handle);
FaizanAhmad 0:769c5a7b3939 18 static sc_boolean check_main_region_Menu_tr2_tr2(const Default* handle);
FaizanAhmad 0:769c5a7b3939 19 static sc_boolean check_main_region_Menu_tr3_tr3(const Default* handle);
FaizanAhmad 0:769c5a7b3939 20 static sc_boolean check_main_region_Ready_tr0_tr0(const Default* handle);
FaizanAhmad 0:769c5a7b3939 21 static sc_boolean check_main_region_Function_Selected_tr0_tr0(const Default* handle);
FaizanAhmad 0:769c5a7b3939 22 static sc_boolean check_main_region_Function_Selected_tr1_tr1(const Default* handle);
FaizanAhmad 0:769c5a7b3939 23 static sc_boolean check_r1_Function_Ready_tr0_tr0(const Default* handle);
FaizanAhmad 0:769c5a7b3939 24 static sc_boolean check_r1_Function_Active_tr0_tr0(const Default* handle);
FaizanAhmad 0:769c5a7b3939 25 static sc_boolean check_r1_Function_Active_tr1_tr1(const Default* handle);
FaizanAhmad 0:769c5a7b3939 26 static sc_boolean check_r1_Alarm_tr0_tr0(const Default* handle);
FaizanAhmad 0:769c5a7b3939 27 static sc_boolean check_r1_Alarm_tr1_tr1(const Default* handle);
FaizanAhmad 0:769c5a7b3939 28 static sc_boolean check_r1_Move_Down_tr0_tr0(const Default* handle);
FaizanAhmad 0:769c5a7b3939 29 static sc_boolean check_r1_Move_Down_tr1_tr1(const Default* handle);
FaizanAhmad 0:769c5a7b3939 30 static sc_boolean check_r1_Move_Up_tr0_tr0(const Default* handle);
FaizanAhmad 0:769c5a7b3939 31 static sc_boolean check_r1_Move_Up_tr1_tr1(const Default* handle);
FaizanAhmad 0:769c5a7b3939 32 static void effect_main_region_Functions_tr0(Default* handle);
FaizanAhmad 0:769c5a7b3939 33 static void effect_main_region_Functions_tr1(Default* handle);
FaizanAhmad 0:769c5a7b3939 34 static void effect_main_region_Functions_tr2(Default* handle);
FaizanAhmad 0:769c5a7b3939 35 static void effect_main_region_Functions_tr3(Default* handle);
FaizanAhmad 0:769c5a7b3939 36 static void effect_main_region_Functions_tr4(Default* handle);
FaizanAhmad 0:769c5a7b3939 37 static void effect_main_region_Menu_tr0(Default* handle);
FaizanAhmad 0:769c5a7b3939 38 static void effect_main_region_Menu_tr1(Default* handle);
FaizanAhmad 0:769c5a7b3939 39 static void effect_main_region_Menu_tr2(Default* handle);
FaizanAhmad 0:769c5a7b3939 40 static void effect_main_region_Menu_tr3(Default* handle);
FaizanAhmad 0:769c5a7b3939 41 static void effect_main_region_Ready_tr0(Default* handle);
FaizanAhmad 0:769c5a7b3939 42 static void effect_main_region_Function_Selected_tr0(Default* handle);
FaizanAhmad 0:769c5a7b3939 43 static void effect_main_region_Function_Selected_tr1(Default* handle);
FaizanAhmad 0:769c5a7b3939 44 static void effect_r1_Function_Ready_tr0(Default* handle);
FaizanAhmad 0:769c5a7b3939 45 static void effect_r1_Function_Active_tr0(Default* handle);
FaizanAhmad 0:769c5a7b3939 46 static void effect_r1_Function_Active_tr1(Default* handle);
FaizanAhmad 0:769c5a7b3939 47 static void effect_r1_Alarm_tr0(Default* handle);
FaizanAhmad 0:769c5a7b3939 48 static void effect_r1_Alarm_tr1(Default* handle);
FaizanAhmad 0:769c5a7b3939 49 static void effect_r1_Move_Down_tr0(Default* handle);
FaizanAhmad 0:769c5a7b3939 50 static void effect_r1_Move_Down_tr1(Default* handle);
FaizanAhmad 0:769c5a7b3939 51 static void effect_r1_Move_Up_tr0(Default* handle);
FaizanAhmad 0:769c5a7b3939 52 static void effect_r1_Move_Up_tr1(Default* handle);
FaizanAhmad 0:769c5a7b3939 53 static void enact_main_region_Functions(Default* handle);
FaizanAhmad 0:769c5a7b3939 54 static void enact_main_region_Menu(Default* handle);
FaizanAhmad 0:769c5a7b3939 55 static void enact_main_region_Ready(Default* handle);
FaizanAhmad 0:769c5a7b3939 56 static void enact_main_region_Function_Selected(Default* handle);
FaizanAhmad 0:769c5a7b3939 57 static void enact_r1_Function_Ready(Default* handle);
FaizanAhmad 0:769c5a7b3939 58 static void enact_r1_Function_Active(Default* handle);
FaizanAhmad 0:769c5a7b3939 59 static void enact_r1_Alarm(Default* handle);
FaizanAhmad 0:769c5a7b3939 60 static void enact_r1_Move_Down(Default* handle);
FaizanAhmad 0:769c5a7b3939 61 static void enact_r1_Move_Up(Default* handle);
FaizanAhmad 0:769c5a7b3939 62 static void exact_r1_Move_Down(Default* handle);
FaizanAhmad 0:769c5a7b3939 63 static void exact_r1_Move_Up(Default* handle);
FaizanAhmad 0:769c5a7b3939 64 static void enseq_main_region_Functions_default(Default* handle);
FaizanAhmad 0:769c5a7b3939 65 static void enseq_main_region_Menu_default(Default* handle);
FaizanAhmad 0:769c5a7b3939 66 static void enseq_main_region_Ready_default(Default* handle);
FaizanAhmad 0:769c5a7b3939 67 static void enseq_main_region_Function_Selected_default(Default* handle);
FaizanAhmad 0:769c5a7b3939 68 static void enseq_r1_Function_Ready_default(Default* handle);
FaizanAhmad 0:769c5a7b3939 69 static void enseq_r1_Function_Active_default(Default* handle);
FaizanAhmad 0:769c5a7b3939 70 static void enseq_r1_Alarm_default(Default* handle);
FaizanAhmad 0:769c5a7b3939 71 static void enseq_r1_Move_Down_default(Default* handle);
FaizanAhmad 0:769c5a7b3939 72 static void enseq_r1_Move_Up_default(Default* handle);
FaizanAhmad 0:769c5a7b3939 73 static void enseq_main_region_default(Default* handle);
FaizanAhmad 0:769c5a7b3939 74 static void enseq_r1_default(Default* handle);
FaizanAhmad 0:769c5a7b3939 75 static void exseq_main_region_Functions(Default* handle);
FaizanAhmad 0:769c5a7b3939 76 static void exseq_main_region_Menu(Default* handle);
FaizanAhmad 0:769c5a7b3939 77 static void exseq_main_region_Ready(Default* handle);
FaizanAhmad 0:769c5a7b3939 78 static void exseq_main_region_Function_Selected(Default* handle);
FaizanAhmad 0:769c5a7b3939 79 static void exseq_r1_Function_Ready(Default* handle);
FaizanAhmad 0:769c5a7b3939 80 static void exseq_r1_Function_Active(Default* handle);
FaizanAhmad 0:769c5a7b3939 81 static void exseq_r1_Alarm(Default* handle);
FaizanAhmad 0:769c5a7b3939 82 static void exseq_r1_Move_Down(Default* handle);
FaizanAhmad 0:769c5a7b3939 83 static void exseq_r1_Move_Up(Default* handle);
FaizanAhmad 0:769c5a7b3939 84 static void exseq_main_region(Default* handle);
FaizanAhmad 0:769c5a7b3939 85 static void exseq_r1(Default* handle);
FaizanAhmad 0:769c5a7b3939 86 static void react_main_region_Functions(Default* handle);
FaizanAhmad 0:769c5a7b3939 87 static void react_main_region_Menu(Default* handle);
FaizanAhmad 0:769c5a7b3939 88 static void react_main_region_Ready(Default* handle);
FaizanAhmad 0:769c5a7b3939 89 static void react_main_region_Function_Selected(Default* handle);
FaizanAhmad 0:769c5a7b3939 90 static void react_r1_Function_Ready(Default* handle);
FaizanAhmad 0:769c5a7b3939 91 static void react_r1_Function_Active(Default* handle);
FaizanAhmad 0:769c5a7b3939 92 static void react_r1_Alarm(Default* handle);
FaizanAhmad 0:769c5a7b3939 93 static void react_r1_Move_Down(Default* handle);
FaizanAhmad 0:769c5a7b3939 94 static void react_r1_Move_Up(Default* handle);
FaizanAhmad 0:769c5a7b3939 95 static void react_main_region__entry_Default(Default* handle);
FaizanAhmad 0:769c5a7b3939 96 static void react_r1__entry_Default(Default* handle);
FaizanAhmad 0:769c5a7b3939 97 static void clearInEvents(Default* handle);
FaizanAhmad 0:769c5a7b3939 98 static void clearOutEvents(Default* handle);
FaizanAhmad 0:769c5a7b3939 99
FaizanAhmad 0:769c5a7b3939 100
FaizanAhmad 0:769c5a7b3939 101 void default_init(Default* handle)
FaizanAhmad 0:769c5a7b3939 102 {
FaizanAhmad 0:769c5a7b3939 103 sc_integer i;
FaizanAhmad 0:769c5a7b3939 104
FaizanAhmad 0:769c5a7b3939 105 for (i = 0; i < DEFAULT_MAX_ORTHOGONAL_STATES; ++i)
FaizanAhmad 0:769c5a7b3939 106 {
FaizanAhmad 0:769c5a7b3939 107 handle->stateConfVector[i] = Default_last_state;
FaizanAhmad 0:769c5a7b3939 108 }
FaizanAhmad 0:769c5a7b3939 109
FaizanAhmad 0:769c5a7b3939 110
FaizanAhmad 0:769c5a7b3939 111 handle->stateConfVectorPosition = 0;
FaizanAhmad 0:769c5a7b3939 112
FaizanAhmad 0:769c5a7b3939 113 clearInEvents(handle);
FaizanAhmad 0:769c5a7b3939 114 clearOutEvents(handle);
FaizanAhmad 0:769c5a7b3939 115
FaizanAhmad 0:769c5a7b3939 116 /* Default init sequence for statechart default */
FaizanAhmad 0:769c5a7b3939 117 handle->iface.select1 = 0;
FaizanAhmad 0:769c5a7b3939 118 handle->iface.select2 = 0;
FaizanAhmad 0:769c5a7b3939 119 handle->ifaceFunc.t = 0;
FaizanAhmad 0:769c5a7b3939 120 }
FaizanAhmad 0:769c5a7b3939 121
FaizanAhmad 0:769c5a7b3939 122 void default_enter(Default* handle)
FaizanAhmad 0:769c5a7b3939 123 {
FaizanAhmad 0:769c5a7b3939 124 /* Default enter sequence for statechart default */
FaizanAhmad 0:769c5a7b3939 125 enseq_main_region_default(handle);
FaizanAhmad 0:769c5a7b3939 126 enseq_r1_default(handle);
FaizanAhmad 0:769c5a7b3939 127 }
FaizanAhmad 0:769c5a7b3939 128
FaizanAhmad 0:769c5a7b3939 129 void default_exit(Default* handle)
FaizanAhmad 0:769c5a7b3939 130 {
FaizanAhmad 0:769c5a7b3939 131 /* Default exit sequence for statechart default */
FaizanAhmad 0:769c5a7b3939 132 exseq_main_region(handle);
FaizanAhmad 0:769c5a7b3939 133 exseq_r1(handle);
FaizanAhmad 0:769c5a7b3939 134 }
FaizanAhmad 0:769c5a7b3939 135
FaizanAhmad 0:769c5a7b3939 136 sc_boolean default_isActive(const Default* handle)
FaizanAhmad 0:769c5a7b3939 137 {
FaizanAhmad 0:769c5a7b3939 138 sc_boolean result = bool_false;
FaizanAhmad 0:769c5a7b3939 139 int i;
FaizanAhmad 0:769c5a7b3939 140
FaizanAhmad 0:769c5a7b3939 141 for(i = 0; i < DEFAULT_MAX_ORTHOGONAL_STATES; i++)
FaizanAhmad 0:769c5a7b3939 142 {
FaizanAhmad 0:769c5a7b3939 143 result = result || handle->stateConfVector[i] != Default_last_state;
FaizanAhmad 0:769c5a7b3939 144 }
FaizanAhmad 0:769c5a7b3939 145
FaizanAhmad 0:769c5a7b3939 146 return result;
FaizanAhmad 0:769c5a7b3939 147 }
FaizanAhmad 0:769c5a7b3939 148
FaizanAhmad 0:769c5a7b3939 149 /*
FaizanAhmad 0:769c5a7b3939 150 * Always returns 'false' since this state machine can never become final.
FaizanAhmad 0:769c5a7b3939 151 */
FaizanAhmad 0:769c5a7b3939 152 sc_boolean default_isFinal(const Default* handle)
FaizanAhmad 0:769c5a7b3939 153 {
FaizanAhmad 0:769c5a7b3939 154 return bool_false;
FaizanAhmad 0:769c5a7b3939 155 }
FaizanAhmad 0:769c5a7b3939 156
FaizanAhmad 0:769c5a7b3939 157 static void clearInEvents(Default* handle)
FaizanAhmad 0:769c5a7b3939 158 {
FaizanAhmad 0:769c5a7b3939 159 handle->iface.mode_raised = bool_false;
FaizanAhmad 0:769c5a7b3939 160 handle->iface.down_raised = bool_false;
FaizanAhmad 0:769c5a7b3939 161 handle->iface.up_raised = bool_false;
FaizanAhmad 0:769c5a7b3939 162 handle->iface.back_raised = bool_false;
FaizanAhmad 0:769c5a7b3939 163 handle->iface.home_raised = bool_false;
FaizanAhmad 0:769c5a7b3939 164 handle->ifaceFunc.Selected_raised = bool_false;
FaizanAhmad 0:769c5a7b3939 165 handle->ifaceFunc.Deselect_raised = bool_false;
FaizanAhmad 0:769c5a7b3939 166 handle->ifaceFunc.Alarmset_raised = bool_false;
FaizanAhmad 0:769c5a7b3939 167 handle->ifaceFunc.MoveDown_raised = bool_false;
FaizanAhmad 0:769c5a7b3939 168 handle->ifaceFunc.MoveUp_raised = bool_false;
FaizanAhmad 0:769c5a7b3939 169 handle->timeEvents.default_r1_Move_Down_tev0_raised = bool_false;
FaizanAhmad 0:769c5a7b3939 170 handle->timeEvents.default_r1_Move_Up_tev0_raised = bool_false;
FaizanAhmad 0:769c5a7b3939 171 }
FaizanAhmad 0:769c5a7b3939 172
FaizanAhmad 0:769c5a7b3939 173 static void clearOutEvents(Default* handle)
FaizanAhmad 0:769c5a7b3939 174 {
FaizanAhmad 0:769c5a7b3939 175 }
FaizanAhmad 0:769c5a7b3939 176
FaizanAhmad 0:769c5a7b3939 177 void default_runCycle(Default* handle)
FaizanAhmad 0:769c5a7b3939 178 {
FaizanAhmad 0:769c5a7b3939 179
FaizanAhmad 0:769c5a7b3939 180 clearOutEvents(handle);
FaizanAhmad 0:769c5a7b3939 181 for (handle->stateConfVectorPosition = 0;
FaizanAhmad 0:769c5a7b3939 182 handle->stateConfVectorPosition < DEFAULT_MAX_ORTHOGONAL_STATES;
FaizanAhmad 0:769c5a7b3939 183 handle->stateConfVectorPosition++)
FaizanAhmad 0:769c5a7b3939 184 {
FaizanAhmad 0:769c5a7b3939 185
FaizanAhmad 0:769c5a7b3939 186 switch (handle->stateConfVector[handle->stateConfVectorPosition])
FaizanAhmad 0:769c5a7b3939 187 {
FaizanAhmad 0:769c5a7b3939 188 case Default_main_region_Functions:
FaizanAhmad 0:769c5a7b3939 189 {
FaizanAhmad 0:769c5a7b3939 190 react_main_region_Functions(handle);
FaizanAhmad 0:769c5a7b3939 191 break;
FaizanAhmad 0:769c5a7b3939 192 }
FaizanAhmad 0:769c5a7b3939 193 case Default_main_region_Menu:
FaizanAhmad 0:769c5a7b3939 194 {
FaizanAhmad 0:769c5a7b3939 195 react_main_region_Menu(handle);
FaizanAhmad 0:769c5a7b3939 196 break;
FaizanAhmad 0:769c5a7b3939 197 }
FaizanAhmad 0:769c5a7b3939 198 case Default_main_region_Ready:
FaizanAhmad 0:769c5a7b3939 199 {
FaizanAhmad 0:769c5a7b3939 200 react_main_region_Ready(handle);
FaizanAhmad 0:769c5a7b3939 201 break;
FaizanAhmad 0:769c5a7b3939 202 }
FaizanAhmad 0:769c5a7b3939 203 case Default_main_region_Function_Selected:
FaizanAhmad 0:769c5a7b3939 204 {
FaizanAhmad 0:769c5a7b3939 205 react_main_region_Function_Selected(handle);
FaizanAhmad 0:769c5a7b3939 206 break;
FaizanAhmad 0:769c5a7b3939 207 }
FaizanAhmad 0:769c5a7b3939 208 case Default_r1_Function_Ready:
FaizanAhmad 0:769c5a7b3939 209 {
FaizanAhmad 0:769c5a7b3939 210 react_r1_Function_Ready(handle);
FaizanAhmad 0:769c5a7b3939 211 break;
FaizanAhmad 0:769c5a7b3939 212 }
FaizanAhmad 0:769c5a7b3939 213 case Default_r1_Function_Active:
FaizanAhmad 0:769c5a7b3939 214 {
FaizanAhmad 0:769c5a7b3939 215 react_r1_Function_Active(handle);
FaizanAhmad 0:769c5a7b3939 216 break;
FaizanAhmad 0:769c5a7b3939 217 }
FaizanAhmad 0:769c5a7b3939 218 case Default_r1_Alarm:
FaizanAhmad 0:769c5a7b3939 219 {
FaizanAhmad 0:769c5a7b3939 220 react_r1_Alarm(handle);
FaizanAhmad 0:769c5a7b3939 221 break;
FaizanAhmad 0:769c5a7b3939 222 }
FaizanAhmad 0:769c5a7b3939 223 case Default_r1_Move_Down:
FaizanAhmad 0:769c5a7b3939 224 {
FaizanAhmad 0:769c5a7b3939 225 react_r1_Move_Down(handle);
FaizanAhmad 0:769c5a7b3939 226 break;
FaizanAhmad 0:769c5a7b3939 227 }
FaizanAhmad 0:769c5a7b3939 228 case Default_r1_Move_Up:
FaizanAhmad 0:769c5a7b3939 229 {
FaizanAhmad 0:769c5a7b3939 230 react_r1_Move_Up(handle);
FaizanAhmad 0:769c5a7b3939 231 break;
FaizanAhmad 0:769c5a7b3939 232 }
FaizanAhmad 0:769c5a7b3939 233 default:
FaizanAhmad 0:769c5a7b3939 234 break;
FaizanAhmad 0:769c5a7b3939 235 }
FaizanAhmad 0:769c5a7b3939 236 }
FaizanAhmad 0:769c5a7b3939 237
FaizanAhmad 0:769c5a7b3939 238 clearInEvents(handle);
FaizanAhmad 0:769c5a7b3939 239 }
FaizanAhmad 0:769c5a7b3939 240
FaizanAhmad 0:769c5a7b3939 241 void default_raiseTimeEvent(const Default* handle, sc_eventid evid)
FaizanAhmad 0:769c5a7b3939 242 {
FaizanAhmad 0:769c5a7b3939 243 if ( ((sc_intptr_t)evid) >= ((sc_intptr_t)&(handle->timeEvents))
FaizanAhmad 0:769c5a7b3939 244 && ((sc_intptr_t)evid) < ((sc_intptr_t)&(handle->timeEvents)) + sizeof(DefaultTimeEvents))
FaizanAhmad 0:769c5a7b3939 245 {
FaizanAhmad 0:769c5a7b3939 246 *(sc_boolean*)evid = bool_true;
FaizanAhmad 0:769c5a7b3939 247 }
FaizanAhmad 0:769c5a7b3939 248 }
FaizanAhmad 0:769c5a7b3939 249
FaizanAhmad 0:769c5a7b3939 250 sc_boolean default_isStateActive(const Default* handle, DefaultStates state)
FaizanAhmad 0:769c5a7b3939 251 {
FaizanAhmad 0:769c5a7b3939 252 sc_boolean result = bool_false;
FaizanAhmad 0:769c5a7b3939 253 switch (state)
FaizanAhmad 0:769c5a7b3939 254 {
FaizanAhmad 0:769c5a7b3939 255 case Default_main_region_Functions :
FaizanAhmad 0:769c5a7b3939 256 result = (sc_boolean) (handle->stateConfVector[SCVI_DEFAULT_MAIN_REGION_FUNCTIONS] == Default_main_region_Functions
FaizanAhmad 0:769c5a7b3939 257 );
FaizanAhmad 0:769c5a7b3939 258 break;
FaizanAhmad 0:769c5a7b3939 259 case Default_main_region_Menu :
FaizanAhmad 0:769c5a7b3939 260 result = (sc_boolean) (handle->stateConfVector[SCVI_DEFAULT_MAIN_REGION_MENU] == Default_main_region_Menu
FaizanAhmad 0:769c5a7b3939 261 );
FaizanAhmad 0:769c5a7b3939 262 break;
FaizanAhmad 0:769c5a7b3939 263 case Default_main_region_Ready :
FaizanAhmad 0:769c5a7b3939 264 result = (sc_boolean) (handle->stateConfVector[SCVI_DEFAULT_MAIN_REGION_READY] == Default_main_region_Ready
FaizanAhmad 0:769c5a7b3939 265 );
FaizanAhmad 0:769c5a7b3939 266 break;
FaizanAhmad 0:769c5a7b3939 267 case Default_main_region_Function_Selected :
FaizanAhmad 0:769c5a7b3939 268 result = (sc_boolean) (handle->stateConfVector[SCVI_DEFAULT_MAIN_REGION_FUNCTION_SELECTED] == Default_main_region_Function_Selected
FaizanAhmad 0:769c5a7b3939 269 );
FaizanAhmad 0:769c5a7b3939 270 break;
FaizanAhmad 0:769c5a7b3939 271 case Default_r1_Function_Ready :
FaizanAhmad 0:769c5a7b3939 272 result = (sc_boolean) (handle->stateConfVector[SCVI_DEFAULT_R1_FUNCTION_READY] == Default_r1_Function_Ready
FaizanAhmad 0:769c5a7b3939 273 );
FaizanAhmad 0:769c5a7b3939 274 break;
FaizanAhmad 0:769c5a7b3939 275 case Default_r1_Function_Active :
FaizanAhmad 0:769c5a7b3939 276 result = (sc_boolean) (handle->stateConfVector[SCVI_DEFAULT_R1_FUNCTION_ACTIVE] == Default_r1_Function_Active
FaizanAhmad 0:769c5a7b3939 277 );
FaizanAhmad 0:769c5a7b3939 278 break;
FaizanAhmad 0:769c5a7b3939 279 case Default_r1_Alarm :
FaizanAhmad 0:769c5a7b3939 280 result = (sc_boolean) (handle->stateConfVector[SCVI_DEFAULT_R1_ALARM] == Default_r1_Alarm
FaizanAhmad 0:769c5a7b3939 281 );
FaizanAhmad 0:769c5a7b3939 282 break;
FaizanAhmad 0:769c5a7b3939 283 case Default_r1_Move_Down :
FaizanAhmad 0:769c5a7b3939 284 result = (sc_boolean) (handle->stateConfVector[SCVI_DEFAULT_R1_MOVE_DOWN] == Default_r1_Move_Down
FaizanAhmad 0:769c5a7b3939 285 );
FaizanAhmad 0:769c5a7b3939 286 break;
FaizanAhmad 0:769c5a7b3939 287 case Default_r1_Move_Up :
FaizanAhmad 0:769c5a7b3939 288 result = (sc_boolean) (handle->stateConfVector[SCVI_DEFAULT_R1_MOVE_UP] == Default_r1_Move_Up
FaizanAhmad 0:769c5a7b3939 289 );
FaizanAhmad 0:769c5a7b3939 290 break;
FaizanAhmad 0:769c5a7b3939 291 default:
FaizanAhmad 0:769c5a7b3939 292 result = bool_false;
FaizanAhmad 0:769c5a7b3939 293 break;
FaizanAhmad 0:769c5a7b3939 294 }
FaizanAhmad 0:769c5a7b3939 295 return result;
FaizanAhmad 0:769c5a7b3939 296 }
FaizanAhmad 0:769c5a7b3939 297
FaizanAhmad 0:769c5a7b3939 298 void defaultIface_raise_mode(Default* handle)
FaizanAhmad 0:769c5a7b3939 299 {
FaizanAhmad 0:769c5a7b3939 300 handle->iface.mode_raised = bool_true;
FaizanAhmad 0:769c5a7b3939 301 }
FaizanAhmad 0:769c5a7b3939 302 void defaultIface_raise_down(Default* handle)
FaizanAhmad 0:769c5a7b3939 303 {
FaizanAhmad 0:769c5a7b3939 304 handle->iface.down_raised = bool_true;
FaizanAhmad 0:769c5a7b3939 305 }
FaizanAhmad 0:769c5a7b3939 306 void defaultIface_raise_up(Default* handle)
FaizanAhmad 0:769c5a7b3939 307 {
FaizanAhmad 0:769c5a7b3939 308 handle->iface.up_raised = bool_true;
FaizanAhmad 0:769c5a7b3939 309 }
FaizanAhmad 0:769c5a7b3939 310 void defaultIface_raise_back(Default* handle)
FaizanAhmad 0:769c5a7b3939 311 {
FaizanAhmad 0:769c5a7b3939 312 handle->iface.back_raised = bool_true;
FaizanAhmad 0:769c5a7b3939 313 }
FaizanAhmad 0:769c5a7b3939 314 void defaultIface_raise_home(Default* handle)
FaizanAhmad 0:769c5a7b3939 315 {
FaizanAhmad 0:769c5a7b3939 316 handle->iface.home_raised = bool_true;
FaizanAhmad 0:769c5a7b3939 317 }
FaizanAhmad 0:769c5a7b3939 318
FaizanAhmad 0:769c5a7b3939 319
FaizanAhmad 0:769c5a7b3939 320 sc_integer defaultIface_get_select1(const Default* handle)
FaizanAhmad 0:769c5a7b3939 321 {
FaizanAhmad 0:769c5a7b3939 322 return handle->iface.select1;
FaizanAhmad 0:769c5a7b3939 323 }
FaizanAhmad 0:769c5a7b3939 324 void defaultIface_set_select1(Default* handle, sc_integer value)
FaizanAhmad 0:769c5a7b3939 325 {
FaizanAhmad 0:769c5a7b3939 326 handle->iface.select1 = value;
FaizanAhmad 0:769c5a7b3939 327 }
FaizanAhmad 0:769c5a7b3939 328 sc_integer defaultIface_get_select2(const Default* handle)
FaizanAhmad 0:769c5a7b3939 329 {
FaizanAhmad 0:769c5a7b3939 330 return handle->iface.select2;
FaizanAhmad 0:769c5a7b3939 331 }
FaizanAhmad 0:769c5a7b3939 332 void defaultIface_set_select2(Default* handle, sc_integer value)
FaizanAhmad 0:769c5a7b3939 333 {
FaizanAhmad 0:769c5a7b3939 334 handle->iface.select2 = value;
FaizanAhmad 0:769c5a7b3939 335 }
FaizanAhmad 0:769c5a7b3939 336 void defaultIfaceFunc_raise_selected(Default* handle)
FaizanAhmad 0:769c5a7b3939 337 {
FaizanAhmad 0:769c5a7b3939 338 handle->ifaceFunc.Selected_raised = bool_true;
FaizanAhmad 0:769c5a7b3939 339 }
FaizanAhmad 0:769c5a7b3939 340 void defaultIfaceFunc_raise_deselect(Default* handle)
FaizanAhmad 0:769c5a7b3939 341 {
FaizanAhmad 0:769c5a7b3939 342 handle->ifaceFunc.Deselect_raised = bool_true;
FaizanAhmad 0:769c5a7b3939 343 }
FaizanAhmad 0:769c5a7b3939 344 void defaultIfaceFunc_raise_alarmset(Default* handle)
FaizanAhmad 0:769c5a7b3939 345 {
FaizanAhmad 0:769c5a7b3939 346 handle->ifaceFunc.Alarmset_raised = bool_true;
FaizanAhmad 0:769c5a7b3939 347 }
FaizanAhmad 0:769c5a7b3939 348 void defaultIfaceFunc_raise_moveDown(Default* handle)
FaizanAhmad 0:769c5a7b3939 349 {
FaizanAhmad 0:769c5a7b3939 350 handle->ifaceFunc.MoveDown_raised = bool_true;
FaizanAhmad 0:769c5a7b3939 351 }
FaizanAhmad 0:769c5a7b3939 352 void defaultIfaceFunc_raise_moveUp(Default* handle)
FaizanAhmad 0:769c5a7b3939 353 {
FaizanAhmad 0:769c5a7b3939 354 handle->ifaceFunc.MoveUp_raised = bool_true;
FaizanAhmad 0:769c5a7b3939 355 }
FaizanAhmad 0:769c5a7b3939 356
FaizanAhmad 0:769c5a7b3939 357
FaizanAhmad 0:769c5a7b3939 358 sc_integer defaultIfaceFunc_get_t(const Default* handle)
FaizanAhmad 0:769c5a7b3939 359 {
FaizanAhmad 0:769c5a7b3939 360 return handle->ifaceFunc.t;
FaizanAhmad 0:769c5a7b3939 361 }
FaizanAhmad 0:769c5a7b3939 362 void defaultIfaceFunc_set_t(Default* handle, sc_integer value)
FaizanAhmad 0:769c5a7b3939 363 {
FaizanAhmad 0:769c5a7b3939 364 handle->ifaceFunc.t = value;
FaizanAhmad 0:769c5a7b3939 365 }
FaizanAhmad 0:769c5a7b3939 366
FaizanAhmad 0:769c5a7b3939 367 /* implementations of all internal functions */
FaizanAhmad 0:769c5a7b3939 368
FaizanAhmad 0:769c5a7b3939 369 static sc_boolean check_main_region_Functions_tr0_tr0(const Default* handle)
FaizanAhmad 0:769c5a7b3939 370 {
FaizanAhmad 0:769c5a7b3939 371 return handle->iface.back_raised;
FaizanAhmad 0:769c5a7b3939 372 }
FaizanAhmad 0:769c5a7b3939 373
FaizanAhmad 0:769c5a7b3939 374 static sc_boolean check_main_region_Functions_tr1_tr1(const Default* handle)
FaizanAhmad 0:769c5a7b3939 375 {
FaizanAhmad 0:769c5a7b3939 376 return handle->iface.down_raised;
FaizanAhmad 0:769c5a7b3939 377 }
FaizanAhmad 0:769c5a7b3939 378
FaizanAhmad 0:769c5a7b3939 379 static sc_boolean check_main_region_Functions_tr2_tr2(const Default* handle)
FaizanAhmad 0:769c5a7b3939 380 {
FaizanAhmad 0:769c5a7b3939 381 return ((handle->iface.up_raised) && (handle->iface.select2 > 1)) ? bool_true : bool_false;
FaizanAhmad 0:769c5a7b3939 382 }
FaizanAhmad 0:769c5a7b3939 383
FaizanAhmad 0:769c5a7b3939 384 static sc_boolean check_main_region_Functions_tr3_tr3(const Default* handle)
FaizanAhmad 0:769c5a7b3939 385 {
FaizanAhmad 0:769c5a7b3939 386 return handle->iface.home_raised;
FaizanAhmad 0:769c5a7b3939 387 }
FaizanAhmad 0:769c5a7b3939 388
FaizanAhmad 0:769c5a7b3939 389 static sc_boolean check_main_region_Functions_tr4_tr4(const Default* handle)
FaizanAhmad 0:769c5a7b3939 390 {
FaizanAhmad 0:769c5a7b3939 391 return handle->iface.mode_raised;
FaizanAhmad 0:769c5a7b3939 392 }
FaizanAhmad 0:769c5a7b3939 393
FaizanAhmad 0:769c5a7b3939 394 static sc_boolean check_main_region_Menu_tr0_tr0(const Default* handle)
FaizanAhmad 0:769c5a7b3939 395 {
FaizanAhmad 0:769c5a7b3939 396 return handle->iface.down_raised;
FaizanAhmad 0:769c5a7b3939 397 }
FaizanAhmad 0:769c5a7b3939 398
FaizanAhmad 0:769c5a7b3939 399 static sc_boolean check_main_region_Menu_tr1_tr1(const Default* handle)
FaizanAhmad 0:769c5a7b3939 400 {
FaizanAhmad 0:769c5a7b3939 401 return ((handle->iface.up_raised) && (handle->iface.select1 > 1)) ? bool_true : bool_false;
FaizanAhmad 0:769c5a7b3939 402 }
FaizanAhmad 0:769c5a7b3939 403
FaizanAhmad 0:769c5a7b3939 404 static sc_boolean check_main_region_Menu_tr2_tr2(const Default* handle)
FaizanAhmad 0:769c5a7b3939 405 {
FaizanAhmad 0:769c5a7b3939 406 return handle->iface.back_raised;
FaizanAhmad 0:769c5a7b3939 407 }
FaizanAhmad 0:769c5a7b3939 408
FaizanAhmad 0:769c5a7b3939 409 static sc_boolean check_main_region_Menu_tr3_tr3(const Default* handle)
FaizanAhmad 0:769c5a7b3939 410 {
FaizanAhmad 0:769c5a7b3939 411 return handle->iface.mode_raised;
FaizanAhmad 0:769c5a7b3939 412 }
FaizanAhmad 0:769c5a7b3939 413
FaizanAhmad 0:769c5a7b3939 414 static sc_boolean check_main_region_Ready_tr0_tr0(const Default* handle)
FaizanAhmad 0:769c5a7b3939 415 {
FaizanAhmad 0:769c5a7b3939 416 return handle->iface.mode_raised;
FaizanAhmad 0:769c5a7b3939 417 }
FaizanAhmad 0:769c5a7b3939 418
FaizanAhmad 0:769c5a7b3939 419 static sc_boolean check_main_region_Function_Selected_tr0_tr0(const Default* handle)
FaizanAhmad 0:769c5a7b3939 420 {
FaizanAhmad 0:769c5a7b3939 421 return handle->iface.back_raised;
FaizanAhmad 0:769c5a7b3939 422 }
FaizanAhmad 0:769c5a7b3939 423
FaizanAhmad 0:769c5a7b3939 424 static sc_boolean check_main_region_Function_Selected_tr1_tr1(const Default* handle)
FaizanAhmad 0:769c5a7b3939 425 {
FaizanAhmad 0:769c5a7b3939 426 return handle->iface.home_raised;
FaizanAhmad 0:769c5a7b3939 427 }
FaizanAhmad 0:769c5a7b3939 428
FaizanAhmad 0:769c5a7b3939 429 static sc_boolean check_r1_Function_Ready_tr0_tr0(const Default* handle)
FaizanAhmad 0:769c5a7b3939 430 {
FaizanAhmad 0:769c5a7b3939 431 return handle->ifaceFunc.Selected_raised;
FaizanAhmad 0:769c5a7b3939 432 }
FaizanAhmad 0:769c5a7b3939 433
FaizanAhmad 0:769c5a7b3939 434 static sc_boolean check_r1_Function_Active_tr0_tr0(const Default* handle)
FaizanAhmad 0:769c5a7b3939 435 {
FaizanAhmad 0:769c5a7b3939 436 return handle->ifaceFunc.Deselect_raised;
FaizanAhmad 0:769c5a7b3939 437 }
FaizanAhmad 0:769c5a7b3939 438
FaizanAhmad 0:769c5a7b3939 439 static sc_boolean check_r1_Function_Active_tr1_tr1(const Default* handle)
FaizanAhmad 0:769c5a7b3939 440 {
FaizanAhmad 0:769c5a7b3939 441 return handle->ifaceFunc.Alarmset_raised;
FaizanAhmad 0:769c5a7b3939 442 }
FaizanAhmad 0:769c5a7b3939 443
FaizanAhmad 0:769c5a7b3939 444 static sc_boolean check_r1_Alarm_tr0_tr0(const Default* handle)
FaizanAhmad 0:769c5a7b3939 445 {
FaizanAhmad 0:769c5a7b3939 446 return handle->ifaceFunc.MoveDown_raised;
FaizanAhmad 0:769c5a7b3939 447 }
FaizanAhmad 0:769c5a7b3939 448
FaizanAhmad 0:769c5a7b3939 449 static sc_boolean check_r1_Alarm_tr1_tr1(const Default* handle)
FaizanAhmad 0:769c5a7b3939 450 {
FaizanAhmad 0:769c5a7b3939 451 return handle->ifaceFunc.MoveUp_raised;
FaizanAhmad 0:769c5a7b3939 452 }
FaizanAhmad 0:769c5a7b3939 453
FaizanAhmad 0:769c5a7b3939 454 static sc_boolean check_r1_Move_Down_tr0_tr0(const Default* handle)
FaizanAhmad 0:769c5a7b3939 455 {
FaizanAhmad 0:769c5a7b3939 456 return (handle->ifaceFunc.t == 0) ? bool_true : bool_false;
FaizanAhmad 0:769c5a7b3939 457 }
FaizanAhmad 0:769c5a7b3939 458
FaizanAhmad 0:769c5a7b3939 459 static sc_boolean check_r1_Move_Down_tr1_tr1(const Default* handle)
FaizanAhmad 0:769c5a7b3939 460 {
FaizanAhmad 0:769c5a7b3939 461 return ((handle->timeEvents.default_r1_Move_Down_tev0_raised) && (handle->ifaceFunc.t > 0)) ? bool_true : bool_false;
FaizanAhmad 0:769c5a7b3939 462 }
FaizanAhmad 0:769c5a7b3939 463
FaizanAhmad 0:769c5a7b3939 464 static sc_boolean check_r1_Move_Up_tr0_tr0(const Default* handle)
FaizanAhmad 0:769c5a7b3939 465 {
FaizanAhmad 0:769c5a7b3939 466 return (handle->ifaceFunc.t == 0) ? bool_true : bool_false;
FaizanAhmad 0:769c5a7b3939 467 }
FaizanAhmad 0:769c5a7b3939 468
FaizanAhmad 0:769c5a7b3939 469 static sc_boolean check_r1_Move_Up_tr1_tr1(const Default* handle)
FaizanAhmad 0:769c5a7b3939 470 {
FaizanAhmad 0:769c5a7b3939 471 return ((handle->timeEvents.default_r1_Move_Up_tev0_raised) && (handle->ifaceFunc.t > 0)) ? bool_true : bool_false;
FaizanAhmad 0:769c5a7b3939 472 }
FaizanAhmad 0:769c5a7b3939 473
FaizanAhmad 0:769c5a7b3939 474 static void effect_main_region_Functions_tr0(Default* handle)
FaizanAhmad 0:769c5a7b3939 475 {
FaizanAhmad 0:769c5a7b3939 476 exseq_main_region_Functions(handle);
FaizanAhmad 0:769c5a7b3939 477 enseq_main_region_Menu_default(handle);
FaizanAhmad 0:769c5a7b3939 478 }
FaizanAhmad 0:769c5a7b3939 479
FaizanAhmad 0:769c5a7b3939 480 static void effect_main_region_Functions_tr1(Default* handle)
FaizanAhmad 0:769c5a7b3939 481 {
FaizanAhmad 0:769c5a7b3939 482 exseq_main_region_Functions(handle);
FaizanAhmad 0:769c5a7b3939 483 handle->iface.select2 += 1;
FaizanAhmad 0:769c5a7b3939 484 enseq_main_region_Functions_default(handle);
FaizanAhmad 0:769c5a7b3939 485 }
FaizanAhmad 0:769c5a7b3939 486
FaizanAhmad 0:769c5a7b3939 487 static void effect_main_region_Functions_tr2(Default* handle)
FaizanAhmad 0:769c5a7b3939 488 {
FaizanAhmad 0:769c5a7b3939 489 exseq_main_region_Functions(handle);
FaizanAhmad 0:769c5a7b3939 490 handle->iface.select2 -= 1;
FaizanAhmad 0:769c5a7b3939 491 enseq_main_region_Functions_default(handle);
FaizanAhmad 0:769c5a7b3939 492 }
FaizanAhmad 0:769c5a7b3939 493
FaizanAhmad 0:769c5a7b3939 494 static void effect_main_region_Functions_tr3(Default* handle)
FaizanAhmad 0:769c5a7b3939 495 {
FaizanAhmad 0:769c5a7b3939 496 exseq_main_region_Functions(handle);
FaizanAhmad 0:769c5a7b3939 497 enseq_main_region_Ready_default(handle);
FaizanAhmad 0:769c5a7b3939 498 }
FaizanAhmad 0:769c5a7b3939 499
FaizanAhmad 0:769c5a7b3939 500 static void effect_main_region_Functions_tr4(Default* handle)
FaizanAhmad 0:769c5a7b3939 501 {
FaizanAhmad 0:769c5a7b3939 502 exseq_main_region_Functions(handle);
FaizanAhmad 0:769c5a7b3939 503 defaultIface_function(handle, handle->iface.select2);
FaizanAhmad 0:769c5a7b3939 504 enseq_main_region_Function_Selected_default(handle);
FaizanAhmad 0:769c5a7b3939 505 }
FaizanAhmad 0:769c5a7b3939 506
FaizanAhmad 0:769c5a7b3939 507 static void effect_main_region_Menu_tr0(Default* handle)
FaizanAhmad 0:769c5a7b3939 508 {
FaizanAhmad 0:769c5a7b3939 509 exseq_main_region_Menu(handle);
FaizanAhmad 0:769c5a7b3939 510 handle->iface.select1 += 1;
FaizanAhmad 0:769c5a7b3939 511 enseq_main_region_Menu_default(handle);
FaizanAhmad 0:769c5a7b3939 512 }
FaizanAhmad 0:769c5a7b3939 513
FaizanAhmad 0:769c5a7b3939 514 static void effect_main_region_Menu_tr1(Default* handle)
FaizanAhmad 0:769c5a7b3939 515 {
FaizanAhmad 0:769c5a7b3939 516 exseq_main_region_Menu(handle);
FaizanAhmad 0:769c5a7b3939 517 handle->iface.select1 -= 1;
FaizanAhmad 0:769c5a7b3939 518 enseq_main_region_Menu_default(handle);
FaizanAhmad 0:769c5a7b3939 519 }
FaizanAhmad 0:769c5a7b3939 520
FaizanAhmad 0:769c5a7b3939 521 static void effect_main_region_Menu_tr2(Default* handle)
FaizanAhmad 0:769c5a7b3939 522 {
FaizanAhmad 0:769c5a7b3939 523 exseq_main_region_Menu(handle);
FaizanAhmad 0:769c5a7b3939 524 enseq_main_region_Ready_default(handle);
FaizanAhmad 0:769c5a7b3939 525 }
FaizanAhmad 0:769c5a7b3939 526
FaizanAhmad 0:769c5a7b3939 527 static void effect_main_region_Menu_tr3(Default* handle)
FaizanAhmad 0:769c5a7b3939 528 {
FaizanAhmad 0:769c5a7b3939 529 exseq_main_region_Menu(handle);
FaizanAhmad 0:769c5a7b3939 530 defaultIface_menu(handle, handle->iface.select1);
FaizanAhmad 0:769c5a7b3939 531 handle->iface.select2 = 1;
FaizanAhmad 0:769c5a7b3939 532 enseq_main_region_Functions_default(handle);
FaizanAhmad 0:769c5a7b3939 533 }
FaizanAhmad 0:769c5a7b3939 534
FaizanAhmad 0:769c5a7b3939 535 static void effect_main_region_Ready_tr0(Default* handle)
FaizanAhmad 0:769c5a7b3939 536 {
FaizanAhmad 0:769c5a7b3939 537 exseq_main_region_Ready(handle);
FaizanAhmad 0:769c5a7b3939 538 handle->iface.select1 = 1;
FaizanAhmad 0:769c5a7b3939 539 enseq_main_region_Menu_default(handle);
FaizanAhmad 0:769c5a7b3939 540 }
FaizanAhmad 0:769c5a7b3939 541
FaizanAhmad 0:769c5a7b3939 542 static void effect_main_region_Function_Selected_tr0(Default* handle)
FaizanAhmad 0:769c5a7b3939 543 {
FaizanAhmad 0:769c5a7b3939 544 exseq_main_region_Function_Selected(handle);
FaizanAhmad 0:769c5a7b3939 545 enseq_main_region_Functions_default(handle);
FaizanAhmad 0:769c5a7b3939 546 }
FaizanAhmad 0:769c5a7b3939 547
FaizanAhmad 0:769c5a7b3939 548 static void effect_main_region_Function_Selected_tr1(Default* handle)
FaizanAhmad 0:769c5a7b3939 549 {
FaizanAhmad 0:769c5a7b3939 550 exseq_main_region_Function_Selected(handle);
FaizanAhmad 0:769c5a7b3939 551 enseq_main_region_Ready_default(handle);
FaizanAhmad 0:769c5a7b3939 552 }
FaizanAhmad 0:769c5a7b3939 553
FaizanAhmad 0:769c5a7b3939 554 static void effect_r1_Function_Ready_tr0(Default* handle)
FaizanAhmad 0:769c5a7b3939 555 {
FaizanAhmad 0:769c5a7b3939 556 exseq_r1_Function_Ready(handle);
FaizanAhmad 0:769c5a7b3939 557 enseq_r1_Function_Active_default(handle);
FaizanAhmad 0:769c5a7b3939 558 }
FaizanAhmad 0:769c5a7b3939 559
FaizanAhmad 0:769c5a7b3939 560 static void effect_r1_Function_Active_tr0(Default* handle)
FaizanAhmad 0:769c5a7b3939 561 {
FaizanAhmad 0:769c5a7b3939 562 exseq_r1_Function_Active(handle);
FaizanAhmad 0:769c5a7b3939 563 enseq_r1_Function_Ready_default(handle);
FaizanAhmad 0:769c5a7b3939 564 }
FaizanAhmad 0:769c5a7b3939 565
FaizanAhmad 0:769c5a7b3939 566 static void effect_r1_Function_Active_tr1(Default* handle)
FaizanAhmad 0:769c5a7b3939 567 {
FaizanAhmad 0:769c5a7b3939 568 exseq_r1_Function_Active(handle);
FaizanAhmad 0:769c5a7b3939 569 enseq_r1_Alarm_default(handle);
FaizanAhmad 0:769c5a7b3939 570 }
FaizanAhmad 0:769c5a7b3939 571
FaizanAhmad 0:769c5a7b3939 572 static void effect_r1_Alarm_tr0(Default* handle)
FaizanAhmad 0:769c5a7b3939 573 {
FaizanAhmad 0:769c5a7b3939 574 exseq_r1_Alarm(handle);
FaizanAhmad 0:769c5a7b3939 575 enseq_r1_Move_Down_default(handle);
FaizanAhmad 0:769c5a7b3939 576 }
FaizanAhmad 0:769c5a7b3939 577
FaizanAhmad 0:769c5a7b3939 578 static void effect_r1_Alarm_tr1(Default* handle)
FaizanAhmad 0:769c5a7b3939 579 {
FaizanAhmad 0:769c5a7b3939 580 exseq_r1_Alarm(handle);
FaizanAhmad 0:769c5a7b3939 581 enseq_r1_Move_Up_default(handle);
FaizanAhmad 0:769c5a7b3939 582 }
FaizanAhmad 0:769c5a7b3939 583
FaizanAhmad 0:769c5a7b3939 584 static void effect_r1_Move_Down_tr0(Default* handle)
FaizanAhmad 0:769c5a7b3939 585 {
FaizanAhmad 0:769c5a7b3939 586 exseq_r1_Move_Down(handle);
FaizanAhmad 0:769c5a7b3939 587 defaultIfaceFunc_return(handle);
FaizanAhmad 0:769c5a7b3939 588 enseq_r1_Function_Active_default(handle);
FaizanAhmad 0:769c5a7b3939 589 }
FaizanAhmad 0:769c5a7b3939 590
FaizanAhmad 0:769c5a7b3939 591 static void effect_r1_Move_Down_tr1(Default* handle)
FaizanAhmad 0:769c5a7b3939 592 {
FaizanAhmad 0:769c5a7b3939 593 exseq_r1_Move_Down(handle);
FaizanAhmad 0:769c5a7b3939 594 defaultIfaceFunc_moveDownAct(handle);
FaizanAhmad 0:769c5a7b3939 595 handle->ifaceFunc.t -= 1;
FaizanAhmad 0:769c5a7b3939 596 enseq_r1_Move_Down_default(handle);
FaizanAhmad 0:769c5a7b3939 597 }
FaizanAhmad 0:769c5a7b3939 598
FaizanAhmad 0:769c5a7b3939 599 static void effect_r1_Move_Up_tr0(Default* handle)
FaizanAhmad 0:769c5a7b3939 600 {
FaizanAhmad 0:769c5a7b3939 601 exseq_r1_Move_Up(handle);
FaizanAhmad 0:769c5a7b3939 602 defaultIfaceFunc_return(handle);
FaizanAhmad 0:769c5a7b3939 603 enseq_r1_Function_Active_default(handle);
FaizanAhmad 0:769c5a7b3939 604 }
FaizanAhmad 0:769c5a7b3939 605
FaizanAhmad 0:769c5a7b3939 606 static void effect_r1_Move_Up_tr1(Default* handle)
FaizanAhmad 0:769c5a7b3939 607 {
FaizanAhmad 0:769c5a7b3939 608 exseq_r1_Move_Up(handle);
FaizanAhmad 0:769c5a7b3939 609 defaultIfaceFunc_moveUpAct(handle);
FaizanAhmad 0:769c5a7b3939 610 handle->ifaceFunc.t -= 1;
FaizanAhmad 0:769c5a7b3939 611 enseq_r1_Move_Up_default(handle);
FaizanAhmad 0:769c5a7b3939 612 }
FaizanAhmad 0:769c5a7b3939 613
FaizanAhmad 0:769c5a7b3939 614 /* Entry action for state 'Functions'. */
FaizanAhmad 0:769c5a7b3939 615 static void enact_main_region_Functions(Default* handle)
FaizanAhmad 0:769c5a7b3939 616 {
FaizanAhmad 0:769c5a7b3939 617 /* Entry action for state 'Functions'. */
FaizanAhmad 0:769c5a7b3939 618 defaultIface_function(handle, handle->iface.select2);
FaizanAhmad 0:769c5a7b3939 619 }
FaizanAhmad 0:769c5a7b3939 620
FaizanAhmad 0:769c5a7b3939 621 /* Entry action for state 'Menu'. */
FaizanAhmad 0:769c5a7b3939 622 static void enact_main_region_Menu(Default* handle)
FaizanAhmad 0:769c5a7b3939 623 {
FaizanAhmad 0:769c5a7b3939 624 /* Entry action for state 'Menu'. */
FaizanAhmad 0:769c5a7b3939 625 defaultIface_menu(handle, handle->iface.select1);
FaizanAhmad 0:769c5a7b3939 626 }
FaizanAhmad 0:769c5a7b3939 627
FaizanAhmad 0:769c5a7b3939 628 /* Entry action for state 'Ready'. */
FaizanAhmad 0:769c5a7b3939 629 static void enact_main_region_Ready(Default* handle)
FaizanAhmad 0:769c5a7b3939 630 {
FaizanAhmad 0:769c5a7b3939 631 /* Entry action for state 'Ready'. */
FaizanAhmad 0:769c5a7b3939 632 handle->iface.select1 = 0;
FaizanAhmad 0:769c5a7b3939 633 handle->iface.select2 = 0;
FaizanAhmad 0:769c5a7b3939 634 }
FaizanAhmad 0:769c5a7b3939 635
FaizanAhmad 0:769c5a7b3939 636 /* Entry action for state 'Function Selected'. */
FaizanAhmad 0:769c5a7b3939 637 static void enact_main_region_Function_Selected(Default* handle)
FaizanAhmad 0:769c5a7b3939 638 {
FaizanAhmad 0:769c5a7b3939 639 /* Entry action for state 'Function Selected'. */
FaizanAhmad 0:769c5a7b3939 640 defaultIface_execute(handle);
FaizanAhmad 0:769c5a7b3939 641 }
FaizanAhmad 0:769c5a7b3939 642
FaizanAhmad 0:769c5a7b3939 643 /* Entry action for state 'Function Ready'. */
FaizanAhmad 0:769c5a7b3939 644 static void enact_r1_Function_Ready(Default* handle)
FaizanAhmad 0:769c5a7b3939 645 {
FaizanAhmad 0:769c5a7b3939 646 /* Entry action for state 'Function Ready'. */
FaizanAhmad 0:769c5a7b3939 647 defaultIfaceFunc_ready(handle);
FaizanAhmad 0:769c5a7b3939 648 }
FaizanAhmad 0:769c5a7b3939 649
FaizanAhmad 0:769c5a7b3939 650 /* Entry action for state 'Function Active'. */
FaizanAhmad 0:769c5a7b3939 651 static void enact_r1_Function_Active(Default* handle)
FaizanAhmad 0:769c5a7b3939 652 {
FaizanAhmad 0:769c5a7b3939 653 /* Entry action for state 'Function Active'. */
FaizanAhmad 0:769c5a7b3939 654 defaultIfaceFunc_active(handle);
FaizanAhmad 0:769c5a7b3939 655 }
FaizanAhmad 0:769c5a7b3939 656
FaizanAhmad 0:769c5a7b3939 657 /* Entry action for state 'Alarm'. */
FaizanAhmad 0:769c5a7b3939 658 static void enact_r1_Alarm(Default* handle)
FaizanAhmad 0:769c5a7b3939 659 {
FaizanAhmad 0:769c5a7b3939 660 /* Entry action for state 'Alarm'. */
FaizanAhmad 0:769c5a7b3939 661 handle->ifaceFunc.t = 15;
FaizanAhmad 0:769c5a7b3939 662 }
FaizanAhmad 0:769c5a7b3939 663
FaizanAhmad 0:769c5a7b3939 664 /* Entry action for state 'Move Down'. */
FaizanAhmad 0:769c5a7b3939 665 static void enact_r1_Move_Down(Default* handle)
FaizanAhmad 0:769c5a7b3939 666 {
FaizanAhmad 0:769c5a7b3939 667 /* Entry action for state 'Move Down'. */
FaizanAhmad 0:769c5a7b3939 668 default_setTimer(handle, (sc_eventid) &(handle->timeEvents.default_r1_Move_Down_tev0_raised) , 1 * 1000, bool_true);
FaizanAhmad 0:769c5a7b3939 669 defaultIfaceFunc_moveDownAct(handle);
FaizanAhmad 0:769c5a7b3939 670 }
FaizanAhmad 0:769c5a7b3939 671
FaizanAhmad 0:769c5a7b3939 672 /* Entry action for state 'Move Up'. */
FaizanAhmad 0:769c5a7b3939 673 static void enact_r1_Move_Up(Default* handle)
FaizanAhmad 0:769c5a7b3939 674 {
FaizanAhmad 0:769c5a7b3939 675 /* Entry action for state 'Move Up'. */
FaizanAhmad 0:769c5a7b3939 676 default_setTimer(handle, (sc_eventid) &(handle->timeEvents.default_r1_Move_Up_tev0_raised) , 1 * 1000, bool_true);
FaizanAhmad 0:769c5a7b3939 677 defaultIfaceFunc_moveUpAct(handle);
FaizanAhmad 0:769c5a7b3939 678 }
FaizanAhmad 0:769c5a7b3939 679
FaizanAhmad 0:769c5a7b3939 680 /* Exit action for state 'Move Down'. */
FaizanAhmad 0:769c5a7b3939 681 static void exact_r1_Move_Down(Default* handle)
FaizanAhmad 0:769c5a7b3939 682 {
FaizanAhmad 0:769c5a7b3939 683 /* Exit action for state 'Move Down'. */
FaizanAhmad 0:769c5a7b3939 684 default_unsetTimer(handle, (sc_eventid) &(handle->timeEvents.default_r1_Move_Down_tev0_raised) );
FaizanAhmad 0:769c5a7b3939 685 }
FaizanAhmad 0:769c5a7b3939 686
FaizanAhmad 0:769c5a7b3939 687 /* Exit action for state 'Move Up'. */
FaizanAhmad 0:769c5a7b3939 688 static void exact_r1_Move_Up(Default* handle)
FaizanAhmad 0:769c5a7b3939 689 {
FaizanAhmad 0:769c5a7b3939 690 /* Exit action for state 'Move Up'. */
FaizanAhmad 0:769c5a7b3939 691 default_unsetTimer(handle, (sc_eventid) &(handle->timeEvents.default_r1_Move_Up_tev0_raised) );
FaizanAhmad 0:769c5a7b3939 692 }
FaizanAhmad 0:769c5a7b3939 693
FaizanAhmad 0:769c5a7b3939 694 /* 'default' enter sequence for state Functions */
FaizanAhmad 0:769c5a7b3939 695 static void enseq_main_region_Functions_default(Default* handle)
FaizanAhmad 0:769c5a7b3939 696 {
FaizanAhmad 0:769c5a7b3939 697 /* 'default' enter sequence for state Functions */
FaizanAhmad 0:769c5a7b3939 698 enact_main_region_Functions(handle);
FaizanAhmad 0:769c5a7b3939 699 handle->stateConfVector[0] = Default_main_region_Functions;
FaizanAhmad 0:769c5a7b3939 700 handle->stateConfVectorPosition = 0;
FaizanAhmad 0:769c5a7b3939 701 }
FaizanAhmad 0:769c5a7b3939 702
FaizanAhmad 0:769c5a7b3939 703 /* 'default' enter sequence for state Menu */
FaizanAhmad 0:769c5a7b3939 704 static void enseq_main_region_Menu_default(Default* handle)
FaizanAhmad 0:769c5a7b3939 705 {
FaizanAhmad 0:769c5a7b3939 706 /* 'default' enter sequence for state Menu */
FaizanAhmad 0:769c5a7b3939 707 enact_main_region_Menu(handle);
FaizanAhmad 0:769c5a7b3939 708 handle->stateConfVector[0] = Default_main_region_Menu;
FaizanAhmad 0:769c5a7b3939 709 handle->stateConfVectorPosition = 0;
FaizanAhmad 0:769c5a7b3939 710 }
FaizanAhmad 0:769c5a7b3939 711
FaizanAhmad 0:769c5a7b3939 712 /* 'default' enter sequence for state Ready */
FaizanAhmad 0:769c5a7b3939 713 static void enseq_main_region_Ready_default(Default* handle)
FaizanAhmad 0:769c5a7b3939 714 {
FaizanAhmad 0:769c5a7b3939 715 /* 'default' enter sequence for state Ready */
FaizanAhmad 0:769c5a7b3939 716 enact_main_region_Ready(handle);
FaizanAhmad 0:769c5a7b3939 717 handle->stateConfVector[0] = Default_main_region_Ready;
FaizanAhmad 0:769c5a7b3939 718 handle->stateConfVectorPosition = 0;
FaizanAhmad 0:769c5a7b3939 719 }
FaizanAhmad 0:769c5a7b3939 720
FaizanAhmad 0:769c5a7b3939 721 /* 'default' enter sequence for state Function Selected */
FaizanAhmad 0:769c5a7b3939 722 static void enseq_main_region_Function_Selected_default(Default* handle)
FaizanAhmad 0:769c5a7b3939 723 {
FaizanAhmad 0:769c5a7b3939 724 /* 'default' enter sequence for state Function Selected */
FaizanAhmad 0:769c5a7b3939 725 enact_main_region_Function_Selected(handle);
FaizanAhmad 0:769c5a7b3939 726 handle->stateConfVector[0] = Default_main_region_Function_Selected;
FaizanAhmad 0:769c5a7b3939 727 handle->stateConfVectorPosition = 0;
FaizanAhmad 0:769c5a7b3939 728 }
FaizanAhmad 0:769c5a7b3939 729
FaizanAhmad 0:769c5a7b3939 730 /* 'default' enter sequence for state Function Ready */
FaizanAhmad 0:769c5a7b3939 731 static void enseq_r1_Function_Ready_default(Default* handle)
FaizanAhmad 0:769c5a7b3939 732 {
FaizanAhmad 0:769c5a7b3939 733 /* 'default' enter sequence for state Function Ready */
FaizanAhmad 0:769c5a7b3939 734 enact_r1_Function_Ready(handle);
FaizanAhmad 0:769c5a7b3939 735 handle->stateConfVector[1] = Default_r1_Function_Ready;
FaizanAhmad 0:769c5a7b3939 736 handle->stateConfVectorPosition = 1;
FaizanAhmad 0:769c5a7b3939 737 }
FaizanAhmad 0:769c5a7b3939 738
FaizanAhmad 0:769c5a7b3939 739 /* 'default' enter sequence for state Function Active */
FaizanAhmad 0:769c5a7b3939 740 static void enseq_r1_Function_Active_default(Default* handle)
FaizanAhmad 0:769c5a7b3939 741 {
FaizanAhmad 0:769c5a7b3939 742 /* 'default' enter sequence for state Function Active */
FaizanAhmad 0:769c5a7b3939 743 enact_r1_Function_Active(handle);
FaizanAhmad 0:769c5a7b3939 744 handle->stateConfVector[1] = Default_r1_Function_Active;
FaizanAhmad 0:769c5a7b3939 745 handle->stateConfVectorPosition = 1;
FaizanAhmad 0:769c5a7b3939 746 }
FaizanAhmad 0:769c5a7b3939 747
FaizanAhmad 0:769c5a7b3939 748 /* 'default' enter sequence for state Alarm */
FaizanAhmad 0:769c5a7b3939 749 static void enseq_r1_Alarm_default(Default* handle)
FaizanAhmad 0:769c5a7b3939 750 {
FaizanAhmad 0:769c5a7b3939 751 /* 'default' enter sequence for state Alarm */
FaizanAhmad 0:769c5a7b3939 752 enact_r1_Alarm(handle);
FaizanAhmad 0:769c5a7b3939 753 handle->stateConfVector[1] = Default_r1_Alarm;
FaizanAhmad 0:769c5a7b3939 754 handle->stateConfVectorPosition = 1;
FaizanAhmad 0:769c5a7b3939 755 }
FaizanAhmad 0:769c5a7b3939 756
FaizanAhmad 0:769c5a7b3939 757 /* 'default' enter sequence for state Move Down */
FaizanAhmad 0:769c5a7b3939 758 static void enseq_r1_Move_Down_default(Default* handle)
FaizanAhmad 0:769c5a7b3939 759 {
FaizanAhmad 0:769c5a7b3939 760 /* 'default' enter sequence for state Move Down */
FaizanAhmad 0:769c5a7b3939 761 enact_r1_Move_Down(handle);
FaizanAhmad 0:769c5a7b3939 762 handle->stateConfVector[1] = Default_r1_Move_Down;
FaizanAhmad 0:769c5a7b3939 763 handle->stateConfVectorPosition = 1;
FaizanAhmad 0:769c5a7b3939 764 }
FaizanAhmad 0:769c5a7b3939 765
FaizanAhmad 0:769c5a7b3939 766 /* 'default' enter sequence for state Move Up */
FaizanAhmad 0:769c5a7b3939 767 static void enseq_r1_Move_Up_default(Default* handle)
FaizanAhmad 0:769c5a7b3939 768 {
FaizanAhmad 0:769c5a7b3939 769 /* 'default' enter sequence for state Move Up */
FaizanAhmad 0:769c5a7b3939 770 enact_r1_Move_Up(handle);
FaizanAhmad 0:769c5a7b3939 771 handle->stateConfVector[1] = Default_r1_Move_Up;
FaizanAhmad 0:769c5a7b3939 772 handle->stateConfVectorPosition = 1;
FaizanAhmad 0:769c5a7b3939 773 }
FaizanAhmad 0:769c5a7b3939 774
FaizanAhmad 0:769c5a7b3939 775 /* 'default' enter sequence for region main region */
FaizanAhmad 0:769c5a7b3939 776 static void enseq_main_region_default(Default* handle)
FaizanAhmad 0:769c5a7b3939 777 {
FaizanAhmad 0:769c5a7b3939 778 /* 'default' enter sequence for region main region */
FaizanAhmad 0:769c5a7b3939 779 react_main_region__entry_Default(handle);
FaizanAhmad 0:769c5a7b3939 780 }
FaizanAhmad 0:769c5a7b3939 781
FaizanAhmad 0:769c5a7b3939 782 /* 'default' enter sequence for region r1 */
FaizanAhmad 0:769c5a7b3939 783 static void enseq_r1_default(Default* handle)
FaizanAhmad 0:769c5a7b3939 784 {
FaizanAhmad 0:769c5a7b3939 785 /* 'default' enter sequence for region r1 */
FaizanAhmad 0:769c5a7b3939 786 react_r1__entry_Default(handle);
FaizanAhmad 0:769c5a7b3939 787 }
FaizanAhmad 0:769c5a7b3939 788
FaizanAhmad 0:769c5a7b3939 789 /* Default exit sequence for state Functions */
FaizanAhmad 0:769c5a7b3939 790 static void exseq_main_region_Functions(Default* handle)
FaizanAhmad 0:769c5a7b3939 791 {
FaizanAhmad 0:769c5a7b3939 792 /* Default exit sequence for state Functions */
FaizanAhmad 0:769c5a7b3939 793 handle->stateConfVector[0] = Default_last_state;
FaizanAhmad 0:769c5a7b3939 794 handle->stateConfVectorPosition = 0;
FaizanAhmad 0:769c5a7b3939 795 }
FaizanAhmad 0:769c5a7b3939 796
FaizanAhmad 0:769c5a7b3939 797 /* Default exit sequence for state Menu */
FaizanAhmad 0:769c5a7b3939 798 static void exseq_main_region_Menu(Default* handle)
FaizanAhmad 0:769c5a7b3939 799 {
FaizanAhmad 0:769c5a7b3939 800 /* Default exit sequence for state Menu */
FaizanAhmad 0:769c5a7b3939 801 handle->stateConfVector[0] = Default_last_state;
FaizanAhmad 0:769c5a7b3939 802 handle->stateConfVectorPosition = 0;
FaizanAhmad 0:769c5a7b3939 803 }
FaizanAhmad 0:769c5a7b3939 804
FaizanAhmad 0:769c5a7b3939 805 /* Default exit sequence for state Ready */
FaizanAhmad 0:769c5a7b3939 806 static void exseq_main_region_Ready(Default* handle)
FaizanAhmad 0:769c5a7b3939 807 {
FaizanAhmad 0:769c5a7b3939 808 /* Default exit sequence for state Ready */
FaizanAhmad 0:769c5a7b3939 809 handle->stateConfVector[0] = Default_last_state;
FaizanAhmad 0:769c5a7b3939 810 handle->stateConfVectorPosition = 0;
FaizanAhmad 0:769c5a7b3939 811 }
FaizanAhmad 0:769c5a7b3939 812
FaizanAhmad 0:769c5a7b3939 813 /* Default exit sequence for state Function Selected */
FaizanAhmad 0:769c5a7b3939 814 static void exseq_main_region_Function_Selected(Default* handle)
FaizanAhmad 0:769c5a7b3939 815 {
FaizanAhmad 0:769c5a7b3939 816 /* Default exit sequence for state Function Selected */
FaizanAhmad 0:769c5a7b3939 817 handle->stateConfVector[0] = Default_last_state;
FaizanAhmad 0:769c5a7b3939 818 handle->stateConfVectorPosition = 0;
FaizanAhmad 0:769c5a7b3939 819 }
FaizanAhmad 0:769c5a7b3939 820
FaizanAhmad 0:769c5a7b3939 821 /* Default exit sequence for state Function Ready */
FaizanAhmad 0:769c5a7b3939 822 static void exseq_r1_Function_Ready(Default* handle)
FaizanAhmad 0:769c5a7b3939 823 {
FaizanAhmad 0:769c5a7b3939 824 /* Default exit sequence for state Function Ready */
FaizanAhmad 0:769c5a7b3939 825 handle->stateConfVector[1] = Default_last_state;
FaizanAhmad 0:769c5a7b3939 826 handle->stateConfVectorPosition = 1;
FaizanAhmad 0:769c5a7b3939 827 }
FaizanAhmad 0:769c5a7b3939 828
FaizanAhmad 0:769c5a7b3939 829 /* Default exit sequence for state Function Active */
FaizanAhmad 0:769c5a7b3939 830 static void exseq_r1_Function_Active(Default* handle)
FaizanAhmad 0:769c5a7b3939 831 {
FaizanAhmad 0:769c5a7b3939 832 /* Default exit sequence for state Function Active */
FaizanAhmad 0:769c5a7b3939 833 handle->stateConfVector[1] = Default_last_state;
FaizanAhmad 0:769c5a7b3939 834 handle->stateConfVectorPosition = 1;
FaizanAhmad 0:769c5a7b3939 835 }
FaizanAhmad 0:769c5a7b3939 836
FaizanAhmad 0:769c5a7b3939 837 /* Default exit sequence for state Alarm */
FaizanAhmad 0:769c5a7b3939 838 static void exseq_r1_Alarm(Default* handle)
FaizanAhmad 0:769c5a7b3939 839 {
FaizanAhmad 0:769c5a7b3939 840 /* Default exit sequence for state Alarm */
FaizanAhmad 0:769c5a7b3939 841 handle->stateConfVector[1] = Default_last_state;
FaizanAhmad 0:769c5a7b3939 842 handle->stateConfVectorPosition = 1;
FaizanAhmad 0:769c5a7b3939 843 }
FaizanAhmad 0:769c5a7b3939 844
FaizanAhmad 0:769c5a7b3939 845 /* Default exit sequence for state Move Down */
FaizanAhmad 0:769c5a7b3939 846 static void exseq_r1_Move_Down(Default* handle)
FaizanAhmad 0:769c5a7b3939 847 {
FaizanAhmad 0:769c5a7b3939 848 /* Default exit sequence for state Move Down */
FaizanAhmad 0:769c5a7b3939 849 handle->stateConfVector[1] = Default_last_state;
FaizanAhmad 0:769c5a7b3939 850 handle->stateConfVectorPosition = 1;
FaizanAhmad 0:769c5a7b3939 851 exact_r1_Move_Down(handle);
FaizanAhmad 0:769c5a7b3939 852 }
FaizanAhmad 0:769c5a7b3939 853
FaizanAhmad 0:769c5a7b3939 854 /* Default exit sequence for state Move Up */
FaizanAhmad 0:769c5a7b3939 855 static void exseq_r1_Move_Up(Default* handle)
FaizanAhmad 0:769c5a7b3939 856 {
FaizanAhmad 0:769c5a7b3939 857 /* Default exit sequence for state Move Up */
FaizanAhmad 0:769c5a7b3939 858 handle->stateConfVector[1] = Default_last_state;
FaizanAhmad 0:769c5a7b3939 859 handle->stateConfVectorPosition = 1;
FaizanAhmad 0:769c5a7b3939 860 exact_r1_Move_Up(handle);
FaizanAhmad 0:769c5a7b3939 861 }
FaizanAhmad 0:769c5a7b3939 862
FaizanAhmad 0:769c5a7b3939 863 /* Default exit sequence for region main region */
FaizanAhmad 0:769c5a7b3939 864 static void exseq_main_region(Default* handle)
FaizanAhmad 0:769c5a7b3939 865 {
FaizanAhmad 0:769c5a7b3939 866 /* Default exit sequence for region main region */
FaizanAhmad 0:769c5a7b3939 867 /* Handle exit of all possible states (of default.main_region) at position 0... */
FaizanAhmad 0:769c5a7b3939 868 switch(handle->stateConfVector[ 0 ])
FaizanAhmad 0:769c5a7b3939 869 {
FaizanAhmad 0:769c5a7b3939 870 case Default_main_region_Functions :
FaizanAhmad 0:769c5a7b3939 871 {
FaizanAhmad 0:769c5a7b3939 872 exseq_main_region_Functions(handle);
FaizanAhmad 0:769c5a7b3939 873 break;
FaizanAhmad 0:769c5a7b3939 874 }
FaizanAhmad 0:769c5a7b3939 875 case Default_main_region_Menu :
FaizanAhmad 0:769c5a7b3939 876 {
FaizanAhmad 0:769c5a7b3939 877 exseq_main_region_Menu(handle);
FaizanAhmad 0:769c5a7b3939 878 break;
FaizanAhmad 0:769c5a7b3939 879 }
FaizanAhmad 0:769c5a7b3939 880 case Default_main_region_Ready :
FaizanAhmad 0:769c5a7b3939 881 {
FaizanAhmad 0:769c5a7b3939 882 exseq_main_region_Ready(handle);
FaizanAhmad 0:769c5a7b3939 883 break;
FaizanAhmad 0:769c5a7b3939 884 }
FaizanAhmad 0:769c5a7b3939 885 case Default_main_region_Function_Selected :
FaizanAhmad 0:769c5a7b3939 886 {
FaizanAhmad 0:769c5a7b3939 887 exseq_main_region_Function_Selected(handle);
FaizanAhmad 0:769c5a7b3939 888 break;
FaizanAhmad 0:769c5a7b3939 889 }
FaizanAhmad 0:769c5a7b3939 890 default: break;
FaizanAhmad 0:769c5a7b3939 891 }
FaizanAhmad 0:769c5a7b3939 892 }
FaizanAhmad 0:769c5a7b3939 893
FaizanAhmad 0:769c5a7b3939 894 /* Default exit sequence for region r1 */
FaizanAhmad 0:769c5a7b3939 895 static void exseq_r1(Default* handle)
FaizanAhmad 0:769c5a7b3939 896 {
FaizanAhmad 0:769c5a7b3939 897 /* Default exit sequence for region r1 */
FaizanAhmad 0:769c5a7b3939 898 /* Handle exit of all possible states (of default.r1) at position 1... */
FaizanAhmad 0:769c5a7b3939 899 switch(handle->stateConfVector[ 1 ])
FaizanAhmad 0:769c5a7b3939 900 {
FaizanAhmad 0:769c5a7b3939 901 case Default_r1_Function_Ready :
FaizanAhmad 0:769c5a7b3939 902 {
FaizanAhmad 0:769c5a7b3939 903 exseq_r1_Function_Ready(handle);
FaizanAhmad 0:769c5a7b3939 904 break;
FaizanAhmad 0:769c5a7b3939 905 }
FaizanAhmad 0:769c5a7b3939 906 case Default_r1_Function_Active :
FaizanAhmad 0:769c5a7b3939 907 {
FaizanAhmad 0:769c5a7b3939 908 exseq_r1_Function_Active(handle);
FaizanAhmad 0:769c5a7b3939 909 break;
FaizanAhmad 0:769c5a7b3939 910 }
FaizanAhmad 0:769c5a7b3939 911 case Default_r1_Alarm :
FaizanAhmad 0:769c5a7b3939 912 {
FaizanAhmad 0:769c5a7b3939 913 exseq_r1_Alarm(handle);
FaizanAhmad 0:769c5a7b3939 914 break;
FaizanAhmad 0:769c5a7b3939 915 }
FaizanAhmad 0:769c5a7b3939 916 case Default_r1_Move_Down :
FaizanAhmad 0:769c5a7b3939 917 {
FaizanAhmad 0:769c5a7b3939 918 exseq_r1_Move_Down(handle);
FaizanAhmad 0:769c5a7b3939 919 break;
FaizanAhmad 0:769c5a7b3939 920 }
FaizanAhmad 0:769c5a7b3939 921 case Default_r1_Move_Up :
FaizanAhmad 0:769c5a7b3939 922 {
FaizanAhmad 0:769c5a7b3939 923 exseq_r1_Move_Up(handle);
FaizanAhmad 0:769c5a7b3939 924 break;
FaizanAhmad 0:769c5a7b3939 925 }
FaizanAhmad 0:769c5a7b3939 926 default: break;
FaizanAhmad 0:769c5a7b3939 927 }
FaizanAhmad 0:769c5a7b3939 928 }
FaizanAhmad 0:769c5a7b3939 929
FaizanAhmad 0:769c5a7b3939 930 /* The reactions of state Functions. */
FaizanAhmad 0:769c5a7b3939 931 static void react_main_region_Functions(Default* handle)
FaizanAhmad 0:769c5a7b3939 932 {
FaizanAhmad 0:769c5a7b3939 933 /* The reactions of state Functions. */
FaizanAhmad 0:769c5a7b3939 934 if (check_main_region_Functions_tr0_tr0(handle) == bool_true)
FaizanAhmad 0:769c5a7b3939 935 {
FaizanAhmad 0:769c5a7b3939 936 effect_main_region_Functions_tr0(handle);
FaizanAhmad 0:769c5a7b3939 937 } else
FaizanAhmad 0:769c5a7b3939 938 {
FaizanAhmad 0:769c5a7b3939 939 if (check_main_region_Functions_tr1_tr1(handle) == bool_true)
FaizanAhmad 0:769c5a7b3939 940 {
FaizanAhmad 0:769c5a7b3939 941 effect_main_region_Functions_tr1(handle);
FaizanAhmad 0:769c5a7b3939 942 } else
FaizanAhmad 0:769c5a7b3939 943 {
FaizanAhmad 0:769c5a7b3939 944 if (check_main_region_Functions_tr2_tr2(handle) == bool_true)
FaizanAhmad 0:769c5a7b3939 945 {
FaizanAhmad 0:769c5a7b3939 946 effect_main_region_Functions_tr2(handle);
FaizanAhmad 0:769c5a7b3939 947 } else
FaizanAhmad 0:769c5a7b3939 948 {
FaizanAhmad 0:769c5a7b3939 949 if (check_main_region_Functions_tr3_tr3(handle) == bool_true)
FaizanAhmad 0:769c5a7b3939 950 {
FaizanAhmad 0:769c5a7b3939 951 effect_main_region_Functions_tr3(handle);
FaizanAhmad 0:769c5a7b3939 952 } else
FaizanAhmad 0:769c5a7b3939 953 {
FaizanAhmad 0:769c5a7b3939 954 if (check_main_region_Functions_tr4_tr4(handle) == bool_true)
FaizanAhmad 0:769c5a7b3939 955 {
FaizanAhmad 0:769c5a7b3939 956 effect_main_region_Functions_tr4(handle);
FaizanAhmad 0:769c5a7b3939 957 }
FaizanAhmad 0:769c5a7b3939 958 }
FaizanAhmad 0:769c5a7b3939 959 }
FaizanAhmad 0:769c5a7b3939 960 }
FaizanAhmad 0:769c5a7b3939 961 }
FaizanAhmad 0:769c5a7b3939 962 }
FaizanAhmad 0:769c5a7b3939 963
FaizanAhmad 0:769c5a7b3939 964 /* The reactions of state Menu. */
FaizanAhmad 0:769c5a7b3939 965 static void react_main_region_Menu(Default* handle)
FaizanAhmad 0:769c5a7b3939 966 {
FaizanAhmad 0:769c5a7b3939 967 /* The reactions of state Menu. */
FaizanAhmad 0:769c5a7b3939 968 if (check_main_region_Menu_tr0_tr0(handle) == bool_true)
FaizanAhmad 0:769c5a7b3939 969 {
FaizanAhmad 0:769c5a7b3939 970 effect_main_region_Menu_tr0(handle);
FaizanAhmad 0:769c5a7b3939 971 } else
FaizanAhmad 0:769c5a7b3939 972 {
FaizanAhmad 0:769c5a7b3939 973 if (check_main_region_Menu_tr1_tr1(handle) == bool_true)
FaizanAhmad 0:769c5a7b3939 974 {
FaizanAhmad 0:769c5a7b3939 975 effect_main_region_Menu_tr1(handle);
FaizanAhmad 0:769c5a7b3939 976 } else
FaizanAhmad 0:769c5a7b3939 977 {
FaizanAhmad 0:769c5a7b3939 978 if (check_main_region_Menu_tr2_tr2(handle) == bool_true)
FaizanAhmad 0:769c5a7b3939 979 {
FaizanAhmad 0:769c5a7b3939 980 effect_main_region_Menu_tr2(handle);
FaizanAhmad 0:769c5a7b3939 981 } else
FaizanAhmad 0:769c5a7b3939 982 {
FaizanAhmad 0:769c5a7b3939 983 if (check_main_region_Menu_tr3_tr3(handle) == bool_true)
FaizanAhmad 0:769c5a7b3939 984 {
FaizanAhmad 0:769c5a7b3939 985 effect_main_region_Menu_tr3(handle);
FaizanAhmad 0:769c5a7b3939 986 }
FaizanAhmad 0:769c5a7b3939 987 }
FaizanAhmad 0:769c5a7b3939 988 }
FaizanAhmad 0:769c5a7b3939 989 }
FaizanAhmad 0:769c5a7b3939 990 }
FaizanAhmad 0:769c5a7b3939 991
FaizanAhmad 0:769c5a7b3939 992 /* The reactions of state Ready. */
FaizanAhmad 0:769c5a7b3939 993 static void react_main_region_Ready(Default* handle)
FaizanAhmad 0:769c5a7b3939 994 {
FaizanAhmad 0:769c5a7b3939 995 /* The reactions of state Ready. */
FaizanAhmad 0:769c5a7b3939 996 if (check_main_region_Ready_tr0_tr0(handle) == bool_true)
FaizanAhmad 0:769c5a7b3939 997 {
FaizanAhmad 0:769c5a7b3939 998 effect_main_region_Ready_tr0(handle);
FaizanAhmad 0:769c5a7b3939 999 }
FaizanAhmad 0:769c5a7b3939 1000 }
FaizanAhmad 0:769c5a7b3939 1001
FaizanAhmad 0:769c5a7b3939 1002 /* The reactions of state Function Selected. */
FaizanAhmad 0:769c5a7b3939 1003 static void react_main_region_Function_Selected(Default* handle)
FaizanAhmad 0:769c5a7b3939 1004 {
FaizanAhmad 0:769c5a7b3939 1005 /* The reactions of state Function Selected. */
FaizanAhmad 0:769c5a7b3939 1006 if (check_main_region_Function_Selected_tr0_tr0(handle) == bool_true)
FaizanAhmad 0:769c5a7b3939 1007 {
FaizanAhmad 0:769c5a7b3939 1008 effect_main_region_Function_Selected_tr0(handle);
FaizanAhmad 0:769c5a7b3939 1009 } else
FaizanAhmad 0:769c5a7b3939 1010 {
FaizanAhmad 0:769c5a7b3939 1011 if (check_main_region_Function_Selected_tr1_tr1(handle) == bool_true)
FaizanAhmad 0:769c5a7b3939 1012 {
FaizanAhmad 0:769c5a7b3939 1013 effect_main_region_Function_Selected_tr1(handle);
FaizanAhmad 0:769c5a7b3939 1014 }
FaizanAhmad 0:769c5a7b3939 1015 }
FaizanAhmad 0:769c5a7b3939 1016 }
FaizanAhmad 0:769c5a7b3939 1017
FaizanAhmad 0:769c5a7b3939 1018 /* The reactions of state Function Ready. */
FaizanAhmad 0:769c5a7b3939 1019 static void react_r1_Function_Ready(Default* handle)
FaizanAhmad 0:769c5a7b3939 1020 {
FaizanAhmad 0:769c5a7b3939 1021 /* The reactions of state Function Ready. */
FaizanAhmad 0:769c5a7b3939 1022 if (check_r1_Function_Ready_tr0_tr0(handle) == bool_true)
FaizanAhmad 0:769c5a7b3939 1023 {
FaizanAhmad 0:769c5a7b3939 1024 effect_r1_Function_Ready_tr0(handle);
FaizanAhmad 0:769c5a7b3939 1025 }
FaizanAhmad 0:769c5a7b3939 1026 }
FaizanAhmad 0:769c5a7b3939 1027
FaizanAhmad 0:769c5a7b3939 1028 /* The reactions of state Function Active. */
FaizanAhmad 0:769c5a7b3939 1029 static void react_r1_Function_Active(Default* handle)
FaizanAhmad 0:769c5a7b3939 1030 {
FaizanAhmad 0:769c5a7b3939 1031 /* The reactions of state Function Active. */
FaizanAhmad 0:769c5a7b3939 1032 if (check_r1_Function_Active_tr0_tr0(handle) == bool_true)
FaizanAhmad 0:769c5a7b3939 1033 {
FaizanAhmad 0:769c5a7b3939 1034 effect_r1_Function_Active_tr0(handle);
FaizanAhmad 0:769c5a7b3939 1035 } else
FaizanAhmad 0:769c5a7b3939 1036 {
FaizanAhmad 0:769c5a7b3939 1037 if (check_r1_Function_Active_tr1_tr1(handle) == bool_true)
FaizanAhmad 0:769c5a7b3939 1038 {
FaizanAhmad 0:769c5a7b3939 1039 effect_r1_Function_Active_tr1(handle);
FaizanAhmad 0:769c5a7b3939 1040 }
FaizanAhmad 0:769c5a7b3939 1041 }
FaizanAhmad 0:769c5a7b3939 1042 }
FaizanAhmad 0:769c5a7b3939 1043
FaizanAhmad 0:769c5a7b3939 1044 /* The reactions of state Alarm. */
FaizanAhmad 0:769c5a7b3939 1045 static void react_r1_Alarm(Default* handle)
FaizanAhmad 0:769c5a7b3939 1046 {
FaizanAhmad 0:769c5a7b3939 1047 /* The reactions of state Alarm. */
FaizanAhmad 0:769c5a7b3939 1048 if (check_r1_Alarm_tr0_tr0(handle) == bool_true)
FaizanAhmad 0:769c5a7b3939 1049 {
FaizanAhmad 0:769c5a7b3939 1050 effect_r1_Alarm_tr0(handle);
FaizanAhmad 0:769c5a7b3939 1051 } else
FaizanAhmad 0:769c5a7b3939 1052 {
FaizanAhmad 0:769c5a7b3939 1053 if (check_r1_Alarm_tr1_tr1(handle) == bool_true)
FaizanAhmad 0:769c5a7b3939 1054 {
FaizanAhmad 0:769c5a7b3939 1055 effect_r1_Alarm_tr1(handle);
FaizanAhmad 0:769c5a7b3939 1056 }
FaizanAhmad 0:769c5a7b3939 1057 }
FaizanAhmad 0:769c5a7b3939 1058 }
FaizanAhmad 0:769c5a7b3939 1059
FaizanAhmad 0:769c5a7b3939 1060 /* The reactions of state Move Down. */
FaizanAhmad 0:769c5a7b3939 1061 static void react_r1_Move_Down(Default* handle)
FaizanAhmad 0:769c5a7b3939 1062 {
FaizanAhmad 0:769c5a7b3939 1063 /* The reactions of state Move Down. */
FaizanAhmad 0:769c5a7b3939 1064 if (check_r1_Move_Down_tr0_tr0(handle) == bool_true)
FaizanAhmad 0:769c5a7b3939 1065 {
FaizanAhmad 0:769c5a7b3939 1066 effect_r1_Move_Down_tr0(handle);
FaizanAhmad 0:769c5a7b3939 1067 } else
FaizanAhmad 0:769c5a7b3939 1068 {
FaizanAhmad 0:769c5a7b3939 1069 if (check_r1_Move_Down_tr1_tr1(handle) == bool_true)
FaizanAhmad 0:769c5a7b3939 1070 {
FaizanAhmad 0:769c5a7b3939 1071 effect_r1_Move_Down_tr1(handle);
FaizanAhmad 0:769c5a7b3939 1072 }
FaizanAhmad 0:769c5a7b3939 1073 }
FaizanAhmad 0:769c5a7b3939 1074 }
FaizanAhmad 0:769c5a7b3939 1075
FaizanAhmad 0:769c5a7b3939 1076 /* The reactions of state Move Up. */
FaizanAhmad 0:769c5a7b3939 1077 static void react_r1_Move_Up(Default* handle)
FaizanAhmad 0:769c5a7b3939 1078 {
FaizanAhmad 0:769c5a7b3939 1079 /* The reactions of state Move Up. */
FaizanAhmad 0:769c5a7b3939 1080 if (check_r1_Move_Up_tr0_tr0(handle) == bool_true)
FaizanAhmad 0:769c5a7b3939 1081 {
FaizanAhmad 0:769c5a7b3939 1082 effect_r1_Move_Up_tr0(handle);
FaizanAhmad 0:769c5a7b3939 1083 } else
FaizanAhmad 0:769c5a7b3939 1084 {
FaizanAhmad 0:769c5a7b3939 1085 if (check_r1_Move_Up_tr1_tr1(handle) == bool_true)
FaizanAhmad 0:769c5a7b3939 1086 {
FaizanAhmad 0:769c5a7b3939 1087 effect_r1_Move_Up_tr1(handle);
FaizanAhmad 0:769c5a7b3939 1088 }
FaizanAhmad 0:769c5a7b3939 1089 }
FaizanAhmad 0:769c5a7b3939 1090 }
FaizanAhmad 0:769c5a7b3939 1091
FaizanAhmad 0:769c5a7b3939 1092 /* Default react sequence for initial entry */
FaizanAhmad 0:769c5a7b3939 1093 static void react_main_region__entry_Default(Default* handle)
FaizanAhmad 0:769c5a7b3939 1094 {
FaizanAhmad 0:769c5a7b3939 1095 /* Default react sequence for initial entry */
FaizanAhmad 0:769c5a7b3939 1096 enseq_main_region_Ready_default(handle);
FaizanAhmad 0:769c5a7b3939 1097 }
FaizanAhmad 0:769c5a7b3939 1098
FaizanAhmad 0:769c5a7b3939 1099 /* Default react sequence for initial entry */
FaizanAhmad 0:769c5a7b3939 1100 static void react_r1__entry_Default(Default* handle)
FaizanAhmad 0:769c5a7b3939 1101 {
FaizanAhmad 0:769c5a7b3939 1102 /* Default react sequence for initial entry */
FaizanAhmad 0:769c5a7b3939 1103 enseq_r1_Function_Ready_default(handle);
FaizanAhmad 0:769c5a7b3939 1104 }
FaizanAhmad 0:769c5a7b3939 1105
FaizanAhmad 0:769c5a7b3939 1106
FaizanAhmad 0:769c5a7b3939 1107