CastExpressions.c 9.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325
  1. #include <stdlib.h>
  2. #include <string.h>
  3. #include "sc_types.h"
  4. #include "CastExpressions.h"
  5. /*! \file Implementation of the state machine 'CastExpressions'
  6. */
  7. /* prototypes of all internal functions */
  8. static sc_boolean castExpressions_check_main_region_A_tr0_tr0(const CastExpressions* handle);
  9. static sc_boolean castExpressions_check_main_region_B_tr0_tr0(const CastExpressions* handle);
  10. static void castExpressions_effect_main_region_A_tr0(CastExpressions* handle);
  11. static void castExpressions_effect_main_region_B_tr0(CastExpressions* handle);
  12. static void castExpressions_enact_main_region_B(CastExpressions* handle);
  13. static void castExpressions_enact_main_region_C(CastExpressions* handle);
  14. static void castExpressions_enseq_main_region_A_default(CastExpressions* handle);
  15. static void castExpressions_enseq_main_region_B_default(CastExpressions* handle);
  16. static void castExpressions_enseq_main_region_C_default(CastExpressions* handle);
  17. static void castExpressions_enseq_main_region_default(CastExpressions* handle);
  18. static void castExpressions_exseq_main_region_A(CastExpressions* handle);
  19. static void castExpressions_exseq_main_region_B(CastExpressions* handle);
  20. static void castExpressions_exseq_main_region_C(CastExpressions* handle);
  21. static void castExpressions_exseq_main_region(CastExpressions* handle);
  22. static void castExpressions_react_main_region_A(CastExpressions* handle);
  23. static void castExpressions_react_main_region_B(CastExpressions* handle);
  24. static void castExpressions_react_main_region_C(CastExpressions* handle);
  25. static void castExpressions_react_main_region__entry_Default(CastExpressions* handle);
  26. static void castExpressions_clearInEvents(CastExpressions* handle);
  27. static void castExpressions_clearOutEvents(CastExpressions* handle);
  28. void castExpressions_init(CastExpressions* handle)
  29. {
  30. sc_integer i;
  31. for (i = 0; i < CASTEXPRESSIONS_MAX_ORTHOGONAL_STATES; ++i)
  32. {
  33. handle->stateConfVector[i] = CastExpressions_last_state;
  34. }
  35. handle->stateConfVectorPosition = 0;
  36. castExpressions_clearInEvents(handle);
  37. castExpressions_clearOutEvents(handle);
  38. /* Default init sequence for statechart CastExpressions */
  39. handle->iface.realValue = (((sc_real) 5));
  40. handle->iface.intValue = (((sc_integer) 5.5));
  41. }
  42. void castExpressions_enter(CastExpressions* handle)
  43. {
  44. /* Default enter sequence for statechart CastExpressions */
  45. castExpressions_enseq_main_region_default(handle);
  46. }
  47. void castExpressions_exit(CastExpressions* handle)
  48. {
  49. /* Default exit sequence for statechart CastExpressions */
  50. castExpressions_exseq_main_region(handle);
  51. }
  52. sc_boolean castExpressions_isActive(const CastExpressions* handle)
  53. {
  54. sc_boolean result = bool_false;
  55. int i;
  56. for(i = 0; i < CASTEXPRESSIONS_MAX_ORTHOGONAL_STATES; i++)
  57. {
  58. result = result || handle->stateConfVector[i] != CastExpressions_last_state;
  59. }
  60. return result;
  61. }
  62. /*
  63. * Always returns 'false' since this state machine can never become final.
  64. */
  65. sc_boolean castExpressions_isFinal(const CastExpressions* handle)
  66. {
  67. return bool_false;
  68. }
  69. static void castExpressions_clearInEvents(CastExpressions* handle)
  70. {
  71. }
  72. static void castExpressions_clearOutEvents(CastExpressions* handle)
  73. {
  74. }
  75. void castExpressions_runCycle(CastExpressions* handle)
  76. {
  77. castExpressions_clearOutEvents(handle);
  78. for (handle->stateConfVectorPosition = 0;
  79. handle->stateConfVectorPosition < CASTEXPRESSIONS_MAX_ORTHOGONAL_STATES;
  80. handle->stateConfVectorPosition++)
  81. {
  82. switch (handle->stateConfVector[handle->stateConfVectorPosition])
  83. {
  84. case CastExpressions_main_region_A :
  85. {
  86. castExpressions_react_main_region_A(handle);
  87. break;
  88. }
  89. case CastExpressions_main_region_B :
  90. {
  91. castExpressions_react_main_region_B(handle);
  92. break;
  93. }
  94. case CastExpressions_main_region_C :
  95. {
  96. castExpressions_react_main_region_C(handle);
  97. break;
  98. }
  99. default:
  100. break;
  101. }
  102. }
  103. castExpressions_clearInEvents(handle);
  104. }
  105. sc_boolean castExpressions_isStateActive(const CastExpressions* handle, CastExpressionsStates state)
  106. {
  107. sc_boolean result = bool_false;
  108. switch (state)
  109. {
  110. case CastExpressions_main_region_A :
  111. result = (sc_boolean) (handle->stateConfVector[SCVI_CASTEXPRESSIONS_MAIN_REGION_A] == CastExpressions_main_region_A
  112. );
  113. break;
  114. case CastExpressions_main_region_B :
  115. result = (sc_boolean) (handle->stateConfVector[SCVI_CASTEXPRESSIONS_MAIN_REGION_B] == CastExpressions_main_region_B
  116. );
  117. break;
  118. case CastExpressions_main_region_C :
  119. result = (sc_boolean) (handle->stateConfVector[SCVI_CASTEXPRESSIONS_MAIN_REGION_C] == CastExpressions_main_region_C
  120. );
  121. break;
  122. default:
  123. result = bool_false;
  124. break;
  125. }
  126. return result;
  127. }
  128. sc_real castExpressionsIface_get_realValue(const CastExpressions* handle)
  129. {
  130. return handle->iface.realValue;
  131. }
  132. void castExpressionsIface_set_realValue(CastExpressions* handle, sc_real value)
  133. {
  134. handle->iface.realValue = value;
  135. }
  136. sc_integer castExpressionsIface_get_intValue(const CastExpressions* handle)
  137. {
  138. return handle->iface.intValue;
  139. }
  140. void castExpressionsIface_set_intValue(CastExpressions* handle, sc_integer value)
  141. {
  142. handle->iface.intValue = value;
  143. }
  144. /* implementations of all internal functions */
  145. static sc_boolean castExpressions_check_main_region_A_tr0_tr0(const CastExpressions* handle)
  146. {
  147. return bool_true;
  148. }
  149. static sc_boolean castExpressions_check_main_region_B_tr0_tr0(const CastExpressions* handle)
  150. {
  151. return ((bool_true) && (((sc_real) (handle->iface.realValue * 0.1)) > ((sc_integer) 1.4) && ((sc_integer) (handle->iface.realValue * handle->iface.intValue)) < ((sc_real) 100))) ? bool_true : bool_false;
  152. }
  153. static void castExpressions_effect_main_region_A_tr0(CastExpressions* handle)
  154. {
  155. castExpressions_exseq_main_region_A(handle);
  156. castExpressions_enseq_main_region_B_default(handle);
  157. }
  158. static void castExpressions_effect_main_region_B_tr0(CastExpressions* handle)
  159. {
  160. castExpressions_exseq_main_region_B(handle);
  161. castExpressions_enseq_main_region_C_default(handle);
  162. }
  163. /* Entry action for state 'B'. */
  164. static void castExpressions_enact_main_region_B(CastExpressions* handle)
  165. {
  166. /* Entry action for state 'B'. */
  167. handle->iface.realValue = 3 * ((sc_integer) 5.5);
  168. }
  169. /* Entry action for state 'C'. */
  170. static void castExpressions_enact_main_region_C(CastExpressions* handle)
  171. {
  172. /* Entry action for state 'C'. */
  173. handle->iface.realValue = ((sc_integer) (handle->iface.realValue * handle->iface.intValue * 10.1));
  174. }
  175. /* 'default' enter sequence for state A */
  176. static void castExpressions_enseq_main_region_A_default(CastExpressions* handle)
  177. {
  178. /* 'default' enter sequence for state A */
  179. handle->stateConfVector[0] = CastExpressions_main_region_A;
  180. handle->stateConfVectorPosition = 0;
  181. }
  182. /* 'default' enter sequence for state B */
  183. static void castExpressions_enseq_main_region_B_default(CastExpressions* handle)
  184. {
  185. /* 'default' enter sequence for state B */
  186. castExpressions_enact_main_region_B(handle);
  187. handle->stateConfVector[0] = CastExpressions_main_region_B;
  188. handle->stateConfVectorPosition = 0;
  189. }
  190. /* 'default' enter sequence for state C */
  191. static void castExpressions_enseq_main_region_C_default(CastExpressions* handle)
  192. {
  193. /* 'default' enter sequence for state C */
  194. castExpressions_enact_main_region_C(handle);
  195. handle->stateConfVector[0] = CastExpressions_main_region_C;
  196. handle->stateConfVectorPosition = 0;
  197. }
  198. /* 'default' enter sequence for region main region */
  199. static void castExpressions_enseq_main_region_default(CastExpressions* handle)
  200. {
  201. /* 'default' enter sequence for region main region */
  202. castExpressions_react_main_region__entry_Default(handle);
  203. }
  204. /* Default exit sequence for state A */
  205. static void castExpressions_exseq_main_region_A(CastExpressions* handle)
  206. {
  207. /* Default exit sequence for state A */
  208. handle->stateConfVector[0] = CastExpressions_last_state;
  209. handle->stateConfVectorPosition = 0;
  210. }
  211. /* Default exit sequence for state B */
  212. static void castExpressions_exseq_main_region_B(CastExpressions* handle)
  213. {
  214. /* Default exit sequence for state B */
  215. handle->stateConfVector[0] = CastExpressions_last_state;
  216. handle->stateConfVectorPosition = 0;
  217. }
  218. /* Default exit sequence for state C */
  219. static void castExpressions_exseq_main_region_C(CastExpressions* handle)
  220. {
  221. /* Default exit sequence for state C */
  222. handle->stateConfVector[0] = CastExpressions_last_state;
  223. handle->stateConfVectorPosition = 0;
  224. }
  225. /* Default exit sequence for region main region */
  226. static void castExpressions_exseq_main_region(CastExpressions* handle)
  227. {
  228. /* Default exit sequence for region main region */
  229. /* Handle exit of all possible states (of CastExpressions.main_region) at position 0... */
  230. switch(handle->stateConfVector[ 0 ])
  231. {
  232. case CastExpressions_main_region_A :
  233. {
  234. castExpressions_exseq_main_region_A(handle);
  235. break;
  236. }
  237. case CastExpressions_main_region_B :
  238. {
  239. castExpressions_exseq_main_region_B(handle);
  240. break;
  241. }
  242. case CastExpressions_main_region_C :
  243. {
  244. castExpressions_exseq_main_region_C(handle);
  245. break;
  246. }
  247. default: break;
  248. }
  249. }
  250. /* The reactions of state A. */
  251. static void castExpressions_react_main_region_A(CastExpressions* handle)
  252. {
  253. /* The reactions of state A. */
  254. castExpressions_effect_main_region_A_tr0(handle);
  255. }
  256. /* The reactions of state B. */
  257. static void castExpressions_react_main_region_B(CastExpressions* handle)
  258. {
  259. /* The reactions of state B. */
  260. if (castExpressions_check_main_region_B_tr0_tr0(handle) == bool_true)
  261. {
  262. castExpressions_effect_main_region_B_tr0(handle);
  263. }
  264. }
  265. /* The reactions of state C. */
  266. static void castExpressions_react_main_region_C(CastExpressions* handle)
  267. {
  268. /* The reactions of state C. */
  269. }
  270. /* Default react sequence for initial entry */
  271. static void castExpressions_react_main_region__entry_Default(CastExpressions* handle)
  272. {
  273. /* Default react sequence for initial entry */
  274. castExpressions_enseq_main_region_A_default(handle);
  275. }