CastExpressions.c 9.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326
  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;
  55. if (handle->stateConfVector[0] != CastExpressions_last_state)
  56. {
  57. result = bool_true;
  58. }
  59. else
  60. {
  61. result = bool_false;
  62. }
  63. return result;
  64. }
  65. /*
  66. * Always returns 'false' since this state machine can never become final.
  67. */
  68. sc_boolean castExpressions_isFinal(const CastExpressions* handle)
  69. {
  70. return bool_false;
  71. }
  72. static void castExpressions_clearInEvents(CastExpressions* handle)
  73. {
  74. }
  75. static void castExpressions_clearOutEvents(CastExpressions* handle)
  76. {
  77. }
  78. void castExpressions_runCycle(CastExpressions* handle)
  79. {
  80. castExpressions_clearOutEvents(handle);
  81. for (handle->stateConfVectorPosition = 0;
  82. handle->stateConfVectorPosition < CASTEXPRESSIONS_MAX_ORTHOGONAL_STATES;
  83. handle->stateConfVectorPosition++)
  84. {
  85. switch (handle->stateConfVector[handle->stateConfVectorPosition])
  86. {
  87. case CastExpressions_main_region_A :
  88. {
  89. castExpressions_react_main_region_A(handle);
  90. break;
  91. }
  92. case CastExpressions_main_region_B :
  93. {
  94. castExpressions_react_main_region_B(handle);
  95. break;
  96. }
  97. case CastExpressions_main_region_C :
  98. {
  99. castExpressions_react_main_region_C(handle);
  100. break;
  101. }
  102. default:
  103. break;
  104. }
  105. }
  106. castExpressions_clearInEvents(handle);
  107. }
  108. sc_boolean castExpressions_isStateActive(const CastExpressions* handle, CastExpressionsStates state)
  109. {
  110. sc_boolean result = bool_false;
  111. switch (state)
  112. {
  113. case CastExpressions_main_region_A :
  114. result = (sc_boolean) (handle->stateConfVector[0] == CastExpressions_main_region_A
  115. );
  116. break;
  117. case CastExpressions_main_region_B :
  118. result = (sc_boolean) (handle->stateConfVector[0] == CastExpressions_main_region_B
  119. );
  120. break;
  121. case CastExpressions_main_region_C :
  122. result = (sc_boolean) (handle->stateConfVector[0] == CastExpressions_main_region_C
  123. );
  124. break;
  125. default:
  126. result = bool_false;
  127. break;
  128. }
  129. return result;
  130. }
  131. sc_real castExpressionsIface_get_realValue(const CastExpressions* handle)
  132. {
  133. return handle->iface.realValue;
  134. }
  135. void castExpressionsIface_set_realValue(CastExpressions* handle, sc_real value)
  136. {
  137. handle->iface.realValue = value;
  138. }
  139. sc_integer castExpressionsIface_get_intValue(const CastExpressions* handle)
  140. {
  141. return handle->iface.intValue;
  142. }
  143. void castExpressionsIface_set_intValue(CastExpressions* handle, sc_integer value)
  144. {
  145. handle->iface.intValue = value;
  146. }
  147. /* implementations of all internal functions */
  148. static sc_boolean castExpressions_check_main_region_A_tr0_tr0(const CastExpressions* handle)
  149. {
  150. return bool_true;
  151. }
  152. static sc_boolean castExpressions_check_main_region_B_tr0_tr0(const CastExpressions* handle)
  153. {
  154. 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;
  155. }
  156. static void castExpressions_effect_main_region_A_tr0(CastExpressions* handle)
  157. {
  158. castExpressions_exseq_main_region_A(handle);
  159. castExpressions_enseq_main_region_B_default(handle);
  160. }
  161. static void castExpressions_effect_main_region_B_tr0(CastExpressions* handle)
  162. {
  163. castExpressions_exseq_main_region_B(handle);
  164. castExpressions_enseq_main_region_C_default(handle);
  165. }
  166. /* Entry action for state 'B'. */
  167. static void castExpressions_enact_main_region_B(CastExpressions* handle)
  168. {
  169. /* Entry action for state 'B'. */
  170. handle->iface.realValue = 3 * ((sc_integer) 5.5);
  171. }
  172. /* Entry action for state 'C'. */
  173. static void castExpressions_enact_main_region_C(CastExpressions* handle)
  174. {
  175. /* Entry action for state 'C'. */
  176. handle->iface.realValue = ((sc_integer) (handle->iface.realValue * handle->iface.intValue * 10.1));
  177. }
  178. /* 'default' enter sequence for state A */
  179. static void castExpressions_enseq_main_region_A_default(CastExpressions* handle)
  180. {
  181. /* 'default' enter sequence for state A */
  182. handle->stateConfVector[0] = CastExpressions_main_region_A;
  183. handle->stateConfVectorPosition = 0;
  184. }
  185. /* 'default' enter sequence for state B */
  186. static void castExpressions_enseq_main_region_B_default(CastExpressions* handle)
  187. {
  188. /* 'default' enter sequence for state B */
  189. castExpressions_enact_main_region_B(handle);
  190. handle->stateConfVector[0] = CastExpressions_main_region_B;
  191. handle->stateConfVectorPosition = 0;
  192. }
  193. /* 'default' enter sequence for state C */
  194. static void castExpressions_enseq_main_region_C_default(CastExpressions* handle)
  195. {
  196. /* 'default' enter sequence for state C */
  197. castExpressions_enact_main_region_C(handle);
  198. handle->stateConfVector[0] = CastExpressions_main_region_C;
  199. handle->stateConfVectorPosition = 0;
  200. }
  201. /* 'default' enter sequence for region main region */
  202. static void castExpressions_enseq_main_region_default(CastExpressions* handle)
  203. {
  204. /* 'default' enter sequence for region main region */
  205. castExpressions_react_main_region__entry_Default(handle);
  206. }
  207. /* Default exit sequence for state A */
  208. static void castExpressions_exseq_main_region_A(CastExpressions* handle)
  209. {
  210. /* Default exit sequence for state A */
  211. handle->stateConfVector[0] = CastExpressions_last_state;
  212. handle->stateConfVectorPosition = 0;
  213. }
  214. /* Default exit sequence for state B */
  215. static void castExpressions_exseq_main_region_B(CastExpressions* handle)
  216. {
  217. /* Default exit sequence for state B */
  218. handle->stateConfVector[0] = CastExpressions_last_state;
  219. handle->stateConfVectorPosition = 0;
  220. }
  221. /* Default exit sequence for state C */
  222. static void castExpressions_exseq_main_region_C(CastExpressions* handle)
  223. {
  224. /* Default exit sequence for state C */
  225. handle->stateConfVector[0] = CastExpressions_last_state;
  226. handle->stateConfVectorPosition = 0;
  227. }
  228. /* Default exit sequence for region main region */
  229. static void castExpressions_exseq_main_region(CastExpressions* handle)
  230. {
  231. /* Default exit sequence for region main region */
  232. /* Handle exit of all possible states (of CastExpressions.main_region) at position 0... */
  233. switch(handle->stateConfVector[ 0 ])
  234. {
  235. case CastExpressions_main_region_A :
  236. {
  237. castExpressions_exseq_main_region_A(handle);
  238. break;
  239. }
  240. case CastExpressions_main_region_B :
  241. {
  242. castExpressions_exseq_main_region_B(handle);
  243. break;
  244. }
  245. case CastExpressions_main_region_C :
  246. {
  247. castExpressions_exseq_main_region_C(handle);
  248. break;
  249. }
  250. default: break;
  251. }
  252. }
  253. /* The reactions of state A. */
  254. static void castExpressions_react_main_region_A(CastExpressions* handle)
  255. {
  256. /* The reactions of state A. */
  257. castExpressions_effect_main_region_A_tr0(handle);
  258. }
  259. /* The reactions of state B. */
  260. static void castExpressions_react_main_region_B(CastExpressions* handle)
  261. {
  262. /* The reactions of state B. */
  263. if (castExpressions_check_main_region_B_tr0_tr0(handle) == bool_true)
  264. {
  265. castExpressions_effect_main_region_B_tr0(handle);
  266. }
  267. }
  268. /* The reactions of state C. */
  269. static void castExpressions_react_main_region_C(CastExpressions* handle)
  270. {
  271. /* The reactions of state C. */
  272. }
  273. /* Default react sequence for initial entry */
  274. static void castExpressions_react_main_region__entry_Default(CastExpressions* handle)
  275. {
  276. /* Default react sequence for initial entry */
  277. castExpressions_enseq_main_region_A_default(handle);
  278. }