button
Dependencies: BMI160 SDFileSystem USBDevice max32630fthr
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?
User | Revision | Line number | New 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 |