ShallowHistory.cpp 22 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853
  1. #include "ShallowHistory.h"
  2. #include <string.h>
  3. /*! \file Implementation of the state machine 'ShallowHistory'
  4. */
  5. ShallowHistory::ShallowHistory()
  6. {
  7. for (int i = 0; i < maxHistoryStates; ++i)
  8. historyVector[i] = ShallowHistory_last_state;
  9. stateConfVectorPosition = 0;
  10. }
  11. ShallowHistory::~ShallowHistory()
  12. {
  13. }
  14. void ShallowHistory::init()
  15. {
  16. for (int i = 0; i < maxOrthogonalStates; ++i)
  17. stateConfVector[i] = ShallowHistory_last_state;
  18. for (int i = 0; i < maxHistoryStates; ++i)
  19. historyVector[i] = ShallowHistory_last_state;
  20. stateConfVectorPosition = 0;
  21. clearInEvents();
  22. clearOutEvents();
  23. }
  24. void ShallowHistory::enter()
  25. {
  26. /* Default enter sequence for statechart ShallowHistory */
  27. enseq_mainRegion_default();
  28. }
  29. void ShallowHistory::exit()
  30. {
  31. /* Default exit sequence for statechart ShallowHistory */
  32. exseq_mainRegion();
  33. }
  34. sc_boolean ShallowHistory::isActive() const
  35. {
  36. return stateConfVector[0] != ShallowHistory_last_state;
  37. }
  38. /*
  39. * Always returns 'false' since this state machine can never become final.
  40. */
  41. sc_boolean ShallowHistory::isFinal() const
  42. {
  43. return false;}
  44. void ShallowHistory::runCycle()
  45. {
  46. clearOutEvents();
  47. for (stateConfVectorPosition = 0;
  48. stateConfVectorPosition < maxOrthogonalStates;
  49. stateConfVectorPosition++)
  50. {
  51. switch (stateConfVector[stateConfVectorPosition])
  52. {
  53. case mainRegion_State1 :
  54. {
  55. react_mainRegion_State1();
  56. break;
  57. }
  58. case mainRegion_State2__region0_State3 :
  59. {
  60. react_mainRegion_State2__region0_State3();
  61. break;
  62. }
  63. case mainRegion_State2__region0_State4__region0_State6 :
  64. {
  65. react_mainRegion_State2__region0_State4__region0_State6();
  66. break;
  67. }
  68. case mainRegion_State2__region0_State4__region0_State7__region0_State8 :
  69. {
  70. react_mainRegion_State2__region0_State4__region0_State7__region0_State8();
  71. break;
  72. }
  73. case mainRegion_State2__region0_State4__region0_State7__region0_State9 :
  74. {
  75. react_mainRegion_State2__region0_State4__region0_State7__region0_State9();
  76. break;
  77. }
  78. case mainRegion_State2__region0_State5 :
  79. {
  80. react_mainRegion_State2__region0_State5();
  81. break;
  82. }
  83. default:
  84. break;
  85. }
  86. }
  87. clearInEvents();
  88. }
  89. void ShallowHistory::clearInEvents()
  90. {
  91. iface.event1_raised = false;
  92. iface.event2_raised = false;
  93. iface.event3_raised = false;
  94. iface.event4_raised = false;
  95. iface.event5_raised = false;
  96. iface.event6_raised = false;
  97. iface.event7_raised = false;
  98. iface.event8_raised = false;
  99. }
  100. void ShallowHistory::clearOutEvents()
  101. {
  102. }
  103. sc_boolean ShallowHistory::isStateActive(ShallowHistoryStates state) const
  104. {
  105. switch (state)
  106. {
  107. case mainRegion_State1 :
  108. return (sc_boolean) (stateConfVector[0] == mainRegion_State1
  109. );
  110. case mainRegion_State2 :
  111. return (sc_boolean) (stateConfVector[0] >= mainRegion_State2
  112. && stateConfVector[0] <= mainRegion_State2__region0_State5);
  113. case mainRegion_State2__region0_State3 :
  114. return (sc_boolean) (stateConfVector[0] == mainRegion_State2__region0_State3
  115. );
  116. case mainRegion_State2__region0_State4 :
  117. return (sc_boolean) (stateConfVector[0] >= mainRegion_State2__region0_State4
  118. && stateConfVector[0] <= mainRegion_State2__region0_State4__region0_State7__region0_State9);
  119. case mainRegion_State2__region0_State4__region0_State6 :
  120. return (sc_boolean) (stateConfVector[0] == mainRegion_State2__region0_State4__region0_State6
  121. );
  122. case mainRegion_State2__region0_State4__region0_State7 :
  123. return (sc_boolean) (stateConfVector[0] >= mainRegion_State2__region0_State4__region0_State7
  124. && stateConfVector[0] <= mainRegion_State2__region0_State4__region0_State7__region0_State9);
  125. case mainRegion_State2__region0_State4__region0_State7__region0_State8 :
  126. return (sc_boolean) (stateConfVector[0] == mainRegion_State2__region0_State4__region0_State7__region0_State8
  127. );
  128. case mainRegion_State2__region0_State4__region0_State7__region0_State9 :
  129. return (sc_boolean) (stateConfVector[0] == mainRegion_State2__region0_State4__region0_State7__region0_State9
  130. );
  131. case mainRegion_State2__region0_State5 :
  132. return (sc_boolean) (stateConfVector[0] == mainRegion_State2__region0_State5
  133. );
  134. default: return false;
  135. }
  136. }
  137. ShallowHistory::DefaultSCI* ShallowHistory::getDefaultSCI()
  138. {
  139. return &iface;
  140. }
  141. void ShallowHistory::DefaultSCI::raise_event1()
  142. {
  143. event1_raised = true;
  144. }
  145. void ShallowHistory::raise_event1()
  146. {
  147. iface.raise_event1();
  148. }
  149. void ShallowHistory::DefaultSCI::raise_event2()
  150. {
  151. event2_raised = true;
  152. }
  153. void ShallowHistory::raise_event2()
  154. {
  155. iface.raise_event2();
  156. }
  157. void ShallowHistory::DefaultSCI::raise_event3()
  158. {
  159. event3_raised = true;
  160. }
  161. void ShallowHistory::raise_event3()
  162. {
  163. iface.raise_event3();
  164. }
  165. void ShallowHistory::DefaultSCI::raise_event4()
  166. {
  167. event4_raised = true;
  168. }
  169. void ShallowHistory::raise_event4()
  170. {
  171. iface.raise_event4();
  172. }
  173. void ShallowHistory::DefaultSCI::raise_event5()
  174. {
  175. event5_raised = true;
  176. }
  177. void ShallowHistory::raise_event5()
  178. {
  179. iface.raise_event5();
  180. }
  181. void ShallowHistory::DefaultSCI::raise_event6()
  182. {
  183. event6_raised = true;
  184. }
  185. void ShallowHistory::raise_event6()
  186. {
  187. iface.raise_event6();
  188. }
  189. void ShallowHistory::DefaultSCI::raise_event7()
  190. {
  191. event7_raised = true;
  192. }
  193. void ShallowHistory::raise_event7()
  194. {
  195. iface.raise_event7();
  196. }
  197. void ShallowHistory::DefaultSCI::raise_event8()
  198. {
  199. event8_raised = true;
  200. }
  201. void ShallowHistory::raise_event8()
  202. {
  203. iface.raise_event8();
  204. }
  205. // implementations of all internal functions
  206. sc_boolean ShallowHistory::check_mainRegion_State1_tr0_tr0()
  207. {
  208. return iface.event1_raised;
  209. }
  210. sc_boolean ShallowHistory::check_mainRegion_State2_tr0_tr0()
  211. {
  212. return iface.event2_raised;
  213. }
  214. sc_boolean ShallowHistory::check_mainRegion_State2__region0_State3_tr0_tr0()
  215. {
  216. return iface.event3_raised;
  217. }
  218. sc_boolean ShallowHistory::check_mainRegion_State2__region0_State4_tr0_tr0()
  219. {
  220. return iface.event4_raised;
  221. }
  222. sc_boolean ShallowHistory::check_mainRegion_State2__region0_State4__region0_State6_tr0_tr0()
  223. {
  224. return iface.event5_raised;
  225. }
  226. sc_boolean ShallowHistory::check_mainRegion_State2__region0_State4__region0_State7_tr0_tr0()
  227. {
  228. return iface.event6_raised;
  229. }
  230. sc_boolean ShallowHistory::check_mainRegion_State2__region0_State4__region0_State7__region0_State8_tr0_tr0()
  231. {
  232. return iface.event7_raised;
  233. }
  234. sc_boolean ShallowHistory::check_mainRegion_State2__region0_State4__region0_State7__region0_State9_tr0_tr0()
  235. {
  236. return iface.event8_raised;
  237. }
  238. void ShallowHistory::effect_mainRegion_State1_tr0()
  239. {
  240. exseq_mainRegion_State1();
  241. enseq_mainRegion_State2_default();
  242. }
  243. void ShallowHistory::effect_mainRegion_State2_tr0()
  244. {
  245. exseq_mainRegion_State2();
  246. enseq_mainRegion_State1_default();
  247. }
  248. void ShallowHistory::effect_mainRegion_State2__region0_State3_tr0()
  249. {
  250. exseq_mainRegion_State2__region0_State3();
  251. enseq_mainRegion_State2__region0_State4_default();
  252. }
  253. void ShallowHistory::effect_mainRegion_State2__region0_State4_tr0()
  254. {
  255. exseq_mainRegion_State2__region0_State4();
  256. enseq_mainRegion_State2__region0_State5_default();
  257. }
  258. void ShallowHistory::effect_mainRegion_State2__region0_State4__region0_State6_tr0()
  259. {
  260. exseq_mainRegion_State2__region0_State4__region0_State6();
  261. enseq_mainRegion_State2__region0_State4__region0_State7_default();
  262. }
  263. void ShallowHistory::effect_mainRegion_State2__region0_State4__region0_State7_tr0()
  264. {
  265. exseq_mainRegion_State2__region0_State4__region0_State7();
  266. enseq_mainRegion_State2__region0_State4__region0_State6_default();
  267. }
  268. void ShallowHistory::effect_mainRegion_State2__region0_State4__region0_State7__region0_State8_tr0()
  269. {
  270. exseq_mainRegion_State2__region0_State4__region0_State7__region0_State8();
  271. enseq_mainRegion_State2__region0_State4__region0_State7__region0_State9_default();
  272. }
  273. void ShallowHistory::effect_mainRegion_State2__region0_State4__region0_State7__region0_State9_tr0()
  274. {
  275. exseq_mainRegion_State2__region0_State4__region0_State7__region0_State9();
  276. enseq_mainRegion_State2__region0_State4__region0_State7__region0_State8_default();
  277. }
  278. /* 'default' enter sequence for state State1 */
  279. void ShallowHistory::enseq_mainRegion_State1_default()
  280. {
  281. /* 'default' enter sequence for state State1 */
  282. stateConfVector[0] = mainRegion_State1;
  283. stateConfVectorPosition = 0;
  284. }
  285. /* 'default' enter sequence for state State2 */
  286. void ShallowHistory::enseq_mainRegion_State2_default()
  287. {
  288. /* 'default' enter sequence for state State2 */
  289. enseq_mainRegion_State2__region0_default();
  290. }
  291. /* 'default' enter sequence for state State3 */
  292. void ShallowHistory::enseq_mainRegion_State2__region0_State3_default()
  293. {
  294. /* 'default' enter sequence for state State3 */
  295. stateConfVector[0] = mainRegion_State2__region0_State3;
  296. stateConfVectorPosition = 0;
  297. historyVector[0] = stateConfVector[0];
  298. }
  299. /* 'default' enter sequence for state State4 */
  300. void ShallowHistory::enseq_mainRegion_State2__region0_State4_default()
  301. {
  302. /* 'default' enter sequence for state State4 */
  303. enseq_mainRegion_State2__region0_State4__region0_default();
  304. historyVector[0] = stateConfVector[0];
  305. }
  306. /* 'default' enter sequence for state State6 */
  307. void ShallowHistory::enseq_mainRegion_State2__region0_State4__region0_State6_default()
  308. {
  309. /* 'default' enter sequence for state State6 */
  310. stateConfVector[0] = mainRegion_State2__region0_State4__region0_State6;
  311. stateConfVectorPosition = 0;
  312. }
  313. /* 'default' enter sequence for state State7 */
  314. void ShallowHistory::enseq_mainRegion_State2__region0_State4__region0_State7_default()
  315. {
  316. /* 'default' enter sequence for state State7 */
  317. enseq_mainRegion_State2__region0_State4__region0_State7__region0_default();
  318. }
  319. /* 'default' enter sequence for state State8 */
  320. void ShallowHistory::enseq_mainRegion_State2__region0_State4__region0_State7__region0_State8_default()
  321. {
  322. /* 'default' enter sequence for state State8 */
  323. stateConfVector[0] = mainRegion_State2__region0_State4__region0_State7__region0_State8;
  324. stateConfVectorPosition = 0;
  325. historyVector[1] = stateConfVector[0];
  326. }
  327. /* 'default' enter sequence for state State9 */
  328. void ShallowHistory::enseq_mainRegion_State2__region0_State4__region0_State7__region0_State9_default()
  329. {
  330. /* 'default' enter sequence for state State9 */
  331. stateConfVector[0] = mainRegion_State2__region0_State4__region0_State7__region0_State9;
  332. stateConfVectorPosition = 0;
  333. historyVector[1] = stateConfVector[0];
  334. }
  335. /* 'default' enter sequence for state State5 */
  336. void ShallowHistory::enseq_mainRegion_State2__region0_State5_default()
  337. {
  338. /* 'default' enter sequence for state State5 */
  339. stateConfVector[0] = mainRegion_State2__region0_State5;
  340. stateConfVectorPosition = 0;
  341. historyVector[0] = stateConfVector[0];
  342. }
  343. /* 'default' enter sequence for region mainRegion */
  344. void ShallowHistory::enseq_mainRegion_default()
  345. {
  346. /* 'default' enter sequence for region mainRegion */
  347. react_mainRegion__entry_Default();
  348. }
  349. /* 'default' enter sequence for region null */
  350. void ShallowHistory::enseq_mainRegion_State2__region0_default()
  351. {
  352. /* 'default' enter sequence for region null */
  353. react_mainRegion_State2__region0__entry_Default();
  354. }
  355. /* shallow enterSequence with history in child null */
  356. void ShallowHistory::shenseq_mainRegion_State2__region0()
  357. {
  358. /* shallow enterSequence with history in child null */
  359. /* Handle shallow history entry of null */
  360. switch(historyVector[ 0 ])
  361. {
  362. case mainRegion_State2__region0_State3 :
  363. {
  364. enseq_mainRegion_State2__region0_State3_default();
  365. break;
  366. }
  367. case mainRegion_State2__region0_State4__region0_State6 :
  368. {
  369. enseq_mainRegion_State2__region0_State4_default();
  370. break;
  371. }
  372. case mainRegion_State2__region0_State4__region0_State7__region0_State8 :
  373. {
  374. enseq_mainRegion_State2__region0_State4_default();
  375. break;
  376. }
  377. case mainRegion_State2__region0_State4__region0_State7__region0_State9 :
  378. {
  379. enseq_mainRegion_State2__region0_State4_default();
  380. break;
  381. }
  382. case mainRegion_State2__region0_State5 :
  383. {
  384. enseq_mainRegion_State2__region0_State5_default();
  385. break;
  386. }
  387. default: break;
  388. }
  389. }
  390. /* 'default' enter sequence for region null */
  391. void ShallowHistory::enseq_mainRegion_State2__region0_State4__region0_default()
  392. {
  393. /* 'default' enter sequence for region null */
  394. react_mainRegion_State2__region0_State4__region0__entry_Default();
  395. }
  396. /* 'default' enter sequence for region null */
  397. void ShallowHistory::enseq_mainRegion_State2__region0_State4__region0_State7__region0_default()
  398. {
  399. /* 'default' enter sequence for region null */
  400. react_mainRegion_State2__region0_State4__region0_State7__region0__entry_Default();
  401. }
  402. /* shallow enterSequence with history in child null */
  403. void ShallowHistory::shenseq_mainRegion_State2__region0_State4__region0_State7__region0()
  404. {
  405. /* shallow enterSequence with history in child null */
  406. /* Handle shallow history entry of null */
  407. switch(historyVector[ 1 ])
  408. {
  409. case mainRegion_State2__region0_State4__region0_State7__region0_State8 :
  410. {
  411. enseq_mainRegion_State2__region0_State4__region0_State7__region0_State8_default();
  412. break;
  413. }
  414. case mainRegion_State2__region0_State4__region0_State7__region0_State9 :
  415. {
  416. enseq_mainRegion_State2__region0_State4__region0_State7__region0_State9_default();
  417. break;
  418. }
  419. default: break;
  420. }
  421. }
  422. /* Default exit sequence for state State1 */
  423. void ShallowHistory::exseq_mainRegion_State1()
  424. {
  425. /* Default exit sequence for state State1 */
  426. stateConfVector[0] = ShallowHistory_last_state;
  427. stateConfVectorPosition = 0;
  428. }
  429. /* Default exit sequence for state State2 */
  430. void ShallowHistory::exseq_mainRegion_State2()
  431. {
  432. /* Default exit sequence for state State2 */
  433. exseq_mainRegion_State2__region0();
  434. }
  435. /* Default exit sequence for state State3 */
  436. void ShallowHistory::exseq_mainRegion_State2__region0_State3()
  437. {
  438. /* Default exit sequence for state State3 */
  439. stateConfVector[0] = ShallowHistory_last_state;
  440. stateConfVectorPosition = 0;
  441. }
  442. /* Default exit sequence for state State4 */
  443. void ShallowHistory::exseq_mainRegion_State2__region0_State4()
  444. {
  445. /* Default exit sequence for state State4 */
  446. exseq_mainRegion_State2__region0_State4__region0();
  447. }
  448. /* Default exit sequence for state State6 */
  449. void ShallowHistory::exseq_mainRegion_State2__region0_State4__region0_State6()
  450. {
  451. /* Default exit sequence for state State6 */
  452. stateConfVector[0] = ShallowHistory_last_state;
  453. stateConfVectorPosition = 0;
  454. }
  455. /* Default exit sequence for state State7 */
  456. void ShallowHistory::exseq_mainRegion_State2__region0_State4__region0_State7()
  457. {
  458. /* Default exit sequence for state State7 */
  459. exseq_mainRegion_State2__region0_State4__region0_State7__region0();
  460. }
  461. /* Default exit sequence for state State8 */
  462. void ShallowHistory::exseq_mainRegion_State2__region0_State4__region0_State7__region0_State8()
  463. {
  464. /* Default exit sequence for state State8 */
  465. stateConfVector[0] = ShallowHistory_last_state;
  466. stateConfVectorPosition = 0;
  467. }
  468. /* Default exit sequence for state State9 */
  469. void ShallowHistory::exseq_mainRegion_State2__region0_State4__region0_State7__region0_State9()
  470. {
  471. /* Default exit sequence for state State9 */
  472. stateConfVector[0] = ShallowHistory_last_state;
  473. stateConfVectorPosition = 0;
  474. }
  475. /* Default exit sequence for state State5 */
  476. void ShallowHistory::exseq_mainRegion_State2__region0_State5()
  477. {
  478. /* Default exit sequence for state State5 */
  479. stateConfVector[0] = ShallowHistory_last_state;
  480. stateConfVectorPosition = 0;
  481. }
  482. /* Default exit sequence for region mainRegion */
  483. void ShallowHistory::exseq_mainRegion()
  484. {
  485. /* Default exit sequence for region mainRegion */
  486. /* Handle exit of all possible states (of ShallowHistory.mainRegion) at position 0... */
  487. switch(stateConfVector[ 0 ])
  488. {
  489. case mainRegion_State1 :
  490. {
  491. exseq_mainRegion_State1();
  492. break;
  493. }
  494. case mainRegion_State2__region0_State3 :
  495. {
  496. exseq_mainRegion_State2__region0_State3();
  497. break;
  498. }
  499. case mainRegion_State2__region0_State4__region0_State6 :
  500. {
  501. exseq_mainRegion_State2__region0_State4__region0_State6();
  502. break;
  503. }
  504. case mainRegion_State2__region0_State4__region0_State7__region0_State8 :
  505. {
  506. exseq_mainRegion_State2__region0_State4__region0_State7__region0_State8();
  507. break;
  508. }
  509. case mainRegion_State2__region0_State4__region0_State7__region0_State9 :
  510. {
  511. exseq_mainRegion_State2__region0_State4__region0_State7__region0_State9();
  512. break;
  513. }
  514. case mainRegion_State2__region0_State5 :
  515. {
  516. exseq_mainRegion_State2__region0_State5();
  517. break;
  518. }
  519. default: break;
  520. }
  521. }
  522. /* Default exit sequence for region null */
  523. void ShallowHistory::exseq_mainRegion_State2__region0()
  524. {
  525. /* Default exit sequence for region null */
  526. /* Handle exit of all possible states (of ShallowHistory.mainRegion.State2._region0) at position 0... */
  527. switch(stateConfVector[ 0 ])
  528. {
  529. case mainRegion_State2__region0_State3 :
  530. {
  531. exseq_mainRegion_State2__region0_State3();
  532. break;
  533. }
  534. case mainRegion_State2__region0_State4__region0_State6 :
  535. {
  536. exseq_mainRegion_State2__region0_State4__region0_State6();
  537. break;
  538. }
  539. case mainRegion_State2__region0_State4__region0_State7__region0_State8 :
  540. {
  541. exseq_mainRegion_State2__region0_State4__region0_State7__region0_State8();
  542. break;
  543. }
  544. case mainRegion_State2__region0_State4__region0_State7__region0_State9 :
  545. {
  546. exseq_mainRegion_State2__region0_State4__region0_State7__region0_State9();
  547. break;
  548. }
  549. case mainRegion_State2__region0_State5 :
  550. {
  551. exseq_mainRegion_State2__region0_State5();
  552. break;
  553. }
  554. default: break;
  555. }
  556. }
  557. /* Default exit sequence for region null */
  558. void ShallowHistory::exseq_mainRegion_State2__region0_State4__region0()
  559. {
  560. /* Default exit sequence for region null */
  561. /* Handle exit of all possible states (of ShallowHistory.mainRegion.State2._region0.State4._region0) at position 0... */
  562. switch(stateConfVector[ 0 ])
  563. {
  564. case mainRegion_State2__region0_State4__region0_State6 :
  565. {
  566. exseq_mainRegion_State2__region0_State4__region0_State6();
  567. break;
  568. }
  569. case mainRegion_State2__region0_State4__region0_State7__region0_State8 :
  570. {
  571. exseq_mainRegion_State2__region0_State4__region0_State7__region0_State8();
  572. break;
  573. }
  574. case mainRegion_State2__region0_State4__region0_State7__region0_State9 :
  575. {
  576. exseq_mainRegion_State2__region0_State4__region0_State7__region0_State9();
  577. break;
  578. }
  579. default: break;
  580. }
  581. }
  582. /* Default exit sequence for region null */
  583. void ShallowHistory::exseq_mainRegion_State2__region0_State4__region0_State7__region0()
  584. {
  585. /* Default exit sequence for region null */
  586. /* Handle exit of all possible states (of ShallowHistory.mainRegion.State2._region0.State4._region0.State7._region0) at position 0... */
  587. switch(stateConfVector[ 0 ])
  588. {
  589. case mainRegion_State2__region0_State4__region0_State7__region0_State8 :
  590. {
  591. exseq_mainRegion_State2__region0_State4__region0_State7__region0_State8();
  592. break;
  593. }
  594. case mainRegion_State2__region0_State4__region0_State7__region0_State9 :
  595. {
  596. exseq_mainRegion_State2__region0_State4__region0_State7__region0_State9();
  597. break;
  598. }
  599. default: break;
  600. }
  601. }
  602. /* The reactions of state State1. */
  603. void ShallowHistory::react_mainRegion_State1()
  604. {
  605. /* The reactions of state State1. */
  606. if (check_mainRegion_State1_tr0_tr0())
  607. {
  608. effect_mainRegion_State1_tr0();
  609. }
  610. }
  611. /* The reactions of state State3. */
  612. void ShallowHistory::react_mainRegion_State2__region0_State3()
  613. {
  614. /* The reactions of state State3. */
  615. if (check_mainRegion_State2_tr0_tr0())
  616. {
  617. effect_mainRegion_State2_tr0();
  618. } else
  619. {
  620. if (check_mainRegion_State2__region0_State3_tr0_tr0())
  621. {
  622. effect_mainRegion_State2__region0_State3_tr0();
  623. }
  624. }
  625. }
  626. /* The reactions of state State6. */
  627. void ShallowHistory::react_mainRegion_State2__region0_State4__region0_State6()
  628. {
  629. /* The reactions of state State6. */
  630. if (check_mainRegion_State2_tr0_tr0())
  631. {
  632. effect_mainRegion_State2_tr0();
  633. } else
  634. {
  635. if (check_mainRegion_State2__region0_State4_tr0_tr0())
  636. {
  637. effect_mainRegion_State2__region0_State4_tr0();
  638. } else
  639. {
  640. if (check_mainRegion_State2__region0_State4__region0_State6_tr0_tr0())
  641. {
  642. effect_mainRegion_State2__region0_State4__region0_State6_tr0();
  643. }
  644. }
  645. }
  646. }
  647. /* The reactions of state State8. */
  648. void ShallowHistory::react_mainRegion_State2__region0_State4__region0_State7__region0_State8()
  649. {
  650. /* The reactions of state State8. */
  651. if (check_mainRegion_State2_tr0_tr0())
  652. {
  653. effect_mainRegion_State2_tr0();
  654. } else
  655. {
  656. if (check_mainRegion_State2__region0_State4_tr0_tr0())
  657. {
  658. effect_mainRegion_State2__region0_State4_tr0();
  659. } else
  660. {
  661. if (check_mainRegion_State2__region0_State4__region0_State7_tr0_tr0())
  662. {
  663. effect_mainRegion_State2__region0_State4__region0_State7_tr0();
  664. } else
  665. {
  666. if (check_mainRegion_State2__region0_State4__region0_State7__region0_State8_tr0_tr0())
  667. {
  668. effect_mainRegion_State2__region0_State4__region0_State7__region0_State8_tr0();
  669. }
  670. }
  671. }
  672. }
  673. }
  674. /* The reactions of state State9. */
  675. void ShallowHistory::react_mainRegion_State2__region0_State4__region0_State7__region0_State9()
  676. {
  677. /* The reactions of state State9. */
  678. if (check_mainRegion_State2_tr0_tr0())
  679. {
  680. effect_mainRegion_State2_tr0();
  681. } else
  682. {
  683. if (check_mainRegion_State2__region0_State4_tr0_tr0())
  684. {
  685. effect_mainRegion_State2__region0_State4_tr0();
  686. } else
  687. {
  688. if (check_mainRegion_State2__region0_State4__region0_State7_tr0_tr0())
  689. {
  690. effect_mainRegion_State2__region0_State4__region0_State7_tr0();
  691. } else
  692. {
  693. if (check_mainRegion_State2__region0_State4__region0_State7__region0_State9_tr0_tr0())
  694. {
  695. effect_mainRegion_State2__region0_State4__region0_State7__region0_State9_tr0();
  696. }
  697. }
  698. }
  699. }
  700. }
  701. /* The reactions of state State5. */
  702. void ShallowHistory::react_mainRegion_State2__region0_State5()
  703. {
  704. /* The reactions of state State5. */
  705. if (check_mainRegion_State2_tr0_tr0())
  706. {
  707. effect_mainRegion_State2_tr0();
  708. } else
  709. {
  710. }
  711. }
  712. /* Default react sequence for initial entry */
  713. void ShallowHistory::react_mainRegion__entry_Default()
  714. {
  715. /* Default react sequence for initial entry */
  716. enseq_mainRegion_State1_default();
  717. }
  718. /* Default react sequence for shallow history entry */
  719. void ShallowHistory::react_mainRegion_State2__region0__entry_Default()
  720. {
  721. /* Default react sequence for shallow history entry */
  722. /* Enter the region with shallow history */
  723. if (historyVector[0] != ShallowHistory_last_state)
  724. {
  725. shenseq_mainRegion_State2__region0();
  726. } else
  727. {
  728. enseq_mainRegion_State2__region0_State3_default();
  729. }
  730. }
  731. /* Default react sequence for initial entry */
  732. void ShallowHistory::react_mainRegion_State2__region0_State4__region0__entry_Default()
  733. {
  734. /* Default react sequence for initial entry */
  735. enseq_mainRegion_State2__region0_State4__region0_State6_default();
  736. }
  737. /* Default react sequence for shallow history entry */
  738. void ShallowHistory::react_mainRegion_State2__region0_State4__region0_State7__region0__entry_Default()
  739. {
  740. /* Default react sequence for shallow history entry */
  741. /* Enter the region with shallow history */
  742. if (historyVector[1] != ShallowHistory_last_state)
  743. {
  744. shenseq_mainRegion_State2__region0_State4__region0_State7__region0();
  745. } else
  746. {
  747. enseq_mainRegion_State2__region0_State4__region0_State7__region0_State8_default();
  748. }
  749. }