SimpleEvent.c 7.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291
  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 = bool_false;
  50. int i;
  51. for(i = 0; i < SIMPLEEVENT_MAX_ORTHOGONAL_STATES; i++)
  52. {
  53. result = result || handle->stateConfVector[i] != SimpleEvent_last_state;
  54. }
  55. return result;
  56. }
  57. sc_boolean simpleEvent_isFinal(const SimpleEvent* handle)
  58. {
  59. return (handle->stateConfVector[0] == SimpleEvent_main_region__final_);
  60. }
  61. static void simpleEvent_clearInEvents(SimpleEvent* handle)
  62. {
  63. handle->iface.Event1_raised = bool_false;
  64. }
  65. static void simpleEvent_clearOutEvents(SimpleEvent* handle)
  66. {
  67. }
  68. void simpleEvent_runCycle(SimpleEvent* handle)
  69. {
  70. simpleEvent_clearOutEvents(handle);
  71. for (handle->stateConfVectorPosition = 0;
  72. handle->stateConfVectorPosition < SIMPLEEVENT_MAX_ORTHOGONAL_STATES;
  73. handle->stateConfVectorPosition++)
  74. {
  75. switch (handle->stateConfVector[handle->stateConfVectorPosition])
  76. {
  77. case SimpleEvent_main_region_A :
  78. {
  79. simpleEvent_react_main_region_A(handle);
  80. break;
  81. }
  82. case SimpleEvent_main_region_B :
  83. {
  84. simpleEvent_react_main_region_B(handle);
  85. break;
  86. }
  87. case SimpleEvent_main_region__final_ :
  88. {
  89. simpleEvent_react_main_region__final_(handle);
  90. break;
  91. }
  92. default:
  93. break;
  94. }
  95. }
  96. simpleEvent_clearInEvents(handle);
  97. }
  98. sc_boolean simpleEvent_isStateActive(const SimpleEvent* handle, SimpleEventStates state)
  99. {
  100. sc_boolean result = bool_false;
  101. switch (state)
  102. {
  103. case SimpleEvent_main_region_A :
  104. result = (sc_boolean) (handle->stateConfVector[SCVI_SIMPLEEVENT_MAIN_REGION_A] == SimpleEvent_main_region_A
  105. );
  106. break;
  107. case SimpleEvent_main_region_B :
  108. result = (sc_boolean) (handle->stateConfVector[SCVI_SIMPLEEVENT_MAIN_REGION_B] == SimpleEvent_main_region_B
  109. );
  110. break;
  111. case SimpleEvent_main_region__final_ :
  112. result = (sc_boolean) (handle->stateConfVector[SCVI_SIMPLEEVENT_MAIN_REGION__FINAL_] == SimpleEvent_main_region__final_
  113. );
  114. break;
  115. default:
  116. result = bool_false;
  117. break;
  118. }
  119. return result;
  120. }
  121. void simpleEventIface_raise_event1(SimpleEvent* handle)
  122. {
  123. handle->iface.Event1_raised = bool_true;
  124. }
  125. /* implementations of all internal functions */
  126. static sc_boolean simpleEvent_check_main_region_A_tr0_tr0(const SimpleEvent* handle)
  127. {
  128. return handle->iface.Event1_raised;
  129. }
  130. static sc_boolean simpleEvent_check_main_region_B_tr0_tr0(const SimpleEvent* handle)
  131. {
  132. return bool_true;
  133. }
  134. static void simpleEvent_effect_main_region_A_tr0(SimpleEvent* handle)
  135. {
  136. simpleEvent_exseq_main_region_A(handle);
  137. simpleEvent_enseq_main_region_B_default(handle);
  138. }
  139. static void simpleEvent_effect_main_region_B_tr0(SimpleEvent* handle)
  140. {
  141. simpleEvent_exseq_main_region_B(handle);
  142. simpleEvent_enseq_main_region__final__default(handle);
  143. }
  144. /* 'default' enter sequence for state A */
  145. static void simpleEvent_enseq_main_region_A_default(SimpleEvent* handle)
  146. {
  147. /* 'default' enter sequence for state A */
  148. handle->stateConfVector[0] = SimpleEvent_main_region_A;
  149. handle->stateConfVectorPosition = 0;
  150. }
  151. /* 'default' enter sequence for state B */
  152. static void simpleEvent_enseq_main_region_B_default(SimpleEvent* handle)
  153. {
  154. /* 'default' enter sequence for state B */
  155. handle->stateConfVector[0] = SimpleEvent_main_region_B;
  156. handle->stateConfVectorPosition = 0;
  157. }
  158. /* Default enter sequence for state null */
  159. static void simpleEvent_enseq_main_region__final__default(SimpleEvent* handle)
  160. {
  161. /* Default enter sequence for state null */
  162. handle->stateConfVector[0] = SimpleEvent_main_region__final_;
  163. handle->stateConfVectorPosition = 0;
  164. }
  165. /* 'default' enter sequence for region main region */
  166. static void simpleEvent_enseq_main_region_default(SimpleEvent* handle)
  167. {
  168. /* 'default' enter sequence for region main region */
  169. simpleEvent_react_main_region__entry_Default(handle);
  170. }
  171. /* Default exit sequence for state A */
  172. static void simpleEvent_exseq_main_region_A(SimpleEvent* handle)
  173. {
  174. /* Default exit sequence for state A */
  175. handle->stateConfVector[0] = SimpleEvent_last_state;
  176. handle->stateConfVectorPosition = 0;
  177. }
  178. /* Default exit sequence for state B */
  179. static void simpleEvent_exseq_main_region_B(SimpleEvent* handle)
  180. {
  181. /* Default exit sequence for state B */
  182. handle->stateConfVector[0] = SimpleEvent_last_state;
  183. handle->stateConfVectorPosition = 0;
  184. }
  185. /* Default exit sequence for final state. */
  186. static void simpleEvent_exseq_main_region__final_(SimpleEvent* handle)
  187. {
  188. /* Default exit sequence for final state. */
  189. handle->stateConfVector[0] = SimpleEvent_last_state;
  190. handle->stateConfVectorPosition = 0;
  191. }
  192. /* Default exit sequence for region main region */
  193. static void simpleEvent_exseq_main_region(SimpleEvent* handle)
  194. {
  195. /* Default exit sequence for region main region */
  196. /* Handle exit of all possible states (of SimpleEvent.main_region) at position 0... */
  197. switch(handle->stateConfVector[ 0 ])
  198. {
  199. case SimpleEvent_main_region_A :
  200. {
  201. simpleEvent_exseq_main_region_A(handle);
  202. break;
  203. }
  204. case SimpleEvent_main_region_B :
  205. {
  206. simpleEvent_exseq_main_region_B(handle);
  207. break;
  208. }
  209. case SimpleEvent_main_region__final_ :
  210. {
  211. simpleEvent_exseq_main_region__final_(handle);
  212. break;
  213. }
  214. default: break;
  215. }
  216. }
  217. /* The reactions of state A. */
  218. static void simpleEvent_react_main_region_A(SimpleEvent* handle)
  219. {
  220. /* The reactions of state A. */
  221. if (simpleEvent_check_main_region_A_tr0_tr0(handle) == bool_true)
  222. {
  223. simpleEvent_effect_main_region_A_tr0(handle);
  224. }
  225. }
  226. /* The reactions of state B. */
  227. static void simpleEvent_react_main_region_B(SimpleEvent* handle)
  228. {
  229. /* The reactions of state B. */
  230. simpleEvent_effect_main_region_B_tr0(handle);
  231. }
  232. /* The reactions of state null. */
  233. static void simpleEvent_react_main_region__final_(SimpleEvent* handle)
  234. {
  235. /* The reactions of state null. */
  236. }
  237. /* Default react sequence for initial entry */
  238. static void simpleEvent_react_main_region__entry_Default(SimpleEvent* handle)
  239. {
  240. /* Default react sequence for initial entry */
  241. simpleEvent_enseq_main_region_A_default(handle);
  242. }