SimpleEvent.c 7.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292
  1. #include <stdlib.h>
  2. #include <string.h>
  3. #include "sc_types.h"
  4. #include "SimpleEvent.h"
  5. /*! \file Implementation of the state machine 'SimpleEvent'
  6. */
  7. /* prototypes of all internal functions */
  8. static sc_boolean simpleEvent_check_main_region_A_tr0_tr0(const SimpleEvent* handle);
  9. static sc_boolean simpleEvent_check_main_region_B_tr0_tr0(const SimpleEvent* handle);
  10. static void simpleEvent_effect_main_region_A_tr0(SimpleEvent* handle);
  11. static void simpleEvent_effect_main_region_B_tr0(SimpleEvent* handle);
  12. static void simpleEvent_enseq_main_region_A_default(SimpleEvent* handle);
  13. static void simpleEvent_enseq_main_region_B_default(SimpleEvent* handle);
  14. static void simpleEvent_enseq_main_region__final__default(SimpleEvent* handle);
  15. static void simpleEvent_enseq_main_region_default(SimpleEvent* handle);
  16. static void simpleEvent_exseq_main_region_A(SimpleEvent* handle);
  17. static void simpleEvent_exseq_main_region_B(SimpleEvent* handle);
  18. static void simpleEvent_exseq_main_region__final_(SimpleEvent* handle);
  19. static void simpleEvent_exseq_main_region(SimpleEvent* handle);
  20. static void simpleEvent_react_main_region_A(SimpleEvent* handle);
  21. static void simpleEvent_react_main_region_B(SimpleEvent* handle);
  22. static void simpleEvent_react_main_region__final_(SimpleEvent* handle);
  23. static void simpleEvent_react_main_region__entry_Default(SimpleEvent* handle);
  24. static void simpleEvent_clearInEvents(SimpleEvent* handle);
  25. static void simpleEvent_clearOutEvents(SimpleEvent* handle);
  26. void simpleEvent_init(SimpleEvent* handle)
  27. {
  28. sc_integer i;
  29. for (i = 0; i < SIMPLEEVENT_MAX_ORTHOGONAL_STATES; ++i)
  30. {
  31. handle->stateConfVector[i] = SimpleEvent_last_state;
  32. }
  33. handle->stateConfVectorPosition = 0;
  34. simpleEvent_clearInEvents(handle);
  35. simpleEvent_clearOutEvents(handle);
  36. }
  37. void simpleEvent_enter(SimpleEvent* handle)
  38. {
  39. /* Default enter sequence for statechart SimpleEvent */
  40. simpleEvent_enseq_main_region_default(handle);
  41. }
  42. void simpleEvent_exit(SimpleEvent* handle)
  43. {
  44. /* Default exit sequence for statechart SimpleEvent */
  45. simpleEvent_exseq_main_region(handle);
  46. }
  47. sc_boolean simpleEvent_isActive(const SimpleEvent* handle)
  48. {
  49. sc_boolean result;
  50. if (handle->stateConfVector[0] != SimpleEvent_last_state)
  51. {
  52. result = bool_true;
  53. }
  54. else
  55. {
  56. result = bool_false;
  57. }
  58. return result;
  59. }
  60. sc_boolean simpleEvent_isFinal(const SimpleEvent* handle)
  61. {
  62. return (handle->stateConfVector[0] == SimpleEvent_main_region__final_);
  63. }
  64. static void simpleEvent_clearInEvents(SimpleEvent* handle)
  65. {
  66. handle->iface.Event1_raised = bool_false;
  67. }
  68. static void simpleEvent_clearOutEvents(SimpleEvent* handle)
  69. {
  70. }
  71. void simpleEvent_runCycle(SimpleEvent* handle)
  72. {
  73. simpleEvent_clearOutEvents(handle);
  74. for (handle->stateConfVectorPosition = 0;
  75. handle->stateConfVectorPosition < SIMPLEEVENT_MAX_ORTHOGONAL_STATES;
  76. handle->stateConfVectorPosition++)
  77. {
  78. switch (handle->stateConfVector[handle->stateConfVectorPosition])
  79. {
  80. case SimpleEvent_main_region_A :
  81. {
  82. simpleEvent_react_main_region_A(handle);
  83. break;
  84. }
  85. case SimpleEvent_main_region_B :
  86. {
  87. simpleEvent_react_main_region_B(handle);
  88. break;
  89. }
  90. case SimpleEvent_main_region__final_ :
  91. {
  92. simpleEvent_react_main_region__final_(handle);
  93. break;
  94. }
  95. default:
  96. break;
  97. }
  98. }
  99. simpleEvent_clearInEvents(handle);
  100. }
  101. sc_boolean simpleEvent_isStateActive(const SimpleEvent* handle, SimpleEventStates state)
  102. {
  103. sc_boolean result = bool_false;
  104. switch (state)
  105. {
  106. case SimpleEvent_main_region_A :
  107. result = (sc_boolean) (handle->stateConfVector[0] == SimpleEvent_main_region_A
  108. );
  109. break;
  110. case SimpleEvent_main_region_B :
  111. result = (sc_boolean) (handle->stateConfVector[0] == SimpleEvent_main_region_B
  112. );
  113. break;
  114. case SimpleEvent_main_region__final_ :
  115. result = (sc_boolean) (handle->stateConfVector[0] == SimpleEvent_main_region__final_
  116. );
  117. break;
  118. default:
  119. result = bool_false;
  120. break;
  121. }
  122. return result;
  123. }
  124. void simpleEventIface_raise_event1(SimpleEvent* handle)
  125. {
  126. handle->iface.Event1_raised = bool_true;
  127. }
  128. /* implementations of all internal functions */
  129. static sc_boolean simpleEvent_check_main_region_A_tr0_tr0(const SimpleEvent* handle)
  130. {
  131. return handle->iface.Event1_raised;
  132. }
  133. static sc_boolean simpleEvent_check_main_region_B_tr0_tr0(const SimpleEvent* handle)
  134. {
  135. return bool_true;
  136. }
  137. static void simpleEvent_effect_main_region_A_tr0(SimpleEvent* handle)
  138. {
  139. simpleEvent_exseq_main_region_A(handle);
  140. simpleEvent_enseq_main_region_B_default(handle);
  141. }
  142. static void simpleEvent_effect_main_region_B_tr0(SimpleEvent* handle)
  143. {
  144. simpleEvent_exseq_main_region_B(handle);
  145. simpleEvent_enseq_main_region__final__default(handle);
  146. }
  147. /* 'default' enter sequence for state A */
  148. static void simpleEvent_enseq_main_region_A_default(SimpleEvent* handle)
  149. {
  150. /* 'default' enter sequence for state A */
  151. handle->stateConfVector[0] = SimpleEvent_main_region_A;
  152. handle->stateConfVectorPosition = 0;
  153. }
  154. /* 'default' enter sequence for state B */
  155. static void simpleEvent_enseq_main_region_B_default(SimpleEvent* handle)
  156. {
  157. /* 'default' enter sequence for state B */
  158. handle->stateConfVector[0] = SimpleEvent_main_region_B;
  159. handle->stateConfVectorPosition = 0;
  160. }
  161. /* Default enter sequence for state null */
  162. static void simpleEvent_enseq_main_region__final__default(SimpleEvent* handle)
  163. {
  164. /* Default enter sequence for state null */
  165. handle->stateConfVector[0] = SimpleEvent_main_region__final_;
  166. handle->stateConfVectorPosition = 0;
  167. }
  168. /* 'default' enter sequence for region main region */
  169. static void simpleEvent_enseq_main_region_default(SimpleEvent* handle)
  170. {
  171. /* 'default' enter sequence for region main region */
  172. simpleEvent_react_main_region__entry_Default(handle);
  173. }
  174. /* Default exit sequence for state A */
  175. static void simpleEvent_exseq_main_region_A(SimpleEvent* handle)
  176. {
  177. /* Default exit sequence for state A */
  178. handle->stateConfVector[0] = SimpleEvent_last_state;
  179. handle->stateConfVectorPosition = 0;
  180. }
  181. /* Default exit sequence for state B */
  182. static void simpleEvent_exseq_main_region_B(SimpleEvent* handle)
  183. {
  184. /* Default exit sequence for state B */
  185. handle->stateConfVector[0] = SimpleEvent_last_state;
  186. handle->stateConfVectorPosition = 0;
  187. }
  188. /* Default exit sequence for final state. */
  189. static void simpleEvent_exseq_main_region__final_(SimpleEvent* handle)
  190. {
  191. /* Default exit sequence for final state. */
  192. handle->stateConfVector[0] = SimpleEvent_last_state;
  193. handle->stateConfVectorPosition = 0;
  194. }
  195. /* Default exit sequence for region main region */
  196. static void simpleEvent_exseq_main_region(SimpleEvent* handle)
  197. {
  198. /* Default exit sequence for region main region */
  199. /* Handle exit of all possible states (of SimpleEvent.main_region) at position 0... */
  200. switch(handle->stateConfVector[ 0 ])
  201. {
  202. case SimpleEvent_main_region_A :
  203. {
  204. simpleEvent_exseq_main_region_A(handle);
  205. break;
  206. }
  207. case SimpleEvent_main_region_B :
  208. {
  209. simpleEvent_exseq_main_region_B(handle);
  210. break;
  211. }
  212. case SimpleEvent_main_region__final_ :
  213. {
  214. simpleEvent_exseq_main_region__final_(handle);
  215. break;
  216. }
  217. default: break;
  218. }
  219. }
  220. /* The reactions of state A. */
  221. static void simpleEvent_react_main_region_A(SimpleEvent* handle)
  222. {
  223. /* The reactions of state A. */
  224. if (simpleEvent_check_main_region_A_tr0_tr0(handle) == bool_true)
  225. {
  226. simpleEvent_effect_main_region_A_tr0(handle);
  227. }
  228. }
  229. /* The reactions of state B. */
  230. static void simpleEvent_react_main_region_B(SimpleEvent* handle)
  231. {
  232. /* The reactions of state B. */
  233. simpleEvent_effect_main_region_B_tr0(handle);
  234. }
  235. /* The reactions of state null. */
  236. static void simpleEvent_react_main_region__final_(SimpleEvent* handle)
  237. {
  238. /* The reactions of state null. */
  239. }
  240. /* Default react sequence for initial entry */
  241. static void simpleEvent_react_main_region__entry_Default(SimpleEvent* handle)
  242. {
  243. /* Default react sequence for initial entry */
  244. simpleEvent_enseq_main_region_A_default(handle);
  245. }