SimpleHierachy.c 8.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285
  1. #include <stdlib.h>
  2. #include <string.h>
  3. #include "sc_types.h"
  4. #include "SimpleHierachy.h"
  5. /*! \file Implementation of the state machine 'SimpleHierachy'
  6. */
  7. /* prototypes of all internal functions */
  8. static sc_boolean simpleHierachy_check_main_region_A_tr0_tr0(const SimpleHierachy* handle);
  9. static void simpleHierachy_effect_main_region_A_tr0(SimpleHierachy* handle);
  10. static void simpleHierachy_enseq_main_region_A_default(SimpleHierachy* handle);
  11. static void simpleHierachy_enseq_main_region_B_default(SimpleHierachy* handle);
  12. static void simpleHierachy_enseq_main_region_B_subregion1_B1_default(SimpleHierachy* handle);
  13. static void simpleHierachy_enseq_main_region_default(SimpleHierachy* handle);
  14. static void simpleHierachy_enseq_main_region_B_subregion1_default(SimpleHierachy* handle);
  15. static void simpleHierachy_exseq_main_region_A(SimpleHierachy* handle);
  16. static void simpleHierachy_exseq_main_region_B_subregion1_B1(SimpleHierachy* handle);
  17. static void simpleHierachy_exseq_main_region(SimpleHierachy* handle);
  18. static void simpleHierachy_exseq_main_region_B_subregion1(SimpleHierachy* handle);
  19. static void simpleHierachy_react_main_region_A(SimpleHierachy* handle);
  20. static void simpleHierachy_react_main_region_B_subregion1_B1(SimpleHierachy* handle);
  21. static void simpleHierachy_react_main_region__entry_Default(SimpleHierachy* handle);
  22. static void simpleHierachy_react_main_region_B_subregion1__entry_Default(SimpleHierachy* handle);
  23. static void simpleHierachy_clearInEvents(SimpleHierachy* handle);
  24. static void simpleHierachy_clearOutEvents(SimpleHierachy* handle);
  25. void simpleHierachy_init(SimpleHierachy* handle)
  26. {
  27. sc_integer i;
  28. for (i = 0; i < SIMPLEHIERACHY_MAX_ORTHOGONAL_STATES; ++i)
  29. {
  30. handle->stateConfVector[i] = SimpleHierachy_last_state;
  31. }
  32. handle->stateConfVectorPosition = 0;
  33. simpleHierachy_clearInEvents(handle);
  34. simpleHierachy_clearOutEvents(handle);
  35. }
  36. void simpleHierachy_enter(SimpleHierachy* handle)
  37. {
  38. /* Default enter sequence for statechart SimpleHierachy */
  39. simpleHierachy_enseq_main_region_default(handle);
  40. }
  41. void simpleHierachy_exit(SimpleHierachy* handle)
  42. {
  43. /* Default exit sequence for statechart SimpleHierachy */
  44. simpleHierachy_exseq_main_region(handle);
  45. }
  46. sc_boolean simpleHierachy_isActive(const SimpleHierachy* handle)
  47. {
  48. sc_boolean result = bool_false;
  49. int i;
  50. for(i = 0; i < SIMPLEHIERACHY_MAX_ORTHOGONAL_STATES; i++)
  51. {
  52. result = result || handle->stateConfVector[i] != SimpleHierachy_last_state;
  53. }
  54. return result;
  55. }
  56. /*
  57. * Always returns 'false' since this state machine can never become final.
  58. */
  59. sc_boolean simpleHierachy_isFinal(const SimpleHierachy* handle)
  60. {
  61. return bool_false;
  62. }
  63. static void simpleHierachy_clearInEvents(SimpleHierachy* handle)
  64. {
  65. handle->iface.Event1_raised = bool_false;
  66. }
  67. static void simpleHierachy_clearOutEvents(SimpleHierachy* handle)
  68. {
  69. }
  70. void simpleHierachy_runCycle(SimpleHierachy* handle)
  71. {
  72. simpleHierachy_clearOutEvents(handle);
  73. for (handle->stateConfVectorPosition = 0;
  74. handle->stateConfVectorPosition < SIMPLEHIERACHY_MAX_ORTHOGONAL_STATES;
  75. handle->stateConfVectorPosition++)
  76. {
  77. switch (handle->stateConfVector[handle->stateConfVectorPosition])
  78. {
  79. case SimpleHierachy_main_region_A :
  80. {
  81. simpleHierachy_react_main_region_A(handle);
  82. break;
  83. }
  84. case SimpleHierachy_main_region_B_subregion1_B1 :
  85. {
  86. simpleHierachy_react_main_region_B_subregion1_B1(handle);
  87. break;
  88. }
  89. default:
  90. break;
  91. }
  92. }
  93. simpleHierachy_clearInEvents(handle);
  94. }
  95. sc_boolean simpleHierachy_isStateActive(const SimpleHierachy* handle, SimpleHierachyStates state)
  96. {
  97. sc_boolean result = bool_false;
  98. switch (state)
  99. {
  100. case SimpleHierachy_main_region_A :
  101. result = (sc_boolean) (handle->stateConfVector[SCVI_SIMPLEHIERACHY_MAIN_REGION_A] == SimpleHierachy_main_region_A
  102. );
  103. break;
  104. case SimpleHierachy_main_region_B :
  105. result = (sc_boolean) (handle->stateConfVector[SCVI_SIMPLEHIERACHY_MAIN_REGION_B] >= SimpleHierachy_main_region_B
  106. && handle->stateConfVector[SCVI_SIMPLEHIERACHY_MAIN_REGION_B] <= SimpleHierachy_main_region_B_subregion1_B1);
  107. break;
  108. case SimpleHierachy_main_region_B_subregion1_B1 :
  109. result = (sc_boolean) (handle->stateConfVector[SCVI_SIMPLEHIERACHY_MAIN_REGION_B_SUBREGION1_B1] == SimpleHierachy_main_region_B_subregion1_B1
  110. );
  111. break;
  112. default:
  113. result = bool_false;
  114. break;
  115. }
  116. return result;
  117. }
  118. void simpleHierachyIface_raise_event1(SimpleHierachy* handle)
  119. {
  120. handle->iface.Event1_raised = bool_true;
  121. }
  122. /* implementations of all internal functions */
  123. static sc_boolean simpleHierachy_check_main_region_A_tr0_tr0(const SimpleHierachy* handle)
  124. {
  125. return handle->iface.Event1_raised;
  126. }
  127. static void simpleHierachy_effect_main_region_A_tr0(SimpleHierachy* handle)
  128. {
  129. simpleHierachy_exseq_main_region_A(handle);
  130. simpleHierachy_enseq_main_region_B_default(handle);
  131. }
  132. /* 'default' enter sequence for state A */
  133. static void simpleHierachy_enseq_main_region_A_default(SimpleHierachy* handle)
  134. {
  135. /* 'default' enter sequence for state A */
  136. handle->stateConfVector[0] = SimpleHierachy_main_region_A;
  137. handle->stateConfVectorPosition = 0;
  138. }
  139. /* 'default' enter sequence for state B */
  140. static void simpleHierachy_enseq_main_region_B_default(SimpleHierachy* handle)
  141. {
  142. /* 'default' enter sequence for state B */
  143. simpleHierachy_enseq_main_region_B_subregion1_default(handle);
  144. }
  145. /* 'default' enter sequence for state B1 */
  146. static void simpleHierachy_enseq_main_region_B_subregion1_B1_default(SimpleHierachy* handle)
  147. {
  148. /* 'default' enter sequence for state B1 */
  149. handle->stateConfVector[0] = SimpleHierachy_main_region_B_subregion1_B1;
  150. handle->stateConfVectorPosition = 0;
  151. }
  152. /* 'default' enter sequence for region main region */
  153. static void simpleHierachy_enseq_main_region_default(SimpleHierachy* handle)
  154. {
  155. /* 'default' enter sequence for region main region */
  156. simpleHierachy_react_main_region__entry_Default(handle);
  157. }
  158. /* 'default' enter sequence for region subregion1 */
  159. static void simpleHierachy_enseq_main_region_B_subregion1_default(SimpleHierachy* handle)
  160. {
  161. /* 'default' enter sequence for region subregion1 */
  162. simpleHierachy_react_main_region_B_subregion1__entry_Default(handle);
  163. }
  164. /* Default exit sequence for state A */
  165. static void simpleHierachy_exseq_main_region_A(SimpleHierachy* handle)
  166. {
  167. /* Default exit sequence for state A */
  168. handle->stateConfVector[0] = SimpleHierachy_last_state;
  169. handle->stateConfVectorPosition = 0;
  170. }
  171. /* Default exit sequence for state B1 */
  172. static void simpleHierachy_exseq_main_region_B_subregion1_B1(SimpleHierachy* handle)
  173. {
  174. /* Default exit sequence for state B1 */
  175. handle->stateConfVector[0] = SimpleHierachy_last_state;
  176. handle->stateConfVectorPosition = 0;
  177. }
  178. /* Default exit sequence for region main region */
  179. static void simpleHierachy_exseq_main_region(SimpleHierachy* handle)
  180. {
  181. /* Default exit sequence for region main region */
  182. /* Handle exit of all possible states (of SimpleHierachy.main_region) at position 0... */
  183. switch(handle->stateConfVector[ 0 ])
  184. {
  185. case SimpleHierachy_main_region_A :
  186. {
  187. simpleHierachy_exseq_main_region_A(handle);
  188. break;
  189. }
  190. case SimpleHierachy_main_region_B_subregion1_B1 :
  191. {
  192. simpleHierachy_exseq_main_region_B_subregion1_B1(handle);
  193. break;
  194. }
  195. default: break;
  196. }
  197. }
  198. /* Default exit sequence for region subregion1 */
  199. static void simpleHierachy_exseq_main_region_B_subregion1(SimpleHierachy* handle)
  200. {
  201. /* Default exit sequence for region subregion1 */
  202. /* Handle exit of all possible states (of SimpleHierachy.main_region.B.subregion1) at position 0... */
  203. switch(handle->stateConfVector[ 0 ])
  204. {
  205. case SimpleHierachy_main_region_B_subregion1_B1 :
  206. {
  207. simpleHierachy_exseq_main_region_B_subregion1_B1(handle);
  208. break;
  209. }
  210. default: break;
  211. }
  212. }
  213. /* The reactions of state A. */
  214. static void simpleHierachy_react_main_region_A(SimpleHierachy* handle)
  215. {
  216. /* The reactions of state A. */
  217. if (simpleHierachy_check_main_region_A_tr0_tr0(handle) == bool_true)
  218. {
  219. simpleHierachy_effect_main_region_A_tr0(handle);
  220. }
  221. }
  222. /* The reactions of state B1. */
  223. static void simpleHierachy_react_main_region_B_subregion1_B1(SimpleHierachy* handle)
  224. {
  225. /* The reactions of state B1. */
  226. }
  227. /* Default react sequence for initial entry */
  228. static void simpleHierachy_react_main_region__entry_Default(SimpleHierachy* handle)
  229. {
  230. /* Default react sequence for initial entry */
  231. simpleHierachy_enseq_main_region_A_default(handle);
  232. }
  233. /* Default react sequence for initial entry */
  234. static void simpleHierachy_react_main_region_B_subregion1__entry_Default(SimpleHierachy* handle)
  235. {
  236. /* Default react sequence for initial entry */
  237. simpleHierachy_enseq_main_region_B_subregion1_B1_default(handle);
  238. }