SameNameDifferentRegion.cpp 7.3 KB

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