StatechartKeywords.cpp 7.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381
  1. #include "StatechartKeywords.h"
  2. #include <string.h>
  3. /*! \file Implementation of the state machine 'StatechartKeywords'
  4. */
  5. StatechartKeywords::StatechartKeywords()
  6. {
  7. ifaceIf_OCB = null;
  8. ifaceInternalSCI_OCB = null;
  9. stateConfVectorPosition = 0;
  10. timer = null;
  11. }
  12. StatechartKeywords::~StatechartKeywords()
  13. {
  14. }
  15. void StatechartKeywords::init()
  16. {
  17. for (int i = 0; i < maxOrthogonalStates; ++i)
  18. stateConfVector[i] = StatechartKeywords_last_state;
  19. stateConfVectorPosition = 0;
  20. clearInEvents();
  21. clearOutEvents();
  22. /* Default init sequence for statechart StatechartKeywords */
  23. ifaceIf.timer = 0;
  24. ifaceIf.isActive = 0;
  25. ifaceIf.init = 0;
  26. ifaceIf.enter_ID = 0;
  27. ifaceIf.runCycle_ID = 0;
  28. ifaceInternalSCI.timer = 0;
  29. ifaceInternalSCI.isActive = 0;
  30. ifaceInternalSCI.init = 0;
  31. ifaceInternalSCI.enter_ID = 0;
  32. ifaceInternalSCI.runCycle_ID = 0;
  33. ifaceInternalSCI.sCIIf = 0;
  34. }
  35. void StatechartKeywords::enter()
  36. {
  37. /* Default enter sequence for statechart StatechartKeywords */
  38. enact();
  39. enseq_main_region_default();
  40. }
  41. void StatechartKeywords::exit()
  42. {
  43. /* Default exit sequence for statechart StatechartKeywords */
  44. exseq_main_region();
  45. exact();
  46. }
  47. sc_boolean StatechartKeywords::isActive() const
  48. {
  49. return stateConfVector[0] != StatechartKeywords_last_state;
  50. }
  51. /*
  52. * Always returns 'false' since this state machine can never become final.
  53. */
  54. sc_boolean StatechartKeywords::isFinal() const
  55. {
  56. return false;}
  57. void StatechartKeywords::runCycle()
  58. {
  59. clearOutEvents();
  60. for (stateConfVectorPosition = 0;
  61. stateConfVectorPosition < maxOrthogonalStates;
  62. stateConfVectorPosition++)
  63. {
  64. switch (stateConfVector[stateConfVectorPosition])
  65. {
  66. case main_region_Timer :
  67. {
  68. react_main_region_Timer();
  69. break;
  70. }
  71. default:
  72. break;
  73. }
  74. }
  75. clearInEvents();
  76. }
  77. void StatechartKeywords::clearInEvents()
  78. {
  79. ifaceInternalSCI.operationCallback_raised = false;
  80. ifaceInternalSCI.listeners_raised = false;
  81. timeEvents[0] = false;
  82. }
  83. void StatechartKeywords::clearOutEvents()
  84. {
  85. ifaceIf.operationCallback_raised = false;
  86. ifaceIf.listeners_raised = false;
  87. }
  88. void StatechartKeywords::setTimer(TimerInterface* timer)
  89. {
  90. this->timer = timer;
  91. }
  92. TimerInterface* StatechartKeywords::getTimer()
  93. {
  94. return timer;
  95. }
  96. void StatechartKeywords::raiseTimeEvent(sc_eventid evid)
  97. {
  98. if ((evid >= (sc_eventid)timeEvents) && (evid < (sc_eventid)(&timeEvents[timeEventsCount])))
  99. {
  100. *(sc_boolean*)evid = true;
  101. }
  102. }
  103. sc_boolean StatechartKeywords::isStateActive(StatechartKeywordsStates state) const
  104. {
  105. switch (state)
  106. {
  107. case main_region_Timer :
  108. return (sc_boolean) (stateConfVector[0] == main_region_Timer
  109. );
  110. default: return false;
  111. }
  112. }
  113. StatechartKeywords::SCI_If* StatechartKeywords::getSCI_If()
  114. {
  115. return &ifaceIf;
  116. }
  117. sc_boolean StatechartKeywords::SCI_If::isRaised_operationCallback() const
  118. {
  119. return operationCallback_raised;
  120. }
  121. sc_boolean StatechartKeywords::SCI_If::isRaised_listeners() const
  122. {
  123. return listeners_raised;
  124. }
  125. sc_integer StatechartKeywords::SCI_If::get_timer() const
  126. {
  127. return timer;
  128. }
  129. void StatechartKeywords::SCI_If::set_timer(sc_integer value)
  130. {
  131. timer = value;
  132. }
  133. sc_integer StatechartKeywords::SCI_If::get_isActive() const
  134. {
  135. return isActive;
  136. }
  137. void StatechartKeywords::SCI_If::set_isActive(sc_integer value)
  138. {
  139. isActive = value;
  140. }
  141. sc_integer StatechartKeywords::SCI_If::get_init() const
  142. {
  143. return init;
  144. }
  145. void StatechartKeywords::SCI_If::set_init(sc_integer value)
  146. {
  147. init = value;
  148. }
  149. sc_integer StatechartKeywords::SCI_If::get_enter() const
  150. {
  151. return enter_ID;
  152. }
  153. void StatechartKeywords::SCI_If::set_enter(sc_integer value)
  154. {
  155. enter_ID = value;
  156. }
  157. sc_integer StatechartKeywords::SCI_If::get_runCycle() const
  158. {
  159. return runCycle_ID;
  160. }
  161. void StatechartKeywords::SCI_If::set_runCycle(sc_integer value)
  162. {
  163. runCycle_ID = value;
  164. }
  165. void StatechartKeywords::setSCI_If_OCB(SCI_If_OCB* operationCallback)
  166. {
  167. ifaceIf_OCB = operationCallback;
  168. }
  169. void StatechartKeywords::InternalSCI::raise_operationCallback()
  170. {
  171. operationCallback_raised = true;
  172. }
  173. sc_boolean StatechartKeywords::InternalSCI::isRaised_operationCallback() const
  174. {
  175. return operationCallback_raised;
  176. }
  177. void StatechartKeywords::InternalSCI::raise_listeners()
  178. {
  179. listeners_raised = true;
  180. }
  181. sc_boolean StatechartKeywords::InternalSCI::isRaised_listeners() const
  182. {
  183. return listeners_raised;
  184. }
  185. sc_integer StatechartKeywords::InternalSCI::get_timer() const
  186. {
  187. return timer;
  188. }
  189. void StatechartKeywords::InternalSCI::set_timer(sc_integer value)
  190. {
  191. timer = value;
  192. }
  193. sc_integer StatechartKeywords::InternalSCI::get_isActive() const
  194. {
  195. return isActive;
  196. }
  197. void StatechartKeywords::InternalSCI::set_isActive(sc_integer value)
  198. {
  199. isActive = value;
  200. }
  201. sc_integer StatechartKeywords::InternalSCI::get_init() const
  202. {
  203. return init;
  204. }
  205. void StatechartKeywords::InternalSCI::set_init(sc_integer value)
  206. {
  207. init = value;
  208. }
  209. sc_integer StatechartKeywords::InternalSCI::get_enter() const
  210. {
  211. return enter_ID;
  212. }
  213. void StatechartKeywords::InternalSCI::set_enter(sc_integer value)
  214. {
  215. enter_ID = value;
  216. }
  217. sc_integer StatechartKeywords::InternalSCI::get_runCycle() const
  218. {
  219. return runCycle_ID;
  220. }
  221. void StatechartKeywords::InternalSCI::set_runCycle(sc_integer value)
  222. {
  223. runCycle_ID = value;
  224. }
  225. sc_integer StatechartKeywords::InternalSCI::get_sCIIf() const
  226. {
  227. return sCIIf;
  228. }
  229. void StatechartKeywords::InternalSCI::set_sCIIf(sc_integer value)
  230. {
  231. sCIIf = value;
  232. }
  233. void StatechartKeywords::setInternalSCI_OCB(InternalSCI_OCB* operationCallback)
  234. {
  235. ifaceInternalSCI_OCB = operationCallback;
  236. }
  237. // implementations of all internal functions
  238. sc_boolean StatechartKeywords::check__lr0()
  239. {
  240. return timeEvents[0];
  241. }
  242. void StatechartKeywords::effect__lr0()
  243. {
  244. ifaceInternalSCI.timer += 1;
  245. }
  246. /* Entry action for statechart 'StatechartKeywords'. */
  247. void StatechartKeywords::enact()
  248. {
  249. /* Entry action for statechart 'StatechartKeywords'. */
  250. timer->setTimer(this, (sc_eventid)(&timeEvents[0]), 1 * 1000, true);
  251. }
  252. /* Exit action for state 'StatechartKeywords'. */
  253. void StatechartKeywords::exact()
  254. {
  255. /* Exit action for state 'StatechartKeywords'. */
  256. timer->unsetTimer(this, (sc_eventid)(&timeEvents[0]));
  257. }
  258. /* 'default' enter sequence for state Timer */
  259. void StatechartKeywords::enseq_main_region_Timer_default()
  260. {
  261. /* 'default' enter sequence for state Timer */
  262. stateConfVector[0] = main_region_Timer;
  263. stateConfVectorPosition = 0;
  264. }
  265. /* 'default' enter sequence for region main region */
  266. void StatechartKeywords::enseq_main_region_default()
  267. {
  268. /* 'default' enter sequence for region main region */
  269. react_main_region__entry_Default();
  270. }
  271. /* Default exit sequence for state Timer */
  272. void StatechartKeywords::exseq_main_region_Timer()
  273. {
  274. /* Default exit sequence for state Timer */
  275. stateConfVector[0] = StatechartKeywords_last_state;
  276. stateConfVectorPosition = 0;
  277. }
  278. /* Default exit sequence for region main region */
  279. void StatechartKeywords::exseq_main_region()
  280. {
  281. /* Default exit sequence for region main region */
  282. /* Handle exit of all possible states (of StatechartKeywords.main_region) at position 0... */
  283. switch(stateConfVector[ 0 ])
  284. {
  285. case main_region_Timer :
  286. {
  287. exseq_main_region_Timer();
  288. break;
  289. }
  290. default: break;
  291. }
  292. }
  293. /* The reactions of state Timer. */
  294. void StatechartKeywords::react_main_region_Timer()
  295. {
  296. /* The reactions of state Timer. */
  297. if (check__lr0())
  298. {
  299. effect__lr0();
  300. }
  301. }
  302. /* Default react sequence for initial entry */
  303. void StatechartKeywords::react_main_region__entry_Default()
  304. {
  305. /* Default react sequence for initial entry */
  306. enseq_main_region_Timer_default();
  307. }