StateIsActive.cpp 6.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336
  1. #include "StateIsActive.h"
  2. #include <string.h>
  3. /*! \file Implementation of the state machine 'StateIsActive'
  4. */
  5. StateIsActive::StateIsActive()
  6. {
  7. stateConfVectorPosition = 0;
  8. }
  9. StateIsActive::~StateIsActive()
  10. {
  11. }
  12. void StateIsActive::init()
  13. {
  14. for (int i = 0; i < maxOrthogonalStates; ++i)
  15. stateConfVector[i] = StateIsActive_last_state;
  16. stateConfVectorPosition = 0;
  17. clearInEvents();
  18. clearOutEvents();
  19. }
  20. void StateIsActive::enter()
  21. {
  22. /* Default enter sequence for statechart StateIsActive */
  23. enseq_R1_default();
  24. enseq_R2_default();
  25. }
  26. void StateIsActive::exit()
  27. {
  28. /* Default exit sequence for statechart StateIsActive */
  29. exseq_R1();
  30. exseq_R2();
  31. }
  32. sc_boolean StateIsActive::isActive() const
  33. {
  34. return stateConfVector[0] != StateIsActive_last_state||stateConfVector[1] != StateIsActive_last_state;
  35. }
  36. /*
  37. * Always returns 'false' since this state machine can never become final.
  38. */
  39. sc_boolean StateIsActive::isFinal() const
  40. {
  41. return false;}
  42. void StateIsActive::runCycle()
  43. {
  44. clearOutEvents();
  45. for (stateConfVectorPosition = 0;
  46. stateConfVectorPosition < maxOrthogonalStates;
  47. stateConfVectorPosition++)
  48. {
  49. switch (stateConfVector[stateConfVectorPosition])
  50. {
  51. case R1_R1A :
  52. {
  53. react_R1_R1A();
  54. break;
  55. }
  56. case R1_R1B :
  57. {
  58. react_R1_R1B();
  59. break;
  60. }
  61. case R2_R2A :
  62. {
  63. react_R2_R2A();
  64. break;
  65. }
  66. case R2_R2B :
  67. {
  68. react_R2_R2B();
  69. break;
  70. }
  71. default:
  72. break;
  73. }
  74. }
  75. clearInEvents();
  76. }
  77. void StateIsActive::clearInEvents()
  78. {
  79. iface.Event1_raised = false;
  80. }
  81. void StateIsActive::clearOutEvents()
  82. {
  83. }
  84. sc_boolean StateIsActive::isStateActive(StateIsActiveStates state) const
  85. {
  86. switch (state)
  87. {
  88. case R1_R1A :
  89. return (sc_boolean) (stateConfVector[0] == R1_R1A
  90. );
  91. case R1_R1B :
  92. return (sc_boolean) (stateConfVector[0] == R1_R1B
  93. );
  94. case R2_R2A :
  95. return (sc_boolean) (stateConfVector[1] == R2_R2A
  96. );
  97. case R2_R2B :
  98. return (sc_boolean) (stateConfVector[1] == R2_R2B
  99. );
  100. default: return false;
  101. }
  102. }
  103. StateIsActive::DefaultSCI* StateIsActive::getDefaultSCI()
  104. {
  105. return &iface;
  106. }
  107. void StateIsActive::DefaultSCI::raise_event1()
  108. {
  109. Event1_raised = true;
  110. }
  111. void StateIsActive::raise_event1()
  112. {
  113. iface.raise_event1();
  114. }
  115. // implementations of all internal functions
  116. sc_boolean StateIsActive::check_R1_R1A_tr0_tr0()
  117. {
  118. return isStateActive(R2_R2B);
  119. }
  120. sc_boolean StateIsActive::check_R2_R2A_tr0_tr0()
  121. {
  122. return iface.Event1_raised;
  123. }
  124. void StateIsActive::effect_R1_R1A_tr0()
  125. {
  126. exseq_R1_R1A();
  127. enseq_R1_R1B_default();
  128. }
  129. void StateIsActive::effect_R2_R2A_tr0()
  130. {
  131. exseq_R2_R2A();
  132. enseq_R2_R2B_default();
  133. }
  134. /* 'default' enter sequence for state R1A */
  135. void StateIsActive::enseq_R1_R1A_default()
  136. {
  137. /* 'default' enter sequence for state R1A */
  138. stateConfVector[0] = R1_R1A;
  139. stateConfVectorPosition = 0;
  140. }
  141. /* 'default' enter sequence for state R1B */
  142. void StateIsActive::enseq_R1_R1B_default()
  143. {
  144. /* 'default' enter sequence for state R1B */
  145. stateConfVector[0] = R1_R1B;
  146. stateConfVectorPosition = 0;
  147. }
  148. /* 'default' enter sequence for state R2A */
  149. void StateIsActive::enseq_R2_R2A_default()
  150. {
  151. /* 'default' enter sequence for state R2A */
  152. stateConfVector[1] = R2_R2A;
  153. stateConfVectorPosition = 1;
  154. }
  155. /* 'default' enter sequence for state R2B */
  156. void StateIsActive::enseq_R2_R2B_default()
  157. {
  158. /* 'default' enter sequence for state R2B */
  159. stateConfVector[1] = R2_R2B;
  160. stateConfVectorPosition = 1;
  161. }
  162. /* 'default' enter sequence for region R1 */
  163. void StateIsActive::enseq_R1_default()
  164. {
  165. /* 'default' enter sequence for region R1 */
  166. react_R1__entry_Default();
  167. }
  168. /* 'default' enter sequence for region R2 */
  169. void StateIsActive::enseq_R2_default()
  170. {
  171. /* 'default' enter sequence for region R2 */
  172. react_R2__entry_Default();
  173. }
  174. /* Default exit sequence for state R1A */
  175. void StateIsActive::exseq_R1_R1A()
  176. {
  177. /* Default exit sequence for state R1A */
  178. stateConfVector[0] = StateIsActive_last_state;
  179. stateConfVectorPosition = 0;
  180. }
  181. /* Default exit sequence for state R1B */
  182. void StateIsActive::exseq_R1_R1B()
  183. {
  184. /* Default exit sequence for state R1B */
  185. stateConfVector[0] = StateIsActive_last_state;
  186. stateConfVectorPosition = 0;
  187. }
  188. /* Default exit sequence for state R2A */
  189. void StateIsActive::exseq_R2_R2A()
  190. {
  191. /* Default exit sequence for state R2A */
  192. stateConfVector[1] = StateIsActive_last_state;
  193. stateConfVectorPosition = 1;
  194. }
  195. /* Default exit sequence for state R2B */
  196. void StateIsActive::exseq_R2_R2B()
  197. {
  198. /* Default exit sequence for state R2B */
  199. stateConfVector[1] = StateIsActive_last_state;
  200. stateConfVectorPosition = 1;
  201. }
  202. /* Default exit sequence for region R1 */
  203. void StateIsActive::exseq_R1()
  204. {
  205. /* Default exit sequence for region R1 */
  206. /* Handle exit of all possible states (of StateIsActive.R1) at position 0... */
  207. switch(stateConfVector[ 0 ])
  208. {
  209. case R1_R1A :
  210. {
  211. exseq_R1_R1A();
  212. break;
  213. }
  214. case R1_R1B :
  215. {
  216. exseq_R1_R1B();
  217. break;
  218. }
  219. default: break;
  220. }
  221. }
  222. /* Default exit sequence for region R2 */
  223. void StateIsActive::exseq_R2()
  224. {
  225. /* Default exit sequence for region R2 */
  226. /* Handle exit of all possible states (of StateIsActive.R2) at position 1... */
  227. switch(stateConfVector[ 1 ])
  228. {
  229. case R2_R2A :
  230. {
  231. exseq_R2_R2A();
  232. break;
  233. }
  234. case R2_R2B :
  235. {
  236. exseq_R2_R2B();
  237. break;
  238. }
  239. default: break;
  240. }
  241. }
  242. /* The reactions of state R1A. */
  243. void StateIsActive::react_R1_R1A()
  244. {
  245. /* The reactions of state R1A. */
  246. if (check_R1_R1A_tr0_tr0())
  247. {
  248. effect_R1_R1A_tr0();
  249. }
  250. }
  251. /* The reactions of state R1B. */
  252. void StateIsActive::react_R1_R1B()
  253. {
  254. /* The reactions of state R1B. */
  255. }
  256. /* The reactions of state R2A. */
  257. void StateIsActive::react_R2_R2A()
  258. {
  259. /* The reactions of state R2A. */
  260. if (check_R2_R2A_tr0_tr0())
  261. {
  262. effect_R2_R2A_tr0();
  263. }
  264. }
  265. /* The reactions of state R2B. */
  266. void StateIsActive::react_R2_R2B()
  267. {
  268. }
  269. /* Default react sequence for initial entry */
  270. void StateIsActive::react_R1__entry_Default()
  271. {
  272. /* Default react sequence for initial entry */
  273. enseq_R1_R1A_default();
  274. }
  275. /* Default react sequence for initial entry */
  276. void StateIsActive::react_R2__entry_Default()
  277. {
  278. /* Default react sequence for initial entry */
  279. enseq_R2_R2A_default();
  280. }