IntegerExpressions.c 14 KB

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