FeatureCalls.c 7.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278
  1. #include <stdlib.h>
  2. #include <string.h>
  3. #include "sc_types.h"
  4. #include "FeatureCalls.h"
  5. /*! \file Implementation of the state machine 'FeatureCalls'
  6. */
  7. /* prototypes of all internal functions */
  8. static sc_boolean featureCalls_check_main_region_A_tr0_tr0(const FeatureCalls* handle);
  9. static sc_boolean featureCalls_check_main_region_B_tr0_tr0(const FeatureCalls* handle);
  10. static void featureCalls_effect_main_region_A_tr0(FeatureCalls* handle);
  11. static void featureCalls_effect_main_region_B_tr0(FeatureCalls* handle);
  12. static void featureCalls_enact_main_region_B(FeatureCalls* handle);
  13. static void featureCalls_enseq_main_region_A_default(FeatureCalls* handle);
  14. static void featureCalls_enseq_main_region_B_default(FeatureCalls* handle);
  15. static void featureCalls_enseq_main_region_default(FeatureCalls* handle);
  16. static void featureCalls_exseq_main_region_A(FeatureCalls* handle);
  17. static void featureCalls_exseq_main_region_B(FeatureCalls* handle);
  18. static void featureCalls_exseq_main_region(FeatureCalls* handle);
  19. static void featureCalls_react_main_region_A(FeatureCalls* handle);
  20. static void featureCalls_react_main_region_B(FeatureCalls* handle);
  21. static void featureCalls_react_main_region__entry_Default(FeatureCalls* handle);
  22. static void featureCalls_clearInEvents(FeatureCalls* handle);
  23. static void featureCalls_clearOutEvents(FeatureCalls* handle);
  24. void featureCalls_init(FeatureCalls* handle)
  25. {
  26. sc_integer i;
  27. for (i = 0; i < FEATURECALLS_MAX_ORTHOGONAL_STATES; ++i)
  28. {
  29. handle->stateConfVector[i] = FeatureCalls_last_state;
  30. }
  31. handle->stateConfVectorPosition = 0;
  32. featureCalls_clearInEvents(handle);
  33. featureCalls_clearOutEvents(handle);
  34. /* Default init sequence for statechart FeatureCalls */
  35. handle->ifaceMyInterface.myInt = 0;
  36. }
  37. void featureCalls_enter(FeatureCalls* handle)
  38. {
  39. /* Default enter sequence for statechart FeatureCalls */
  40. featureCalls_enseq_main_region_default(handle);
  41. }
  42. void featureCalls_exit(FeatureCalls* handle)
  43. {
  44. /* Default exit sequence for statechart FeatureCalls */
  45. featureCalls_exseq_main_region(handle);
  46. }
  47. sc_boolean featureCalls_isActive(const FeatureCalls* handle)
  48. {
  49. sc_boolean result;
  50. if (handle->stateConfVector[0] != FeatureCalls_last_state)
  51. {
  52. result = bool_true;
  53. }
  54. else
  55. {
  56. result = bool_false;
  57. }
  58. return result;
  59. }
  60. /*
  61. * Always returns 'false' since this state machine can never become final.
  62. */
  63. sc_boolean featureCalls_isFinal(const FeatureCalls* handle)
  64. {
  65. return bool_false;
  66. }
  67. static void featureCalls_clearInEvents(FeatureCalls* handle)
  68. {
  69. handle->ifaceMyInterface.Event1_raised = bool_false;
  70. }
  71. static void featureCalls_clearOutEvents(FeatureCalls* handle)
  72. {
  73. }
  74. void featureCalls_runCycle(FeatureCalls* handle)
  75. {
  76. featureCalls_clearOutEvents(handle);
  77. for (handle->stateConfVectorPosition = 0;
  78. handle->stateConfVectorPosition < FEATURECALLS_MAX_ORTHOGONAL_STATES;
  79. handle->stateConfVectorPosition++)
  80. {
  81. switch (handle->stateConfVector[handle->stateConfVectorPosition])
  82. {
  83. case FeatureCalls_main_region_A :
  84. {
  85. featureCalls_react_main_region_A(handle);
  86. break;
  87. }
  88. case FeatureCalls_main_region_B :
  89. {
  90. featureCalls_react_main_region_B(handle);
  91. break;
  92. }
  93. default:
  94. break;
  95. }
  96. }
  97. featureCalls_clearInEvents(handle);
  98. }
  99. sc_boolean featureCalls_isStateActive(const FeatureCalls* handle, FeatureCallsStates state)
  100. {
  101. sc_boolean result = bool_false;
  102. switch (state)
  103. {
  104. case FeatureCalls_main_region_A :
  105. result = (sc_boolean) (handle->stateConfVector[0] == FeatureCalls_main_region_A
  106. );
  107. break;
  108. case FeatureCalls_main_region_B :
  109. result = (sc_boolean) (handle->stateConfVector[0] == FeatureCalls_main_region_B
  110. );
  111. break;
  112. default:
  113. result = bool_false;
  114. break;
  115. }
  116. return result;
  117. }
  118. void featureCallsIfaceMyInterface_raise_event1(FeatureCalls* handle)
  119. {
  120. handle->ifaceMyInterface.Event1_raised = bool_true;
  121. }
  122. sc_integer featureCallsIfaceMyInterface_get_myInt(const FeatureCalls* handle)
  123. {
  124. return handle->ifaceMyInterface.myInt;
  125. }
  126. void featureCallsIfaceMyInterface_set_myInt(FeatureCalls* handle, sc_integer value)
  127. {
  128. handle->ifaceMyInterface.myInt = value;
  129. }
  130. /* implementations of all internal functions */
  131. static sc_boolean featureCalls_check_main_region_A_tr0_tr0(const FeatureCalls* handle)
  132. {
  133. return handle->ifaceMyInterface.Event1_raised;
  134. }
  135. static sc_boolean featureCalls_check_main_region_B_tr0_tr0(const FeatureCalls* handle)
  136. {
  137. return handle->ifaceMyInterface.Event1_raised;
  138. }
  139. static void featureCalls_effect_main_region_A_tr0(FeatureCalls* handle)
  140. {
  141. featureCalls_exseq_main_region_A(handle);
  142. featureCalls_enseq_main_region_B_default(handle);
  143. }
  144. static void featureCalls_effect_main_region_B_tr0(FeatureCalls* handle)
  145. {
  146. featureCalls_exseq_main_region_B(handle);
  147. featureCalls_enseq_main_region_A_default(handle);
  148. }
  149. /* Entry action for state 'B'. */
  150. static void featureCalls_enact_main_region_B(FeatureCalls* handle)
  151. {
  152. /* Entry action for state 'B'. */
  153. handle->ifaceMyInterface.myInt = 42;
  154. handle->ifaceMyInterface.Event1_raised = bool_true;
  155. }
  156. /* 'default' enter sequence for state A */
  157. static void featureCalls_enseq_main_region_A_default(FeatureCalls* handle)
  158. {
  159. /* 'default' enter sequence for state A */
  160. handle->stateConfVector[0] = FeatureCalls_main_region_A;
  161. handle->stateConfVectorPosition = 0;
  162. }
  163. /* 'default' enter sequence for state B */
  164. static void featureCalls_enseq_main_region_B_default(FeatureCalls* handle)
  165. {
  166. /* 'default' enter sequence for state B */
  167. featureCalls_enact_main_region_B(handle);
  168. handle->stateConfVector[0] = FeatureCalls_main_region_B;
  169. handle->stateConfVectorPosition = 0;
  170. }
  171. /* 'default' enter sequence for region main region */
  172. static void featureCalls_enseq_main_region_default(FeatureCalls* handle)
  173. {
  174. /* 'default' enter sequence for region main region */
  175. featureCalls_react_main_region__entry_Default(handle);
  176. }
  177. /* Default exit sequence for state A */
  178. static void featureCalls_exseq_main_region_A(FeatureCalls* handle)
  179. {
  180. /* Default exit sequence for state A */
  181. handle->stateConfVector[0] = FeatureCalls_last_state;
  182. handle->stateConfVectorPosition = 0;
  183. }
  184. /* Default exit sequence for state B */
  185. static void featureCalls_exseq_main_region_B(FeatureCalls* handle)
  186. {
  187. /* Default exit sequence for state B */
  188. handle->stateConfVector[0] = FeatureCalls_last_state;
  189. handle->stateConfVectorPosition = 0;
  190. }
  191. /* Default exit sequence for region main region */
  192. static void featureCalls_exseq_main_region(FeatureCalls* handle)
  193. {
  194. /* Default exit sequence for region main region */
  195. /* Handle exit of all possible states (of FeatureCalls.main_region) at position 0... */
  196. switch(handle->stateConfVector[ 0 ])
  197. {
  198. case FeatureCalls_main_region_A :
  199. {
  200. featureCalls_exseq_main_region_A(handle);
  201. break;
  202. }
  203. case FeatureCalls_main_region_B :
  204. {
  205. featureCalls_exseq_main_region_B(handle);
  206. break;
  207. }
  208. default: break;
  209. }
  210. }
  211. /* The reactions of state A. */
  212. static void featureCalls_react_main_region_A(FeatureCalls* handle)
  213. {
  214. /* The reactions of state A. */
  215. if (featureCalls_check_main_region_A_tr0_tr0(handle) == bool_true)
  216. {
  217. featureCalls_effect_main_region_A_tr0(handle);
  218. }
  219. }
  220. /* The reactions of state B. */
  221. static void featureCalls_react_main_region_B(FeatureCalls* handle)
  222. {
  223. /* The reactions of state B. */
  224. if (featureCalls_check_main_region_B_tr0_tr0(handle) == bool_true)
  225. {
  226. featureCalls_effect_main_region_B_tr0(handle);
  227. }
  228. }
  229. /* Default react sequence for initial entry */
  230. static void featureCalls_react_main_region__entry_Default(FeatureCalls* handle)
  231. {
  232. /* Default react sequence for initial entry */
  233. featureCalls_enseq_main_region_A_default(handle);
  234. }