NamedInterfaceAccess.c 21 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590
  1. #include <stdlib.h>
  2. #include <string.h>
  3. #include "sc_types.h"
  4. #include "NamedInterfaceAccess.h"
  5. /*! \file Implementation of the state machine 'NamedInterfaceAccess'
  6. */
  7. /* prototypes of all internal functions */
  8. static sc_boolean namedInterfaceAccess_check_region_1_Idle_tr0_tr0(const NamedInterfaceAccess* handle);
  9. static sc_boolean namedInterfaceAccess_check_region_1_Number1Pressed_tr0_tr0(const NamedInterfaceAccess* handle);
  10. static sc_boolean namedInterfaceAccess_check_region_1_Number1Pressed_tr1_tr1(const NamedInterfaceAccess* handle);
  11. static sc_boolean namedInterfaceAccess_check_region_1_Number2Pressed_tr0_tr0(const NamedInterfaceAccess* handle);
  12. static sc_boolean namedInterfaceAccess_check_region_1_Number2Pressed_tr1_tr1(const NamedInterfaceAccess* handle);
  13. static sc_boolean namedInterfaceAccess_check_region_1_Number3Pressed_tr0_tr0(const NamedInterfaceAccess* handle);
  14. static sc_boolean namedInterfaceAccess_check__region1_Closed_tr0_tr0(const NamedInterfaceAccess* handle);
  15. static sc_boolean namedInterfaceAccess_check__region1_Open_tr0_tr0(const NamedInterfaceAccess* handle);
  16. static void namedInterfaceAccess_effect_region_1_Idle_tr0(NamedInterfaceAccess* handle);
  17. static void namedInterfaceAccess_effect_region_1_Number1Pressed_tr0(NamedInterfaceAccess* handle);
  18. static void namedInterfaceAccess_effect_region_1_Number1Pressed_tr1(NamedInterfaceAccess* handle);
  19. static void namedInterfaceAccess_effect_region_1_Number2Pressed_tr0(NamedInterfaceAccess* handle);
  20. static void namedInterfaceAccess_effect_region_1_Number2Pressed_tr1(NamedInterfaceAccess* handle);
  21. static void namedInterfaceAccess_effect_region_1_Number3Pressed_tr0(NamedInterfaceAccess* handle);
  22. static void namedInterfaceAccess_effect__region1_Closed_tr0(NamedInterfaceAccess* handle);
  23. static void namedInterfaceAccess_effect__region1_Open_tr0(NamedInterfaceAccess* handle);
  24. static void namedInterfaceAccess_enact_region_1_Idle(NamedInterfaceAccess* handle);
  25. static void namedInterfaceAccess_enact_region_1_Number3Pressed(NamedInterfaceAccess* handle);
  26. static void namedInterfaceAccess_enseq_region_1_Idle_default(NamedInterfaceAccess* handle);
  27. static void namedInterfaceAccess_enseq_region_1_Number1Pressed_default(NamedInterfaceAccess* handle);
  28. static void namedInterfaceAccess_enseq_region_1_Number2Pressed_default(NamedInterfaceAccess* handle);
  29. static void namedInterfaceAccess_enseq_region_1_Number3Pressed_default(NamedInterfaceAccess* handle);
  30. static void namedInterfaceAccess_enseq__region1_Closed_default(NamedInterfaceAccess* handle);
  31. static void namedInterfaceAccess_enseq__region1_Open_default(NamedInterfaceAccess* handle);
  32. static void namedInterfaceAccess_enseq_region_1_default(NamedInterfaceAccess* handle);
  33. static void namedInterfaceAccess_enseq__region1_default(NamedInterfaceAccess* handle);
  34. static void namedInterfaceAccess_exseq_region_1_Idle(NamedInterfaceAccess* handle);
  35. static void namedInterfaceAccess_exseq_region_1_Number1Pressed(NamedInterfaceAccess* handle);
  36. static void namedInterfaceAccess_exseq_region_1_Number2Pressed(NamedInterfaceAccess* handle);
  37. static void namedInterfaceAccess_exseq_region_1_Number3Pressed(NamedInterfaceAccess* handle);
  38. static void namedInterfaceAccess_exseq__region1_Closed(NamedInterfaceAccess* handle);
  39. static void namedInterfaceAccess_exseq__region1_Open(NamedInterfaceAccess* handle);
  40. static void namedInterfaceAccess_exseq_region_1(NamedInterfaceAccess* handle);
  41. static void namedInterfaceAccess_exseq__region1(NamedInterfaceAccess* handle);
  42. static void namedInterfaceAccess_react_region_1_Idle(NamedInterfaceAccess* handle);
  43. static void namedInterfaceAccess_react_region_1_Number1Pressed(NamedInterfaceAccess* handle);
  44. static void namedInterfaceAccess_react_region_1_Number2Pressed(NamedInterfaceAccess* handle);
  45. static void namedInterfaceAccess_react_region_1_Number3Pressed(NamedInterfaceAccess* handle);
  46. static void namedInterfaceAccess_react__region1_Closed(NamedInterfaceAccess* handle);
  47. static void namedInterfaceAccess_react__region1_Open(NamedInterfaceAccess* handle);
  48. static void namedInterfaceAccess_react_region_1__entry_Default(NamedInterfaceAccess* handle);
  49. static void namedInterfaceAccess_react__region1__entry_Default(NamedInterfaceAccess* handle);
  50. static void namedInterfaceAccess_clearInEvents(NamedInterfaceAccess* handle);
  51. static void namedInterfaceAccess_clearOutEvents(NamedInterfaceAccess* handle);
  52. void namedInterfaceAccess_init(NamedInterfaceAccess* handle)
  53. {
  54. sc_integer i;
  55. for (i = 0; i < NAMEDINTERFACEACCESS_MAX_ORTHOGONAL_STATES; ++i)
  56. {
  57. handle->stateConfVector[i] = NamedInterfaceAccess_last_state;
  58. }
  59. handle->stateConfVectorPosition = 0;
  60. namedInterfaceAccess_clearInEvents(handle);
  61. namedInterfaceAccess_clearOutEvents(handle);
  62. /* Default init sequence for statechart NamedInterfaceAccess */
  63. handle->internal.number1 = 3;
  64. handle->internal.number2 = 7;
  65. handle->internal.number3 = 5;
  66. }
  67. void namedInterfaceAccess_enter(NamedInterfaceAccess* handle)
  68. {
  69. /* Default enter sequence for statechart NamedInterfaceAccess */
  70. namedInterfaceAccess_enseq_region_1_default(handle);
  71. namedInterfaceAccess_enseq__region1_default(handle);
  72. }
  73. void namedInterfaceAccess_exit(NamedInterfaceAccess* handle)
  74. {
  75. /* Default exit sequence for statechart NamedInterfaceAccess */
  76. namedInterfaceAccess_exseq_region_1(handle);
  77. namedInterfaceAccess_exseq__region1(handle);
  78. }
  79. sc_boolean namedInterfaceAccess_isActive(const NamedInterfaceAccess* handle)
  80. {
  81. sc_boolean result;
  82. if (handle->stateConfVector[0] != NamedInterfaceAccess_last_state || handle->stateConfVector[1] != NamedInterfaceAccess_last_state)
  83. {
  84. result = bool_true;
  85. }
  86. else
  87. {
  88. result = bool_false;
  89. }
  90. return result;
  91. }
  92. /*
  93. * Always returns 'false' since this state machine can never become final.
  94. */
  95. sc_boolean namedInterfaceAccess_isFinal(const NamedInterfaceAccess* handle)
  96. {
  97. return bool_false;
  98. }
  99. static void namedInterfaceAccess_clearInEvents(NamedInterfaceAccess* handle)
  100. {
  101. handle->ifaceUser.numberPressed_raised = bool_false;
  102. handle->ifaceUser.reset_raised = bool_false;
  103. }
  104. static void namedInterfaceAccess_clearOutEvents(NamedInterfaceAccess* handle)
  105. {
  106. handle->ifaceSafe.open_raised = bool_false;
  107. handle->ifaceSafe.close_raised = bool_false;
  108. }
  109. void namedInterfaceAccess_runCycle(NamedInterfaceAccess* handle)
  110. {
  111. namedInterfaceAccess_clearOutEvents(handle);
  112. for (handle->stateConfVectorPosition = 0;
  113. handle->stateConfVectorPosition < NAMEDINTERFACEACCESS_MAX_ORTHOGONAL_STATES;
  114. handle->stateConfVectorPosition++)
  115. {
  116. switch (handle->stateConfVector[handle->stateConfVectorPosition])
  117. {
  118. case NamedInterfaceAccess_region_1_Idle :
  119. {
  120. namedInterfaceAccess_react_region_1_Idle(handle);
  121. break;
  122. }
  123. case NamedInterfaceAccess_region_1_Number1Pressed :
  124. {
  125. namedInterfaceAccess_react_region_1_Number1Pressed(handle);
  126. break;
  127. }
  128. case NamedInterfaceAccess_region_1_Number2Pressed :
  129. {
  130. namedInterfaceAccess_react_region_1_Number2Pressed(handle);
  131. break;
  132. }
  133. case NamedInterfaceAccess_region_1_Number3Pressed :
  134. {
  135. namedInterfaceAccess_react_region_1_Number3Pressed(handle);
  136. break;
  137. }
  138. case NamedInterfaceAccess__region1_Closed :
  139. {
  140. namedInterfaceAccess_react__region1_Closed(handle);
  141. break;
  142. }
  143. case NamedInterfaceAccess__region1_Open :
  144. {
  145. namedInterfaceAccess_react__region1_Open(handle);
  146. break;
  147. }
  148. default:
  149. break;
  150. }
  151. }
  152. namedInterfaceAccess_clearInEvents(handle);
  153. }
  154. sc_boolean namedInterfaceAccess_isStateActive(const NamedInterfaceAccess* handle, NamedInterfaceAccessStates state)
  155. {
  156. sc_boolean result = bool_false;
  157. switch (state)
  158. {
  159. case NamedInterfaceAccess_region_1_Idle :
  160. result = (sc_boolean) (handle->stateConfVector[0] == NamedInterfaceAccess_region_1_Idle
  161. );
  162. break;
  163. case NamedInterfaceAccess_region_1_Number1Pressed :
  164. result = (sc_boolean) (handle->stateConfVector[0] == NamedInterfaceAccess_region_1_Number1Pressed
  165. );
  166. break;
  167. case NamedInterfaceAccess_region_1_Number2Pressed :
  168. result = (sc_boolean) (handle->stateConfVector[0] == NamedInterfaceAccess_region_1_Number2Pressed
  169. );
  170. break;
  171. case NamedInterfaceAccess_region_1_Number3Pressed :
  172. result = (sc_boolean) (handle->stateConfVector[0] == NamedInterfaceAccess_region_1_Number3Pressed
  173. );
  174. break;
  175. case NamedInterfaceAccess__region1_Closed :
  176. result = (sc_boolean) (handle->stateConfVector[1] == NamedInterfaceAccess__region1_Closed
  177. );
  178. break;
  179. case NamedInterfaceAccess__region1_Open :
  180. result = (sc_boolean) (handle->stateConfVector[1] == NamedInterfaceAccess__region1_Open
  181. );
  182. break;
  183. default:
  184. result = bool_false;
  185. break;
  186. }
  187. return result;
  188. }
  189. sc_boolean namedInterfaceAccessIfaceSafe_israised_open(const NamedInterfaceAccess* handle)
  190. {
  191. return handle->ifaceSafe.open_raised;
  192. }
  193. sc_boolean namedInterfaceAccessIfaceSafe_israised_close(const NamedInterfaceAccess* handle)
  194. {
  195. return handle->ifaceSafe.close_raised;
  196. }
  197. void namedInterfaceAccessIfaceUser_raise_numberPressed(NamedInterfaceAccess* handle, sc_integer value)
  198. {
  199. handle->ifaceUser.numberPressed_value = value;
  200. handle->ifaceUser.numberPressed_raised = bool_true;
  201. }
  202. void namedInterfaceAccessIfaceUser_raise_reset(NamedInterfaceAccess* handle)
  203. {
  204. handle->ifaceUser.reset_raised = bool_true;
  205. }
  206. /* implementations of all internal functions */
  207. static sc_boolean namedInterfaceAccess_check_region_1_Idle_tr0_tr0(const NamedInterfaceAccess* handle)
  208. {
  209. return ((handle->ifaceUser.numberPressed_raised) && (handle->ifaceUser.numberPressed_value == handle->internal.number1)) ? bool_true : bool_false;
  210. }
  211. static sc_boolean namedInterfaceAccess_check_region_1_Number1Pressed_tr0_tr0(const NamedInterfaceAccess* handle)
  212. {
  213. return ((handle->ifaceUser.numberPressed_raised) && (handle->ifaceUser.numberPressed_value == handle->internal.number2)) ? bool_true : bool_false;
  214. }
  215. static sc_boolean namedInterfaceAccess_check_region_1_Number1Pressed_tr1_tr1(const NamedInterfaceAccess* handle)
  216. {
  217. return handle->ifaceUser.numberPressed_raised;
  218. }
  219. static sc_boolean namedInterfaceAccess_check_region_1_Number2Pressed_tr0_tr0(const NamedInterfaceAccess* handle)
  220. {
  221. return ((handle->ifaceUser.numberPressed_raised) && (handle->ifaceUser.numberPressed_value == handle->internal.number3)) ? bool_true : bool_false;
  222. }
  223. static sc_boolean namedInterfaceAccess_check_region_1_Number2Pressed_tr1_tr1(const NamedInterfaceAccess* handle)
  224. {
  225. return handle->ifaceUser.numberPressed_raised;
  226. }
  227. static sc_boolean namedInterfaceAccess_check_region_1_Number3Pressed_tr0_tr0(const NamedInterfaceAccess* handle)
  228. {
  229. return handle->ifaceUser.numberPressed_raised;
  230. }
  231. static sc_boolean namedInterfaceAccess_check__region1_Closed_tr0_tr0(const NamedInterfaceAccess* handle)
  232. {
  233. return handle->ifaceSafe.open_raised;
  234. }
  235. static sc_boolean namedInterfaceAccess_check__region1_Open_tr0_tr0(const NamedInterfaceAccess* handle)
  236. {
  237. return handle->ifaceSafe.close_raised;
  238. }
  239. static void namedInterfaceAccess_effect_region_1_Idle_tr0(NamedInterfaceAccess* handle)
  240. {
  241. namedInterfaceAccess_exseq_region_1_Idle(handle);
  242. namedInterfaceAccess_enseq_region_1_Number1Pressed_default(handle);
  243. }
  244. static void namedInterfaceAccess_effect_region_1_Number1Pressed_tr0(NamedInterfaceAccess* handle)
  245. {
  246. namedInterfaceAccess_exseq_region_1_Number1Pressed(handle);
  247. namedInterfaceAccess_enseq_region_1_Number2Pressed_default(handle);
  248. }
  249. static void namedInterfaceAccess_effect_region_1_Number1Pressed_tr1(NamedInterfaceAccess* handle)
  250. {
  251. namedInterfaceAccess_exseq_region_1_Number1Pressed(handle);
  252. namedInterfaceAccess_enseq_region_1_Idle_default(handle);
  253. }
  254. static void namedInterfaceAccess_effect_region_1_Number2Pressed_tr0(NamedInterfaceAccess* handle)
  255. {
  256. namedInterfaceAccess_exseq_region_1_Number2Pressed(handle);
  257. namedInterfaceAccess_enseq_region_1_Number3Pressed_default(handle);
  258. }
  259. static void namedInterfaceAccess_effect_region_1_Number2Pressed_tr1(NamedInterfaceAccess* handle)
  260. {
  261. namedInterfaceAccess_exseq_region_1_Number2Pressed(handle);
  262. namedInterfaceAccess_enseq_region_1_Idle_default(handle);
  263. }
  264. static void namedInterfaceAccess_effect_region_1_Number3Pressed_tr0(NamedInterfaceAccess* handle)
  265. {
  266. namedInterfaceAccess_exseq_region_1_Number3Pressed(handle);
  267. namedInterfaceAccess_enseq_region_1_Idle_default(handle);
  268. }
  269. static void namedInterfaceAccess_effect__region1_Closed_tr0(NamedInterfaceAccess* handle)
  270. {
  271. namedInterfaceAccess_exseq__region1_Closed(handle);
  272. namedInterfaceAccess_enseq__region1_Open_default(handle);
  273. }
  274. static void namedInterfaceAccess_effect__region1_Open_tr0(NamedInterfaceAccess* handle)
  275. {
  276. namedInterfaceAccess_exseq__region1_Open(handle);
  277. namedInterfaceAccess_enseq__region1_Closed_default(handle);
  278. }
  279. /* Entry action for state 'Idle'. */
  280. static void namedInterfaceAccess_enact_region_1_Idle(NamedInterfaceAccess* handle)
  281. {
  282. /* Entry action for state 'Idle'. */
  283. handle->ifaceSafe.close_raised = bool_true;
  284. }
  285. /* Entry action for state 'Number3Pressed'. */
  286. static void namedInterfaceAccess_enact_region_1_Number3Pressed(NamedInterfaceAccess* handle)
  287. {
  288. /* Entry action for state 'Number3Pressed'. */
  289. handle->ifaceSafe.open_raised = bool_true;
  290. }
  291. /* 'default' enter sequence for state Idle */
  292. static void namedInterfaceAccess_enseq_region_1_Idle_default(NamedInterfaceAccess* handle)
  293. {
  294. /* 'default' enter sequence for state Idle */
  295. namedInterfaceAccess_enact_region_1_Idle(handle);
  296. handle->stateConfVector[0] = NamedInterfaceAccess_region_1_Idle;
  297. handle->stateConfVectorPosition = 0;
  298. }
  299. /* 'default' enter sequence for state Number1Pressed */
  300. static void namedInterfaceAccess_enseq_region_1_Number1Pressed_default(NamedInterfaceAccess* handle)
  301. {
  302. /* 'default' enter sequence for state Number1Pressed */
  303. handle->stateConfVector[0] = NamedInterfaceAccess_region_1_Number1Pressed;
  304. handle->stateConfVectorPosition = 0;
  305. }
  306. /* 'default' enter sequence for state Number2Pressed */
  307. static void namedInterfaceAccess_enseq_region_1_Number2Pressed_default(NamedInterfaceAccess* handle)
  308. {
  309. /* 'default' enter sequence for state Number2Pressed */
  310. handle->stateConfVector[0] = NamedInterfaceAccess_region_1_Number2Pressed;
  311. handle->stateConfVectorPosition = 0;
  312. }
  313. /* 'default' enter sequence for state Number3Pressed */
  314. static void namedInterfaceAccess_enseq_region_1_Number3Pressed_default(NamedInterfaceAccess* handle)
  315. {
  316. /* 'default' enter sequence for state Number3Pressed */
  317. namedInterfaceAccess_enact_region_1_Number3Pressed(handle);
  318. handle->stateConfVector[0] = NamedInterfaceAccess_region_1_Number3Pressed;
  319. handle->stateConfVectorPosition = 0;
  320. }
  321. /* 'default' enter sequence for state Closed */
  322. static void namedInterfaceAccess_enseq__region1_Closed_default(NamedInterfaceAccess* handle)
  323. {
  324. /* 'default' enter sequence for state Closed */
  325. handle->stateConfVector[1] = NamedInterfaceAccess__region1_Closed;
  326. handle->stateConfVectorPosition = 1;
  327. }
  328. /* 'default' enter sequence for state Open */
  329. static void namedInterfaceAccess_enseq__region1_Open_default(NamedInterfaceAccess* handle)
  330. {
  331. /* 'default' enter sequence for state Open */
  332. handle->stateConfVector[1] = NamedInterfaceAccess__region1_Open;
  333. handle->stateConfVectorPosition = 1;
  334. }
  335. /* 'default' enter sequence for region region 1 */
  336. static void namedInterfaceAccess_enseq_region_1_default(NamedInterfaceAccess* handle)
  337. {
  338. /* 'default' enter sequence for region region 1 */
  339. namedInterfaceAccess_react_region_1__entry_Default(handle);
  340. }
  341. /* 'default' enter sequence for region null */
  342. static void namedInterfaceAccess_enseq__region1_default(NamedInterfaceAccess* handle)
  343. {
  344. /* 'default' enter sequence for region null */
  345. namedInterfaceAccess_react__region1__entry_Default(handle);
  346. }
  347. /* Default exit sequence for state Idle */
  348. static void namedInterfaceAccess_exseq_region_1_Idle(NamedInterfaceAccess* handle)
  349. {
  350. /* Default exit sequence for state Idle */
  351. handle->stateConfVector[0] = NamedInterfaceAccess_last_state;
  352. handle->stateConfVectorPosition = 0;
  353. }
  354. /* Default exit sequence for state Number1Pressed */
  355. static void namedInterfaceAccess_exseq_region_1_Number1Pressed(NamedInterfaceAccess* handle)
  356. {
  357. /* Default exit sequence for state Number1Pressed */
  358. handle->stateConfVector[0] = NamedInterfaceAccess_last_state;
  359. handle->stateConfVectorPosition = 0;
  360. }
  361. /* Default exit sequence for state Number2Pressed */
  362. static void namedInterfaceAccess_exseq_region_1_Number2Pressed(NamedInterfaceAccess* handle)
  363. {
  364. /* Default exit sequence for state Number2Pressed */
  365. handle->stateConfVector[0] = NamedInterfaceAccess_last_state;
  366. handle->stateConfVectorPosition = 0;
  367. }
  368. /* Default exit sequence for state Number3Pressed */
  369. static void namedInterfaceAccess_exseq_region_1_Number3Pressed(NamedInterfaceAccess* handle)
  370. {
  371. /* Default exit sequence for state Number3Pressed */
  372. handle->stateConfVector[0] = NamedInterfaceAccess_last_state;
  373. handle->stateConfVectorPosition = 0;
  374. }
  375. /* Default exit sequence for state Closed */
  376. static void namedInterfaceAccess_exseq__region1_Closed(NamedInterfaceAccess* handle)
  377. {
  378. /* Default exit sequence for state Closed */
  379. handle->stateConfVector[1] = NamedInterfaceAccess_last_state;
  380. handle->stateConfVectorPosition = 1;
  381. }
  382. /* Default exit sequence for state Open */
  383. static void namedInterfaceAccess_exseq__region1_Open(NamedInterfaceAccess* handle)
  384. {
  385. /* Default exit sequence for state Open */
  386. handle->stateConfVector[1] = NamedInterfaceAccess_last_state;
  387. handle->stateConfVectorPosition = 1;
  388. }
  389. /* Default exit sequence for region region 1 */
  390. static void namedInterfaceAccess_exseq_region_1(NamedInterfaceAccess* handle)
  391. {
  392. /* Default exit sequence for region region 1 */
  393. /* Handle exit of all possible states (of NamedInterfaceAccess.region_1) at position 0... */
  394. switch(handle->stateConfVector[ 0 ])
  395. {
  396. case NamedInterfaceAccess_region_1_Idle :
  397. {
  398. namedInterfaceAccess_exseq_region_1_Idle(handle);
  399. break;
  400. }
  401. case NamedInterfaceAccess_region_1_Number1Pressed :
  402. {
  403. namedInterfaceAccess_exseq_region_1_Number1Pressed(handle);
  404. break;
  405. }
  406. case NamedInterfaceAccess_region_1_Number2Pressed :
  407. {
  408. namedInterfaceAccess_exseq_region_1_Number2Pressed(handle);
  409. break;
  410. }
  411. case NamedInterfaceAccess_region_1_Number3Pressed :
  412. {
  413. namedInterfaceAccess_exseq_region_1_Number3Pressed(handle);
  414. break;
  415. }
  416. default: break;
  417. }
  418. }
  419. /* Default exit sequence for region null */
  420. static void namedInterfaceAccess_exseq__region1(NamedInterfaceAccess* handle)
  421. {
  422. /* Default exit sequence for region null */
  423. /* Handle exit of all possible states (of NamedInterfaceAccess._region1) at position 1... */
  424. switch(handle->stateConfVector[ 1 ])
  425. {
  426. case NamedInterfaceAccess__region1_Closed :
  427. {
  428. namedInterfaceAccess_exseq__region1_Closed(handle);
  429. break;
  430. }
  431. case NamedInterfaceAccess__region1_Open :
  432. {
  433. namedInterfaceAccess_exseq__region1_Open(handle);
  434. break;
  435. }
  436. default: break;
  437. }
  438. }
  439. /* The reactions of state Idle. */
  440. static void namedInterfaceAccess_react_region_1_Idle(NamedInterfaceAccess* handle)
  441. {
  442. /* The reactions of state Idle. */
  443. if (namedInterfaceAccess_check_region_1_Idle_tr0_tr0(handle) == bool_true)
  444. {
  445. namedInterfaceAccess_effect_region_1_Idle_tr0(handle);
  446. }
  447. }
  448. /* The reactions of state Number1Pressed. */
  449. static void namedInterfaceAccess_react_region_1_Number1Pressed(NamedInterfaceAccess* handle)
  450. {
  451. /* The reactions of state Number1Pressed. */
  452. if (namedInterfaceAccess_check_region_1_Number1Pressed_tr0_tr0(handle) == bool_true)
  453. {
  454. namedInterfaceAccess_effect_region_1_Number1Pressed_tr0(handle);
  455. } else
  456. {
  457. if (namedInterfaceAccess_check_region_1_Number1Pressed_tr1_tr1(handle) == bool_true)
  458. {
  459. namedInterfaceAccess_effect_region_1_Number1Pressed_tr1(handle);
  460. }
  461. }
  462. }
  463. /* The reactions of state Number2Pressed. */
  464. static void namedInterfaceAccess_react_region_1_Number2Pressed(NamedInterfaceAccess* handle)
  465. {
  466. /* The reactions of state Number2Pressed. */
  467. if (namedInterfaceAccess_check_region_1_Number2Pressed_tr0_tr0(handle) == bool_true)
  468. {
  469. namedInterfaceAccess_effect_region_1_Number2Pressed_tr0(handle);
  470. } else
  471. {
  472. if (namedInterfaceAccess_check_region_1_Number2Pressed_tr1_tr1(handle) == bool_true)
  473. {
  474. namedInterfaceAccess_effect_region_1_Number2Pressed_tr1(handle);
  475. }
  476. }
  477. }
  478. /* The reactions of state Number3Pressed. */
  479. static void namedInterfaceAccess_react_region_1_Number3Pressed(NamedInterfaceAccess* handle)
  480. {
  481. /* The reactions of state Number3Pressed. */
  482. if (namedInterfaceAccess_check_region_1_Number3Pressed_tr0_tr0(handle) == bool_true)
  483. {
  484. namedInterfaceAccess_effect_region_1_Number3Pressed_tr0(handle);
  485. }
  486. }
  487. /* The reactions of state Closed. */
  488. static void namedInterfaceAccess_react__region1_Closed(NamedInterfaceAccess* handle)
  489. {
  490. /* The reactions of state Closed. */
  491. if (namedInterfaceAccess_check__region1_Closed_tr0_tr0(handle) == bool_true)
  492. {
  493. namedInterfaceAccess_effect__region1_Closed_tr0(handle);
  494. }
  495. }
  496. /* The reactions of state Open. */
  497. static void namedInterfaceAccess_react__region1_Open(NamedInterfaceAccess* handle)
  498. {
  499. /* The reactions of state Open. */
  500. if (namedInterfaceAccess_check__region1_Open_tr0_tr0(handle) == bool_true)
  501. {
  502. namedInterfaceAccess_effect__region1_Open_tr0(handle);
  503. }
  504. }
  505. /* Default react sequence for initial entry */
  506. static void namedInterfaceAccess_react_region_1__entry_Default(NamedInterfaceAccess* handle)
  507. {
  508. /* Default react sequence for initial entry */
  509. namedInterfaceAccess_enseq_region_1_Idle_default(handle);
  510. }
  511. /* Default react sequence for initial entry */
  512. static void namedInterfaceAccess_react__region1__entry_Default(NamedInterfaceAccess* handle)
  513. {
  514. /* Default react sequence for initial entry */
  515. namedInterfaceAccess_enseq__region1_Closed_default(handle);
  516. }