IntegerExpressions.c 14 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456
  1. #include <stdlib.h>
  2. #include <string.h>
  3. #include "sc_types.h"
  4. #include "IntegerExpressions.h"
  5. /*! \file Implementation of the state machine 'IntegerExpressions'
  6. */
  7. /* prototypes of all internal functions */
  8. static sc_boolean integerExpressions_check_main_region_StateA_tr0_tr0(const IntegerExpressions* handle);
  9. static void integerExpressions_effect_main_region_StateA_tr0(IntegerExpressions* handle);
  10. static void integerExpressions_enact_main_region_StateA(IntegerExpressions* handle);
  11. static void integerExpressions_enact_main_region_StateB(IntegerExpressions* handle);
  12. static void integerExpressions_enseq_main_region_StateA_default(IntegerExpressions* handle);
  13. static void integerExpressions_enseq_main_region_StateB_default(IntegerExpressions* handle);
  14. static void integerExpressions_enseq_main_region_default(IntegerExpressions* handle);
  15. static void integerExpressions_exseq_main_region_StateA(IntegerExpressions* handle);
  16. static void integerExpressions_exseq_main_region_StateB(IntegerExpressions* handle);
  17. static void integerExpressions_exseq_main_region(IntegerExpressions* handle);
  18. static void integerExpressions_react_main_region_StateA(IntegerExpressions* handle);
  19. static void integerExpressions_react_main_region_StateB(IntegerExpressions* handle);
  20. static void integerExpressions_react_main_region__entry_Default(IntegerExpressions* handle);
  21. static void integerExpressions_clearInEvents(IntegerExpressions* handle);
  22. static void integerExpressions_clearOutEvents(IntegerExpressions* handle);
  23. void integerExpressions_init(IntegerExpressions* handle)
  24. {
  25. sc_integer i;
  26. for (i = 0; i < INTEGEREXPRESSIONS_MAX_ORTHOGONAL_STATES; ++i)
  27. {
  28. handle->stateConfVector[i] = IntegerExpressions_last_state;
  29. }
  30. handle->stateConfVectorPosition = 0;
  31. integerExpressions_clearInEvents(handle);
  32. integerExpressions_clearOutEvents(handle);
  33. /* Default init sequence for statechart IntegerExpressions */
  34. handle->iface.myInt1 = 0;
  35. handle->iface.myInt2 = 0;
  36. handle->iface.less = bool_false;
  37. handle->iface.greater = bool_false;
  38. handle->iface.equalOrLess = bool_false;
  39. handle->iface.equalOrGreater = bool_false;
  40. handle->iface.equal = bool_false;
  41. handle->iface.notEqual = bool_false;
  42. handle->iface.plus = 0;
  43. handle->iface.minus = 0;
  44. handle->iface.multiply = 0;
  45. handle->iface.division = 0;
  46. handle->iface.modulo = 0;
  47. handle->iface.negat = 0;
  48. handle->iface.complement = bool_false;
  49. handle->iface.multiAssign = 2;
  50. handle->iface.divAssign = 20;
  51. handle->iface.plusAssign = 2;
  52. handle->iface.minusAssign = 2;
  53. handle->iface.moduloAssign = 20;
  54. }
  55. void integerExpressions_enter(IntegerExpressions* handle)
  56. {
  57. /* Default enter sequence for statechart IntegerExpressions */
  58. integerExpressions_enseq_main_region_default(handle);
  59. }
  60. void integerExpressions_exit(IntegerExpressions* handle)
  61. {
  62. /* Default exit sequence for statechart IntegerExpressions */
  63. integerExpressions_exseq_main_region(handle);
  64. }
  65. sc_boolean integerExpressions_isActive(const IntegerExpressions* handle)
  66. {
  67. sc_boolean result = bool_false;
  68. int i;
  69. for(i = 0; i < INTEGEREXPRESSIONS_MAX_ORTHOGONAL_STATES; i++)
  70. {
  71. result = result || handle->stateConfVector[i] != IntegerExpressions_last_state;
  72. }
  73. return result;
  74. }
  75. /*
  76. * Always returns 'false' since this state machine can never become final.
  77. */
  78. sc_boolean integerExpressions_isFinal(const IntegerExpressions* handle)
  79. {
  80. return bool_false;
  81. }
  82. static void integerExpressions_clearInEvents(IntegerExpressions* handle)
  83. {
  84. handle->iface.e1_raised = bool_false;
  85. }
  86. static void integerExpressions_clearOutEvents(IntegerExpressions* handle)
  87. {
  88. }
  89. void integerExpressions_runCycle(IntegerExpressions* handle)
  90. {
  91. integerExpressions_clearOutEvents(handle);
  92. for (handle->stateConfVectorPosition = 0;
  93. handle->stateConfVectorPosition < INTEGEREXPRESSIONS_MAX_ORTHOGONAL_STATES;
  94. handle->stateConfVectorPosition++)
  95. {
  96. switch (handle->stateConfVector[handle->stateConfVectorPosition])
  97. {
  98. case IntegerExpressions_main_region_StateA :
  99. {
  100. integerExpressions_react_main_region_StateA(handle);
  101. break;
  102. }
  103. case IntegerExpressions_main_region_StateB :
  104. {
  105. integerExpressions_react_main_region_StateB(handle);
  106. break;
  107. }
  108. default:
  109. break;
  110. }
  111. }
  112. integerExpressions_clearInEvents(handle);
  113. }
  114. sc_boolean integerExpressions_isStateActive(const IntegerExpressions* handle, IntegerExpressionsStates state)
  115. {
  116. sc_boolean result = bool_false;
  117. switch (state)
  118. {
  119. case IntegerExpressions_main_region_StateA :
  120. result = (sc_boolean) (handle->stateConfVector[SCVI_INTEGEREXPRESSIONS_MAIN_REGION_STATEA] == IntegerExpressions_main_region_StateA
  121. );
  122. break;
  123. case IntegerExpressions_main_region_StateB :
  124. result = (sc_boolean) (handle->stateConfVector[SCVI_INTEGEREXPRESSIONS_MAIN_REGION_STATEB] == IntegerExpressions_main_region_StateB
  125. );
  126. break;
  127. default:
  128. result = bool_false;
  129. break;
  130. }
  131. return result;
  132. }
  133. void integerExpressionsIface_raise_e1(IntegerExpressions* handle)
  134. {
  135. handle->iface.e1_raised = bool_true;
  136. }
  137. sc_integer integerExpressionsIface_get_myInt1(const IntegerExpressions* handle)
  138. {
  139. return handle->iface.myInt1;
  140. }
  141. void integerExpressionsIface_set_myInt1(IntegerExpressions* handle, sc_integer value)
  142. {
  143. handle->iface.myInt1 = value;
  144. }
  145. sc_integer integerExpressionsIface_get_myInt2(const IntegerExpressions* handle)
  146. {
  147. return handle->iface.myInt2;
  148. }
  149. void integerExpressionsIface_set_myInt2(IntegerExpressions* handle, sc_integer value)
  150. {
  151. handle->iface.myInt2 = value;
  152. }
  153. sc_boolean integerExpressionsIface_get_less(const IntegerExpressions* handle)
  154. {
  155. return handle->iface.less;
  156. }
  157. void integerExpressionsIface_set_less(IntegerExpressions* handle, sc_boolean value)
  158. {
  159. handle->iface.less = value;
  160. }
  161. sc_boolean integerExpressionsIface_get_greater(const IntegerExpressions* handle)
  162. {
  163. return handle->iface.greater;
  164. }
  165. void integerExpressionsIface_set_greater(IntegerExpressions* handle, sc_boolean value)
  166. {
  167. handle->iface.greater = value;
  168. }
  169. sc_boolean integerExpressionsIface_get_equalOrLess(const IntegerExpressions* handle)
  170. {
  171. return handle->iface.equalOrLess;
  172. }
  173. void integerExpressionsIface_set_equalOrLess(IntegerExpressions* handle, sc_boolean value)
  174. {
  175. handle->iface.equalOrLess = value;
  176. }
  177. sc_boolean integerExpressionsIface_get_equalOrGreater(const IntegerExpressions* handle)
  178. {
  179. return handle->iface.equalOrGreater;
  180. }
  181. void integerExpressionsIface_set_equalOrGreater(IntegerExpressions* handle, sc_boolean value)
  182. {
  183. handle->iface.equalOrGreater = value;
  184. }
  185. sc_boolean integerExpressionsIface_get_equal(const IntegerExpressions* handle)
  186. {
  187. return handle->iface.equal;
  188. }
  189. void integerExpressionsIface_set_equal(IntegerExpressions* handle, sc_boolean value)
  190. {
  191. handle->iface.equal = value;
  192. }
  193. sc_boolean integerExpressionsIface_get_notEqual(const IntegerExpressions* handle)
  194. {
  195. return handle->iface.notEqual;
  196. }
  197. void integerExpressionsIface_set_notEqual(IntegerExpressions* handle, sc_boolean value)
  198. {
  199. handle->iface.notEqual = value;
  200. }
  201. sc_integer integerExpressionsIface_get_plus(const IntegerExpressions* handle)
  202. {
  203. return handle->iface.plus;
  204. }
  205. void integerExpressionsIface_set_plus(IntegerExpressions* handle, sc_integer value)
  206. {
  207. handle->iface.plus = value;
  208. }
  209. sc_integer integerExpressionsIface_get_minus(const IntegerExpressions* handle)
  210. {
  211. return handle->iface.minus;
  212. }
  213. void integerExpressionsIface_set_minus(IntegerExpressions* handle, sc_integer value)
  214. {
  215. handle->iface.minus = value;
  216. }
  217. sc_integer integerExpressionsIface_get_multiply(const IntegerExpressions* handle)
  218. {
  219. return handle->iface.multiply;
  220. }
  221. void integerExpressionsIface_set_multiply(IntegerExpressions* handle, sc_integer value)
  222. {
  223. handle->iface.multiply = value;
  224. }
  225. sc_integer integerExpressionsIface_get_division(const IntegerExpressions* handle)
  226. {
  227. return handle->iface.division;
  228. }
  229. void integerExpressionsIface_set_division(IntegerExpressions* handle, sc_integer value)
  230. {
  231. handle->iface.division = value;
  232. }
  233. sc_integer integerExpressionsIface_get_modulo(const IntegerExpressions* handle)
  234. {
  235. return handle->iface.modulo;
  236. }
  237. void integerExpressionsIface_set_modulo(IntegerExpressions* handle, sc_integer value)
  238. {
  239. handle->iface.modulo = value;
  240. }
  241. sc_integer integerExpressionsIface_get_negat(const IntegerExpressions* handle)
  242. {
  243. return handle->iface.negat;
  244. }
  245. void integerExpressionsIface_set_negat(IntegerExpressions* handle, sc_integer value)
  246. {
  247. handle->iface.negat = value;
  248. }
  249. sc_boolean integerExpressionsIface_get_complement(const IntegerExpressions* handle)
  250. {
  251. return handle->iface.complement;
  252. }
  253. void integerExpressionsIface_set_complement(IntegerExpressions* handle, sc_boolean value)
  254. {
  255. handle->iface.complement = value;
  256. }
  257. sc_integer integerExpressionsIface_get_multiAssign(const IntegerExpressions* handle)
  258. {
  259. return handle->iface.multiAssign;
  260. }
  261. void integerExpressionsIface_set_multiAssign(IntegerExpressions* handle, sc_integer value)
  262. {
  263. handle->iface.multiAssign = value;
  264. }
  265. sc_integer integerExpressionsIface_get_divAssign(const IntegerExpressions* handle)
  266. {
  267. return handle->iface.divAssign;
  268. }
  269. void integerExpressionsIface_set_divAssign(IntegerExpressions* handle, sc_integer value)
  270. {
  271. handle->iface.divAssign = value;
  272. }
  273. sc_integer integerExpressionsIface_get_plusAssign(const IntegerExpressions* handle)
  274. {
  275. return handle->iface.plusAssign;
  276. }
  277. void integerExpressionsIface_set_plusAssign(IntegerExpressions* handle, sc_integer value)
  278. {
  279. handle->iface.plusAssign = value;
  280. }
  281. sc_integer integerExpressionsIface_get_minusAssign(const IntegerExpressions* handle)
  282. {
  283. return handle->iface.minusAssign;
  284. }
  285. void integerExpressionsIface_set_minusAssign(IntegerExpressions* handle, sc_integer value)
  286. {
  287. handle->iface.minusAssign = value;
  288. }
  289. sc_integer integerExpressionsIface_get_moduloAssign(const IntegerExpressions* handle)
  290. {
  291. return handle->iface.moduloAssign;
  292. }
  293. void integerExpressionsIface_set_moduloAssign(IntegerExpressions* handle, sc_integer value)
  294. {
  295. handle->iface.moduloAssign = value;
  296. }
  297. /* implementations of all internal functions */
  298. static sc_boolean integerExpressions_check_main_region_StateA_tr0_tr0(const IntegerExpressions* handle)
  299. {
  300. return handle->iface.e1_raised;
  301. }
  302. static void integerExpressions_effect_main_region_StateA_tr0(IntegerExpressions* handle)
  303. {
  304. integerExpressions_exseq_main_region_StateA(handle);
  305. integerExpressions_enseq_main_region_StateB_default(handle);
  306. }
  307. /* Entry action for state 'StateA'. */
  308. static void integerExpressions_enact_main_region_StateA(IntegerExpressions* handle)
  309. {
  310. /* Entry action for state 'StateA'. */
  311. handle->iface.myInt1 = 10;
  312. handle->iface.myInt2 = 5;
  313. }
  314. /* Entry action for state 'StateB'. */
  315. static void integerExpressions_enact_main_region_StateB(IntegerExpressions* handle)
  316. {
  317. /* Entry action for state 'StateB'. */
  318. handle->iface.less = (handle->iface.myInt1 < handle->iface.myInt2);
  319. handle->iface.greater = (handle->iface.myInt1 > handle->iface.myInt2);
  320. handle->iface.equalOrLess = (handle->iface.myInt1 <= handle->iface.myInt2);
  321. handle->iface.equalOrGreater = (handle->iface.myInt1 >= handle->iface.myInt2);
  322. handle->iface.equal = (handle->iface.myInt1 == handle->iface.myInt2);
  323. handle->iface.notEqual = (handle->iface.myInt1 != handle->iface.myInt2);
  324. handle->iface.plus = handle->iface.myInt1 + handle->iface.myInt2;
  325. handle->iface.minus = handle->iface.myInt1 - handle->iface.myInt2;
  326. handle->iface.multiply = handle->iface.myInt1 * handle->iface.myInt2;
  327. handle->iface.division = handle->iface.myInt1 / handle->iface.myInt2;
  328. handle->iface.modulo = handle->iface.myInt1 % handle->iface.myInt2;
  329. handle->iface.negat = -handle->iface.myInt1;
  330. handle->iface.multiAssign *= handle->iface.myInt1;
  331. handle->iface.divAssign /= handle->iface.myInt1;
  332. handle->iface.plusAssign += handle->iface.myInt1;
  333. handle->iface.minusAssign -= handle->iface.myInt1;
  334. handle->iface.moduloAssign %= handle->iface.myInt1;
  335. }
  336. /* 'default' enter sequence for state StateA */
  337. static void integerExpressions_enseq_main_region_StateA_default(IntegerExpressions* handle)
  338. {
  339. /* 'default' enter sequence for state StateA */
  340. integerExpressions_enact_main_region_StateA(handle);
  341. handle->stateConfVector[0] = IntegerExpressions_main_region_StateA;
  342. handle->stateConfVectorPosition = 0;
  343. }
  344. /* 'default' enter sequence for state StateB */
  345. static void integerExpressions_enseq_main_region_StateB_default(IntegerExpressions* handle)
  346. {
  347. /* 'default' enter sequence for state StateB */
  348. integerExpressions_enact_main_region_StateB(handle);
  349. handle->stateConfVector[0] = IntegerExpressions_main_region_StateB;
  350. handle->stateConfVectorPosition = 0;
  351. }
  352. /* 'default' enter sequence for region main region */
  353. static void integerExpressions_enseq_main_region_default(IntegerExpressions* handle)
  354. {
  355. /* 'default' enter sequence for region main region */
  356. integerExpressions_react_main_region__entry_Default(handle);
  357. }
  358. /* Default exit sequence for state StateA */
  359. static void integerExpressions_exseq_main_region_StateA(IntegerExpressions* handle)
  360. {
  361. /* Default exit sequence for state StateA */
  362. handle->stateConfVector[0] = IntegerExpressions_last_state;
  363. handle->stateConfVectorPosition = 0;
  364. }
  365. /* Default exit sequence for state StateB */
  366. static void integerExpressions_exseq_main_region_StateB(IntegerExpressions* handle)
  367. {
  368. /* Default exit sequence for state StateB */
  369. handle->stateConfVector[0] = IntegerExpressions_last_state;
  370. handle->stateConfVectorPosition = 0;
  371. }
  372. /* Default exit sequence for region main region */
  373. static void integerExpressions_exseq_main_region(IntegerExpressions* handle)
  374. {
  375. /* Default exit sequence for region main region */
  376. /* Handle exit of all possible states (of IntegerExpressions.main_region) at position 0... */
  377. switch(handle->stateConfVector[ 0 ])
  378. {
  379. case IntegerExpressions_main_region_StateA :
  380. {
  381. integerExpressions_exseq_main_region_StateA(handle);
  382. break;
  383. }
  384. case IntegerExpressions_main_region_StateB :
  385. {
  386. integerExpressions_exseq_main_region_StateB(handle);
  387. break;
  388. }
  389. default: break;
  390. }
  391. }
  392. /* The reactions of state StateA. */
  393. static void integerExpressions_react_main_region_StateA(IntegerExpressions* handle)
  394. {
  395. /* The reactions of state StateA. */
  396. if (integerExpressions_check_main_region_StateA_tr0_tr0(handle) == bool_true)
  397. {
  398. integerExpressions_effect_main_region_StateA_tr0(handle);
  399. }
  400. }
  401. /* The reactions of state StateB. */
  402. static void integerExpressions_react_main_region_StateB(IntegerExpressions* handle)
  403. {
  404. /* The reactions of state StateB. */
  405. }
  406. /* Default react sequence for initial entry */
  407. static void integerExpressions_react_main_region__entry_Default(IntegerExpressions* handle)
  408. {
  409. /* Default react sequence for initial entry */
  410. integerExpressions_enseq_main_region_StateA_default(handle);
  411. }