EnterState.cpp 6.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389
  1. #include "EnterState.h"
  2. #include <string.h>
  3. /*! \file Implementation of the state machine 'EnterState'
  4. */
  5. EnterState::EnterState()
  6. {
  7. stateConfVectorPosition = 0;
  8. }
  9. EnterState::~EnterState()
  10. {
  11. }
  12. void EnterState::init()
  13. {
  14. for (int i = 0; i < maxOrthogonalStates; ++i)
  15. stateConfVector[i] = EnterState_last_state;
  16. stateConfVectorPosition = 0;
  17. clearInEvents();
  18. clearOutEvents();
  19. }
  20. void EnterState::enter()
  21. {
  22. /* Default enter sequence for statechart EnterState */
  23. enseq_r_default();
  24. }
  25. void EnterState::exit()
  26. {
  27. /* Default exit sequence for statechart EnterState */
  28. exseq_r();
  29. }
  30. sc_boolean EnterState::isActive() const
  31. {
  32. return stateConfVector[0] != EnterState_last_state;
  33. }
  34. /*
  35. * Always returns 'false' since this state machine can never become final.
  36. */
  37. sc_boolean EnterState::isFinal() const
  38. {
  39. return false;}
  40. void EnterState::runCycle()
  41. {
  42. clearOutEvents();
  43. for (stateConfVectorPosition = 0;
  44. stateConfVectorPosition < maxOrthogonalStates;
  45. stateConfVectorPosition++)
  46. {
  47. switch (stateConfVector[stateConfVectorPosition])
  48. {
  49. case r_A :
  50. {
  51. react_r_A();
  52. break;
  53. }
  54. case r_B_r_E :
  55. {
  56. react_r_B_r_E();
  57. break;
  58. }
  59. case r_B_r_F :
  60. {
  61. react_r_B_r_F();
  62. break;
  63. }
  64. default:
  65. break;
  66. }
  67. }
  68. clearInEvents();
  69. }
  70. void EnterState::clearInEvents()
  71. {
  72. iface.e_raised = false;
  73. iface.f_raised = false;
  74. iface.g_raised = false;
  75. }
  76. void EnterState::clearOutEvents()
  77. {
  78. }
  79. sc_boolean EnterState::isStateActive(EnterStateStates state) const
  80. {
  81. switch (state)
  82. {
  83. case r_A :
  84. return (sc_boolean) (stateConfVector[0] == r_A
  85. );
  86. case r_B :
  87. return (sc_boolean) (stateConfVector[0] >= r_B
  88. && stateConfVector[0] <= r_B_r_F);
  89. case r_B_r_E :
  90. return (sc_boolean) (stateConfVector[0] == r_B_r_E
  91. );
  92. case r_B_r_F :
  93. return (sc_boolean) (stateConfVector[0] == r_B_r_F
  94. );
  95. default: return false;
  96. }
  97. }
  98. EnterState::DefaultSCI* EnterState::getDefaultSCI()
  99. {
  100. return &iface;
  101. }
  102. void EnterState::DefaultSCI::raise_e()
  103. {
  104. e_raised = true;
  105. }
  106. void EnterState::raise_e()
  107. {
  108. iface.raise_e();
  109. }
  110. void EnterState::DefaultSCI::raise_f()
  111. {
  112. f_raised = true;
  113. }
  114. void EnterState::raise_f()
  115. {
  116. iface.raise_f();
  117. }
  118. void EnterState::DefaultSCI::raise_g()
  119. {
  120. g_raised = true;
  121. }
  122. void EnterState::raise_g()
  123. {
  124. iface.raise_g();
  125. }
  126. // implementations of all internal functions
  127. sc_boolean EnterState::check_r_A_tr0_tr0()
  128. {
  129. return iface.e_raised;
  130. }
  131. sc_boolean EnterState::check_r_A_tr1_tr1()
  132. {
  133. return iface.f_raised;
  134. }
  135. sc_boolean EnterState::check_r_A_tr2_tr2()
  136. {
  137. return iface.g_raised;
  138. }
  139. void EnterState::effect_r_A_tr0()
  140. {
  141. exseq_r_A();
  142. enseq_r_B_default();
  143. }
  144. void EnterState::effect_r_A_tr1()
  145. {
  146. exseq_r_A();
  147. enseq_r_B_f();
  148. }
  149. void EnterState::effect_r_A_tr2()
  150. {
  151. exseq_r_A();
  152. enseq_r_B_g();
  153. }
  154. /* 'default' enter sequence for state A */
  155. void EnterState::enseq_r_A_default()
  156. {
  157. /* 'default' enter sequence for state A */
  158. stateConfVector[0] = r_A;
  159. stateConfVectorPosition = 0;
  160. }
  161. /* 'default' enter sequence for state B */
  162. void EnterState::enseq_r_B_default()
  163. {
  164. /* 'default' enter sequence for state B */
  165. enseq_r_B_r_default();
  166. }
  167. /* 'f' enter sequence for state B */
  168. void EnterState::enseq_r_B_f()
  169. {
  170. /* 'f' enter sequence for state B */
  171. enseq_r_B_r_f();
  172. }
  173. /* 'g' enter sequence for state B */
  174. void EnterState::enseq_r_B_g()
  175. {
  176. /* 'g' enter sequence for state B */
  177. enseq_r_B_r_default();
  178. }
  179. /* 'default' enter sequence for state E */
  180. void EnterState::enseq_r_B_r_E_default()
  181. {
  182. /* 'default' enter sequence for state E */
  183. stateConfVector[0] = r_B_r_E;
  184. stateConfVectorPosition = 0;
  185. }
  186. /* 'default' enter sequence for state F */
  187. void EnterState::enseq_r_B_r_F_default()
  188. {
  189. /* 'default' enter sequence for state F */
  190. stateConfVector[0] = r_B_r_F;
  191. stateConfVectorPosition = 0;
  192. }
  193. /* 'default' enter sequence for region r */
  194. void EnterState::enseq_r_default()
  195. {
  196. /* 'default' enter sequence for region r */
  197. react_r__entry_Default();
  198. }
  199. /* 'default' enter sequence for region r */
  200. void EnterState::enseq_r_B_r_default()
  201. {
  202. /* 'default' enter sequence for region r */
  203. react_r_B_r__entry_Default();
  204. }
  205. /* 'f' enter sequence for region r */
  206. void EnterState::enseq_r_B_r_f()
  207. {
  208. /* 'f' enter sequence for region r */
  209. react_r_B_r_f();
  210. }
  211. /* Default exit sequence for state A */
  212. void EnterState::exseq_r_A()
  213. {
  214. /* Default exit sequence for state A */
  215. stateConfVector[0] = EnterState_last_state;
  216. stateConfVectorPosition = 0;
  217. }
  218. /* Default exit sequence for state E */
  219. void EnterState::exseq_r_B_r_E()
  220. {
  221. /* Default exit sequence for state E */
  222. stateConfVector[0] = EnterState_last_state;
  223. stateConfVectorPosition = 0;
  224. }
  225. /* Default exit sequence for state F */
  226. void EnterState::exseq_r_B_r_F()
  227. {
  228. /* Default exit sequence for state F */
  229. stateConfVector[0] = EnterState_last_state;
  230. stateConfVectorPosition = 0;
  231. }
  232. /* Default exit sequence for region r */
  233. void EnterState::exseq_r()
  234. {
  235. /* Default exit sequence for region r */
  236. /* Handle exit of all possible states (of EnterState.r) at position 0... */
  237. switch(stateConfVector[ 0 ])
  238. {
  239. case r_A :
  240. {
  241. exseq_r_A();
  242. break;
  243. }
  244. case r_B_r_E :
  245. {
  246. exseq_r_B_r_E();
  247. break;
  248. }
  249. case r_B_r_F :
  250. {
  251. exseq_r_B_r_F();
  252. break;
  253. }
  254. default: break;
  255. }
  256. }
  257. /* Default exit sequence for region r */
  258. void EnterState::exseq_r_B_r()
  259. {
  260. /* Default exit sequence for region r */
  261. /* Handle exit of all possible states (of EnterState.r.B.r) at position 0... */
  262. switch(stateConfVector[ 0 ])
  263. {
  264. case r_B_r_E :
  265. {
  266. exseq_r_B_r_E();
  267. break;
  268. }
  269. case r_B_r_F :
  270. {
  271. exseq_r_B_r_F();
  272. break;
  273. }
  274. default: break;
  275. }
  276. }
  277. /* The reactions of state A. */
  278. void EnterState::react_r_A()
  279. {
  280. /* The reactions of state A. */
  281. if (check_r_A_tr0_tr0())
  282. {
  283. effect_r_A_tr0();
  284. } else
  285. {
  286. if (check_r_A_tr1_tr1())
  287. {
  288. effect_r_A_tr1();
  289. } else
  290. {
  291. if (check_r_A_tr2_tr2())
  292. {
  293. effect_r_A_tr2();
  294. }
  295. }
  296. }
  297. }
  298. /* The reactions of state E. */
  299. void EnterState::react_r_B_r_E()
  300. {
  301. /* The reactions of state E. */
  302. }
  303. /* The reactions of state F. */
  304. void EnterState::react_r_B_r_F()
  305. {
  306. /* The reactions of state F. */
  307. }
  308. /* Default react sequence for initial entry */
  309. void EnterState::react_r__entry_Default()
  310. {
  311. /* Default react sequence for initial entry */
  312. enseq_r_A_default();
  313. }
  314. /* Default react sequence for initial entry */
  315. void EnterState::react_r_B_r__entry_Default()
  316. {
  317. /* Default react sequence for initial entry */
  318. enseq_r_B_r_E_default();
  319. }
  320. /* Default react sequence for initial entry f */
  321. void EnterState::react_r_B_r_f()
  322. {
  323. /* Default react sequence for initial entry f */
  324. enseq_r_B_r_F_default();
  325. }