TransitionWithoutCondition.c 7.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230
  1. #include <stdlib.h>
  2. #include <string.h>
  3. #include "sc_types.h"
  4. #include "TransitionWithoutCondition.h"
  5. /*! \file Implementation of the state machine 'TransitionWithoutCondition'
  6. */
  7. /* prototypes of all internal functions */
  8. static sc_boolean transitionWithoutCondition_check_main_region_A_tr0_tr0(const TransitionWithoutCondition* handle);
  9. static void transitionWithoutCondition_effect_main_region_A_tr0(TransitionWithoutCondition* handle);
  10. static void transitionWithoutCondition_enseq_main_region_A_default(TransitionWithoutCondition* handle);
  11. static void transitionWithoutCondition_enseq_main_region_B_default(TransitionWithoutCondition* handle);
  12. static void transitionWithoutCondition_enseq_main_region_default(TransitionWithoutCondition* handle);
  13. static void transitionWithoutCondition_exseq_main_region_A(TransitionWithoutCondition* handle);
  14. static void transitionWithoutCondition_exseq_main_region_B(TransitionWithoutCondition* handle);
  15. static void transitionWithoutCondition_exseq_main_region(TransitionWithoutCondition* handle);
  16. static void transitionWithoutCondition_react_main_region_A(TransitionWithoutCondition* handle);
  17. static void transitionWithoutCondition_react_main_region_B(TransitionWithoutCondition* handle);
  18. static void transitionWithoutCondition_react_main_region__entry_Default(TransitionWithoutCondition* handle);
  19. static void transitionWithoutCondition_clearInEvents(TransitionWithoutCondition* handle);
  20. static void transitionWithoutCondition_clearOutEvents(TransitionWithoutCondition* handle);
  21. void transitionWithoutCondition_init(TransitionWithoutCondition* handle)
  22. {
  23. sc_integer i;
  24. for (i = 0; i < TRANSITIONWITHOUTCONDITION_MAX_ORTHOGONAL_STATES; ++i)
  25. {
  26. handle->stateConfVector[i] = TransitionWithoutCondition_last_state;
  27. }
  28. handle->stateConfVectorPosition = 0;
  29. transitionWithoutCondition_clearInEvents(handle);
  30. transitionWithoutCondition_clearOutEvents(handle);
  31. }
  32. void transitionWithoutCondition_enter(TransitionWithoutCondition* handle)
  33. {
  34. /* Default enter sequence for statechart TransitionWithoutCondition */
  35. transitionWithoutCondition_enseq_main_region_default(handle);
  36. }
  37. void transitionWithoutCondition_exit(TransitionWithoutCondition* handle)
  38. {
  39. /* Default exit sequence for statechart TransitionWithoutCondition */
  40. transitionWithoutCondition_exseq_main_region(handle);
  41. }
  42. sc_boolean transitionWithoutCondition_isActive(const TransitionWithoutCondition* handle)
  43. {
  44. sc_boolean result = bool_false;
  45. int i;
  46. for(i = 0; i < TRANSITIONWITHOUTCONDITION_MAX_ORTHOGONAL_STATES; i++)
  47. {
  48. result = result || handle->stateConfVector[i] != TransitionWithoutCondition_last_state;
  49. }
  50. return result;
  51. }
  52. /*
  53. * Always returns 'false' since this state machine can never become final.
  54. */
  55. sc_boolean transitionWithoutCondition_isFinal(const TransitionWithoutCondition* handle)
  56. {
  57. return bool_false;
  58. }
  59. static void transitionWithoutCondition_clearInEvents(TransitionWithoutCondition* handle)
  60. {
  61. }
  62. static void transitionWithoutCondition_clearOutEvents(TransitionWithoutCondition* handle)
  63. {
  64. }
  65. void transitionWithoutCondition_runCycle(TransitionWithoutCondition* handle)
  66. {
  67. transitionWithoutCondition_clearOutEvents(handle);
  68. for (handle->stateConfVectorPosition = 0;
  69. handle->stateConfVectorPosition < TRANSITIONWITHOUTCONDITION_MAX_ORTHOGONAL_STATES;
  70. handle->stateConfVectorPosition++)
  71. {
  72. switch (handle->stateConfVector[handle->stateConfVectorPosition])
  73. {
  74. case TransitionWithoutCondition_main_region_A :
  75. {
  76. transitionWithoutCondition_react_main_region_A(handle);
  77. break;
  78. }
  79. case TransitionWithoutCondition_main_region_B :
  80. {
  81. transitionWithoutCondition_react_main_region_B(handle);
  82. break;
  83. }
  84. default:
  85. break;
  86. }
  87. }
  88. transitionWithoutCondition_clearInEvents(handle);
  89. }
  90. sc_boolean transitionWithoutCondition_isStateActive(const TransitionWithoutCondition* handle, TransitionWithoutConditionStates state)
  91. {
  92. sc_boolean result = bool_false;
  93. switch (state)
  94. {
  95. case TransitionWithoutCondition_main_region_A :
  96. result = (sc_boolean) (handle->stateConfVector[SCVI_TRANSITIONWITHOUTCONDITION_MAIN_REGION_A] == TransitionWithoutCondition_main_region_A
  97. );
  98. break;
  99. case TransitionWithoutCondition_main_region_B :
  100. result = (sc_boolean) (handle->stateConfVector[SCVI_TRANSITIONWITHOUTCONDITION_MAIN_REGION_B] == TransitionWithoutCondition_main_region_B
  101. );
  102. break;
  103. default:
  104. result = bool_false;
  105. break;
  106. }
  107. return result;
  108. }
  109. /* implementations of all internal functions */
  110. static sc_boolean transitionWithoutCondition_check_main_region_A_tr0_tr0(const TransitionWithoutCondition* handle)
  111. {
  112. return bool_true;
  113. }
  114. static void transitionWithoutCondition_effect_main_region_A_tr0(TransitionWithoutCondition* handle)
  115. {
  116. transitionWithoutCondition_exseq_main_region_A(handle);
  117. transitionWithoutCondition_enseq_main_region_B_default(handle);
  118. }
  119. /* 'default' enter sequence for state A */
  120. static void transitionWithoutCondition_enseq_main_region_A_default(TransitionWithoutCondition* handle)
  121. {
  122. /* 'default' enter sequence for state A */
  123. handle->stateConfVector[0] = TransitionWithoutCondition_main_region_A;
  124. handle->stateConfVectorPosition = 0;
  125. }
  126. /* 'default' enter sequence for state B */
  127. static void transitionWithoutCondition_enseq_main_region_B_default(TransitionWithoutCondition* handle)
  128. {
  129. /* 'default' enter sequence for state B */
  130. handle->stateConfVector[0] = TransitionWithoutCondition_main_region_B;
  131. handle->stateConfVectorPosition = 0;
  132. }
  133. /* 'default' enter sequence for region main region */
  134. static void transitionWithoutCondition_enseq_main_region_default(TransitionWithoutCondition* handle)
  135. {
  136. /* 'default' enter sequence for region main region */
  137. transitionWithoutCondition_react_main_region__entry_Default(handle);
  138. }
  139. /* Default exit sequence for state A */
  140. static void transitionWithoutCondition_exseq_main_region_A(TransitionWithoutCondition* handle)
  141. {
  142. /* Default exit sequence for state A */
  143. handle->stateConfVector[0] = TransitionWithoutCondition_last_state;
  144. handle->stateConfVectorPosition = 0;
  145. }
  146. /* Default exit sequence for state B */
  147. static void transitionWithoutCondition_exseq_main_region_B(TransitionWithoutCondition* handle)
  148. {
  149. /* Default exit sequence for state B */
  150. handle->stateConfVector[0] = TransitionWithoutCondition_last_state;
  151. handle->stateConfVectorPosition = 0;
  152. }
  153. /* Default exit sequence for region main region */
  154. static void transitionWithoutCondition_exseq_main_region(TransitionWithoutCondition* handle)
  155. {
  156. /* Default exit sequence for region main region */
  157. /* Handle exit of all possible states (of TransitionWithoutCondition.main_region) at position 0... */
  158. switch(handle->stateConfVector[ 0 ])
  159. {
  160. case TransitionWithoutCondition_main_region_A :
  161. {
  162. transitionWithoutCondition_exseq_main_region_A(handle);
  163. break;
  164. }
  165. case TransitionWithoutCondition_main_region_B :
  166. {
  167. transitionWithoutCondition_exseq_main_region_B(handle);
  168. break;
  169. }
  170. default: break;
  171. }
  172. }
  173. /* The reactions of state A. */
  174. static void transitionWithoutCondition_react_main_region_A(TransitionWithoutCondition* handle)
  175. {
  176. /* The reactions of state A. */
  177. transitionWithoutCondition_effect_main_region_A_tr0(handle);
  178. }
  179. /* The reactions of state B. */
  180. static void transitionWithoutCondition_react_main_region_B(TransitionWithoutCondition* handle)
  181. {
  182. /* The reactions of state B. */
  183. }
  184. /* Default react sequence for initial entry */
  185. static void transitionWithoutCondition_react_main_region__entry_Default(TransitionWithoutCondition* handle)
  186. {
  187. /* Default react sequence for initial entry */
  188. transitionWithoutCondition_enseq_main_region_A_default(handle);
  189. }