ExitOnSelfTransition.cpp 6.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327
  1. #include "ExitOnSelfTransition.h"
  2. #include <string.h>
  3. /*! \file Implementation of the state machine 'ExitOnSelfTransition'
  4. */
  5. ExitOnSelfTransition::ExitOnSelfTransition()
  6. {
  7. stateConfVectorPosition = 0;
  8. }
  9. ExitOnSelfTransition::~ExitOnSelfTransition()
  10. {
  11. }
  12. void ExitOnSelfTransition::init()
  13. {
  14. for (int i = 0; i < maxOrthogonalStates; ++i)
  15. stateConfVector[i] = ExitOnSelfTransition_last_state;
  16. stateConfVectorPosition = 0;
  17. clearInEvents();
  18. clearOutEvents();
  19. /* Default init sequence for statechart ExitOnSelfTransition */
  20. iface.entryCount = 0;
  21. iface.exitCount = 0;
  22. }
  23. void ExitOnSelfTransition::enter()
  24. {
  25. /* Default enter sequence for statechart ExitOnSelfTransition */
  26. enseq_main_region_default();
  27. }
  28. void ExitOnSelfTransition::exit()
  29. {
  30. /* Default exit sequence for statechart ExitOnSelfTransition */
  31. exseq_main_region();
  32. }
  33. sc_boolean ExitOnSelfTransition::isActive() const
  34. {
  35. return stateConfVector[0] != ExitOnSelfTransition_last_state;
  36. }
  37. /*
  38. * Always returns 'false' since this state machine can never become final.
  39. */
  40. sc_boolean ExitOnSelfTransition::isFinal() const
  41. {
  42. return false;}
  43. void ExitOnSelfTransition::runCycle()
  44. {
  45. clearOutEvents();
  46. for (stateConfVectorPosition = 0;
  47. stateConfVectorPosition < maxOrthogonalStates;
  48. stateConfVectorPosition++)
  49. {
  50. switch (stateConfVector[stateConfVectorPosition])
  51. {
  52. case main_region_A :
  53. {
  54. react_main_region_A();
  55. break;
  56. }
  57. case main_region_B :
  58. {
  59. react_main_region_B();
  60. break;
  61. }
  62. default:
  63. break;
  64. }
  65. }
  66. clearInEvents();
  67. }
  68. void ExitOnSelfTransition::clearInEvents()
  69. {
  70. iface.e_raised = false;
  71. iface.f_raised = false;
  72. }
  73. void ExitOnSelfTransition::clearOutEvents()
  74. {
  75. }
  76. sc_boolean ExitOnSelfTransition::isStateActive(ExitOnSelfTransitionStates state) const
  77. {
  78. switch (state)
  79. {
  80. case main_region_A :
  81. return (sc_boolean) (stateConfVector[0] == main_region_A
  82. );
  83. case main_region_B :
  84. return (sc_boolean) (stateConfVector[0] == main_region_B
  85. );
  86. default: return false;
  87. }
  88. }
  89. ExitOnSelfTransition::DefaultSCI* ExitOnSelfTransition::getDefaultSCI()
  90. {
  91. return &iface;
  92. }
  93. void ExitOnSelfTransition::DefaultSCI::raise_e()
  94. {
  95. e_raised = true;
  96. }
  97. void ExitOnSelfTransition::raise_e()
  98. {
  99. iface.raise_e();
  100. }
  101. void ExitOnSelfTransition::DefaultSCI::raise_f()
  102. {
  103. f_raised = true;
  104. }
  105. void ExitOnSelfTransition::raise_f()
  106. {
  107. iface.raise_f();
  108. }
  109. sc_integer ExitOnSelfTransition::DefaultSCI::get_entryCount() const
  110. {
  111. return entryCount;
  112. }
  113. sc_integer ExitOnSelfTransition::get_entryCount() const
  114. {
  115. return iface.entryCount;
  116. }
  117. void ExitOnSelfTransition::DefaultSCI::set_entryCount(sc_integer value)
  118. {
  119. entryCount = value;
  120. }
  121. void ExitOnSelfTransition::set_entryCount(sc_integer value)
  122. {
  123. iface.entryCount = value;
  124. }
  125. sc_integer ExitOnSelfTransition::DefaultSCI::get_exitCount() const
  126. {
  127. return exitCount;
  128. }
  129. sc_integer ExitOnSelfTransition::get_exitCount() const
  130. {
  131. return iface.exitCount;
  132. }
  133. void ExitOnSelfTransition::DefaultSCI::set_exitCount(sc_integer value)
  134. {
  135. exitCount = value;
  136. }
  137. void ExitOnSelfTransition::set_exitCount(sc_integer value)
  138. {
  139. iface.exitCount = value;
  140. }
  141. // implementations of all internal functions
  142. sc_boolean ExitOnSelfTransition::check_main_region_A_tr0_tr0()
  143. {
  144. return iface.e_raised;
  145. }
  146. sc_boolean ExitOnSelfTransition::check_main_region_A_tr1_tr1()
  147. {
  148. return iface.f_raised;
  149. }
  150. sc_boolean ExitOnSelfTransition::check_main_region_B_tr0_tr0()
  151. {
  152. return iface.f_raised;
  153. }
  154. void ExitOnSelfTransition::effect_main_region_A_tr0()
  155. {
  156. exseq_main_region_A();
  157. enseq_main_region_A_default();
  158. }
  159. void ExitOnSelfTransition::effect_main_region_A_tr1()
  160. {
  161. exseq_main_region_A();
  162. enseq_main_region_B_default();
  163. }
  164. void ExitOnSelfTransition::effect_main_region_B_tr0()
  165. {
  166. exseq_main_region_B();
  167. enseq_main_region_A_default();
  168. }
  169. /* Entry action for state 'A'. */
  170. void ExitOnSelfTransition::enact_main_region_A()
  171. {
  172. /* Entry action for state 'A'. */
  173. iface.entryCount += 1;
  174. }
  175. /* Exit action for state 'A'. */
  176. void ExitOnSelfTransition::exact_main_region_A()
  177. {
  178. /* Exit action for state 'A'. */
  179. iface.exitCount += 1;
  180. }
  181. /* 'default' enter sequence for state A */
  182. void ExitOnSelfTransition::enseq_main_region_A_default()
  183. {
  184. /* 'default' enter sequence for state A */
  185. enact_main_region_A();
  186. stateConfVector[0] = main_region_A;
  187. stateConfVectorPosition = 0;
  188. }
  189. /* 'default' enter sequence for state B */
  190. void ExitOnSelfTransition::enseq_main_region_B_default()
  191. {
  192. /* 'default' enter sequence for state B */
  193. stateConfVector[0] = main_region_B;
  194. stateConfVectorPosition = 0;
  195. }
  196. /* 'default' enter sequence for region main region */
  197. void ExitOnSelfTransition::enseq_main_region_default()
  198. {
  199. /* 'default' enter sequence for region main region */
  200. react_main_region__entry_Default();
  201. }
  202. /* Default exit sequence for state A */
  203. void ExitOnSelfTransition::exseq_main_region_A()
  204. {
  205. /* Default exit sequence for state A */
  206. stateConfVector[0] = ExitOnSelfTransition_last_state;
  207. stateConfVectorPosition = 0;
  208. exact_main_region_A();
  209. }
  210. /* Default exit sequence for state B */
  211. void ExitOnSelfTransition::exseq_main_region_B()
  212. {
  213. /* Default exit sequence for state B */
  214. stateConfVector[0] = ExitOnSelfTransition_last_state;
  215. stateConfVectorPosition = 0;
  216. }
  217. /* Default exit sequence for region main region */
  218. void ExitOnSelfTransition::exseq_main_region()
  219. {
  220. /* Default exit sequence for region main region */
  221. /* Handle exit of all possible states (of ExitOnSelfTransition.main_region) at position 0... */
  222. switch(stateConfVector[ 0 ])
  223. {
  224. case main_region_A :
  225. {
  226. exseq_main_region_A();
  227. break;
  228. }
  229. case main_region_B :
  230. {
  231. exseq_main_region_B();
  232. break;
  233. }
  234. default: break;
  235. }
  236. }
  237. /* The reactions of state A. */
  238. void ExitOnSelfTransition::react_main_region_A()
  239. {
  240. /* The reactions of state A. */
  241. if (check_main_region_A_tr0_tr0())
  242. {
  243. effect_main_region_A_tr0();
  244. } else
  245. {
  246. if (check_main_region_A_tr1_tr1())
  247. {
  248. effect_main_region_A_tr1();
  249. }
  250. }
  251. }
  252. /* The reactions of state B. */
  253. void ExitOnSelfTransition::react_main_region_B()
  254. {
  255. /* The reactions of state B. */
  256. if (check_main_region_B_tr0_tr0())
  257. {
  258. effect_main_region_B_tr0();
  259. }
  260. }
  261. /* Default react sequence for initial entry */
  262. void ExitOnSelfTransition::react_main_region__entry_Default()
  263. {
  264. /* Default react sequence for initial entry */
  265. enseq_main_region_A_default();
  266. }