ConditionalExpressions.c 8.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277
  1. #include <stdlib.h>
  2. #include <string.h>
  3. #include "sc_types.h"
  4. #include "ConditionalExpressions.h"
  5. /*! \file Implementation of the state machine 'ConditionalExpressions'
  6. */
  7. /* prototypes of all internal functions */
  8. static sc_boolean conditionalExpressions_check_main_region_A_tr0_tr0(const ConditionalExpressions* handle);
  9. static void conditionalExpressions_effect_main_region_A_tr0(ConditionalExpressions* handle);
  10. static void conditionalExpressions_enact_main_region_A(ConditionalExpressions* handle);
  11. static void conditionalExpressions_enact_main_region_B(ConditionalExpressions* handle);
  12. static void conditionalExpressions_enseq_main_region_A_default(ConditionalExpressions* handle);
  13. static void conditionalExpressions_enseq_main_region_B_default(ConditionalExpressions* handle);
  14. static void conditionalExpressions_enseq_main_region_default(ConditionalExpressions* handle);
  15. static void conditionalExpressions_exseq_main_region_A(ConditionalExpressions* handle);
  16. static void conditionalExpressions_exseq_main_region_B(ConditionalExpressions* handle);
  17. static void conditionalExpressions_exseq_main_region(ConditionalExpressions* handle);
  18. static void conditionalExpressions_react_main_region_A(ConditionalExpressions* handle);
  19. static void conditionalExpressions_react_main_region_B(ConditionalExpressions* handle);
  20. static void conditionalExpressions_react_main_region__entry_Default(ConditionalExpressions* handle);
  21. static void conditionalExpressions_clearInEvents(ConditionalExpressions* handle);
  22. static void conditionalExpressions_clearOutEvents(ConditionalExpressions* handle);
  23. void conditionalExpressions_init(ConditionalExpressions* handle)
  24. {
  25. sc_integer i;
  26. for (i = 0; i < CONDITIONALEXPRESSIONS_MAX_ORTHOGONAL_STATES; ++i)
  27. {
  28. handle->stateConfVector[i] = ConditionalExpressions_last_state;
  29. }
  30. handle->stateConfVectorPosition = 0;
  31. conditionalExpressions_clearInEvents(handle);
  32. conditionalExpressions_clearOutEvents(handle);
  33. /* Default init sequence for statechart ConditionalExpressions */
  34. handle->iface.condition = handle->iface.boolVar ? 3 : 2;
  35. handle->iface.boolVar = bool_true;
  36. }
  37. void conditionalExpressions_enter(ConditionalExpressions* handle)
  38. {
  39. /* Default enter sequence for statechart ConditionalExpressions */
  40. conditionalExpressions_enseq_main_region_default(handle);
  41. }
  42. void conditionalExpressions_exit(ConditionalExpressions* handle)
  43. {
  44. /* Default exit sequence for statechart ConditionalExpressions */
  45. conditionalExpressions_exseq_main_region(handle);
  46. }
  47. sc_boolean conditionalExpressions_isActive(const ConditionalExpressions* handle)
  48. {
  49. sc_boolean result = bool_false;
  50. int i;
  51. for(i = 0; i < CONDITIONALEXPRESSIONS_MAX_ORTHOGONAL_STATES; i++)
  52. {
  53. result = result || handle->stateConfVector[i] != ConditionalExpressions_last_state;
  54. }
  55. return result;
  56. }
  57. /*
  58. * Always returns 'false' since this state machine can never become final.
  59. */
  60. sc_boolean conditionalExpressions_isFinal(const ConditionalExpressions* handle)
  61. {
  62. return bool_false;
  63. }
  64. static void conditionalExpressions_clearInEvents(ConditionalExpressions* handle)
  65. {
  66. handle->iface.e_raised = bool_false;
  67. }
  68. static void conditionalExpressions_clearOutEvents(ConditionalExpressions* handle)
  69. {
  70. }
  71. void conditionalExpressions_runCycle(ConditionalExpressions* handle)
  72. {
  73. conditionalExpressions_clearOutEvents(handle);
  74. for (handle->stateConfVectorPosition = 0;
  75. handle->stateConfVectorPosition < CONDITIONALEXPRESSIONS_MAX_ORTHOGONAL_STATES;
  76. handle->stateConfVectorPosition++)
  77. {
  78. switch (handle->stateConfVector[handle->stateConfVectorPosition])
  79. {
  80. case ConditionalExpressions_main_region_A :
  81. {
  82. conditionalExpressions_react_main_region_A(handle);
  83. break;
  84. }
  85. case ConditionalExpressions_main_region_B :
  86. {
  87. conditionalExpressions_react_main_region_B(handle);
  88. break;
  89. }
  90. default:
  91. break;
  92. }
  93. }
  94. conditionalExpressions_clearInEvents(handle);
  95. }
  96. sc_boolean conditionalExpressions_isStateActive(const ConditionalExpressions* handle, ConditionalExpressionsStates state)
  97. {
  98. sc_boolean result = bool_false;
  99. switch (state)
  100. {
  101. case ConditionalExpressions_main_region_A :
  102. result = (sc_boolean) (handle->stateConfVector[SCVI_CONDITIONALEXPRESSIONS_MAIN_REGION_A] == ConditionalExpressions_main_region_A
  103. );
  104. break;
  105. case ConditionalExpressions_main_region_B :
  106. result = (sc_boolean) (handle->stateConfVector[SCVI_CONDITIONALEXPRESSIONS_MAIN_REGION_B] == ConditionalExpressions_main_region_B
  107. );
  108. break;
  109. default:
  110. result = bool_false;
  111. break;
  112. }
  113. return result;
  114. }
  115. void conditionalExpressionsIface_raise_e(ConditionalExpressions* handle)
  116. {
  117. handle->iface.e_raised = bool_true;
  118. }
  119. sc_integer conditionalExpressionsIface_get_condition(const ConditionalExpressions* handle)
  120. {
  121. return handle->iface.condition;
  122. }
  123. void conditionalExpressionsIface_set_condition(ConditionalExpressions* handle, sc_integer value)
  124. {
  125. handle->iface.condition = value;
  126. }
  127. sc_boolean conditionalExpressionsIface_get_boolVar(const ConditionalExpressions* handle)
  128. {
  129. return handle->iface.boolVar;
  130. }
  131. void conditionalExpressionsIface_set_boolVar(ConditionalExpressions* handle, sc_boolean value)
  132. {
  133. handle->iface.boolVar = value;
  134. }
  135. /* implementations of all internal functions */
  136. static sc_boolean conditionalExpressions_check_main_region_A_tr0_tr0(const ConditionalExpressions* handle)
  137. {
  138. return ((handle->iface.e_raised) && (1 == (handle->iface.boolVar ? 1 : 0))) ? bool_true : bool_false;
  139. }
  140. static void conditionalExpressions_effect_main_region_A_tr0(ConditionalExpressions* handle)
  141. {
  142. conditionalExpressions_exseq_main_region_A(handle);
  143. conditionalExpressions_enseq_main_region_B_default(handle);
  144. }
  145. /* Entry action for state 'A'. */
  146. static void conditionalExpressions_enact_main_region_A(ConditionalExpressions* handle)
  147. {
  148. /* Entry action for state 'A'. */
  149. handle->iface.condition = handle->iface.boolVar ? 1 : 0;
  150. }
  151. /* Entry action for state 'B'. */
  152. static void conditionalExpressions_enact_main_region_B(ConditionalExpressions* handle)
  153. {
  154. /* Entry action for state 'B'. */
  155. handle->iface.condition = ((handle->iface.condition == 2) ? 1 : 2);
  156. }
  157. /* 'default' enter sequence for state A */
  158. static void conditionalExpressions_enseq_main_region_A_default(ConditionalExpressions* handle)
  159. {
  160. /* 'default' enter sequence for state A */
  161. conditionalExpressions_enact_main_region_A(handle);
  162. handle->stateConfVector[0] = ConditionalExpressions_main_region_A;
  163. handle->stateConfVectorPosition = 0;
  164. }
  165. /* 'default' enter sequence for state B */
  166. static void conditionalExpressions_enseq_main_region_B_default(ConditionalExpressions* handle)
  167. {
  168. /* 'default' enter sequence for state B */
  169. conditionalExpressions_enact_main_region_B(handle);
  170. handle->stateConfVector[0] = ConditionalExpressions_main_region_B;
  171. handle->stateConfVectorPosition = 0;
  172. }
  173. /* 'default' enter sequence for region main region */
  174. static void conditionalExpressions_enseq_main_region_default(ConditionalExpressions* handle)
  175. {
  176. /* 'default' enter sequence for region main region */
  177. conditionalExpressions_react_main_region__entry_Default(handle);
  178. }
  179. /* Default exit sequence for state A */
  180. static void conditionalExpressions_exseq_main_region_A(ConditionalExpressions* handle)
  181. {
  182. /* Default exit sequence for state A */
  183. handle->stateConfVector[0] = ConditionalExpressions_last_state;
  184. handle->stateConfVectorPosition = 0;
  185. }
  186. /* Default exit sequence for state B */
  187. static void conditionalExpressions_exseq_main_region_B(ConditionalExpressions* handle)
  188. {
  189. /* Default exit sequence for state B */
  190. handle->stateConfVector[0] = ConditionalExpressions_last_state;
  191. handle->stateConfVectorPosition = 0;
  192. }
  193. /* Default exit sequence for region main region */
  194. static void conditionalExpressions_exseq_main_region(ConditionalExpressions* handle)
  195. {
  196. /* Default exit sequence for region main region */
  197. /* Handle exit of all possible states (of ConditionalExpressions.main_region) at position 0... */
  198. switch(handle->stateConfVector[ 0 ])
  199. {
  200. case ConditionalExpressions_main_region_A :
  201. {
  202. conditionalExpressions_exseq_main_region_A(handle);
  203. break;
  204. }
  205. case ConditionalExpressions_main_region_B :
  206. {
  207. conditionalExpressions_exseq_main_region_B(handle);
  208. break;
  209. }
  210. default: break;
  211. }
  212. }
  213. /* The reactions of state A. */
  214. static void conditionalExpressions_react_main_region_A(ConditionalExpressions* handle)
  215. {
  216. /* The reactions of state A. */
  217. if (conditionalExpressions_check_main_region_A_tr0_tr0(handle) == bool_true)
  218. {
  219. conditionalExpressions_effect_main_region_A_tr0(handle);
  220. }
  221. }
  222. /* The reactions of state B. */
  223. static void conditionalExpressions_react_main_region_B(ConditionalExpressions* handle)
  224. {
  225. /* The reactions of state B. */
  226. }
  227. /* Default react sequence for initial entry */
  228. static void conditionalExpressions_react_main_region__entry_Default(ConditionalExpressions* handle)
  229. {
  230. /* Default react sequence for initial entry */
  231. conditionalExpressions_enseq_main_region_A_default(handle);
  232. }