ValuedEvents.cpp 20 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964
  1. #include "ValuedEvents.h"
  2. #include <string.h>
  3. /*! \file Implementation of the state machine 'ValuedEvents'
  4. */
  5. ValuedEvents::ValuedEvents()
  6. {
  7. stateConfVectorPosition = 0;
  8. }
  9. ValuedEvents::~ValuedEvents()
  10. {
  11. }
  12. void ValuedEvents::init()
  13. {
  14. for (int i = 0; i < maxOrthogonalStates; ++i)
  15. stateConfVector[i] = ValuedEvents_last_state;
  16. stateConfVectorPosition = 0;
  17. clearInEvents();
  18. clearOutEvents();
  19. /* Default init sequence for statechart ValuedEvents */
  20. iface.myInt = 0;
  21. iface.myBool = false;
  22. iface.myReal = 0.0;
  23. iface.myString = "";
  24. }
  25. void ValuedEvents::enter()
  26. {
  27. /* Default enter sequence for statechart ValuedEvents */
  28. enseq_main_region1_default();
  29. enseq_integer_region_default();
  30. enseq_boolean_region_default();
  31. enseq_real_region_default();
  32. enseq_string_region_default();
  33. }
  34. void ValuedEvents::exit()
  35. {
  36. /* Default exit sequence for statechart ValuedEvents */
  37. exseq_main_region1();
  38. exseq_integer_region();
  39. exseq_boolean_region();
  40. exseq_real_region();
  41. exseq_string_region();
  42. }
  43. sc_boolean ValuedEvents::isActive() const
  44. {
  45. return stateConfVector[0] != ValuedEvents_last_state||stateConfVector[1] != ValuedEvents_last_state||stateConfVector[2] != ValuedEvents_last_state||stateConfVector[3] != ValuedEvents_last_state||stateConfVector[4] != ValuedEvents_last_state;
  46. }
  47. /*
  48. * Always returns 'false' since this state machine can never become final.
  49. */
  50. sc_boolean ValuedEvents::isFinal() const
  51. {
  52. return false;}
  53. void ValuedEvents::runCycle()
  54. {
  55. clearOutEvents();
  56. for (stateConfVectorPosition = 0;
  57. stateConfVectorPosition < maxOrthogonalStates;
  58. stateConfVectorPosition++)
  59. {
  60. switch (stateConfVector[stateConfVectorPosition])
  61. {
  62. case main_region1_A :
  63. {
  64. react_main_region1_A();
  65. break;
  66. }
  67. case integer_region_B :
  68. {
  69. react_integer_region_B();
  70. break;
  71. }
  72. case integer_region_C :
  73. {
  74. react_integer_region_C();
  75. break;
  76. }
  77. case integer_region_D :
  78. {
  79. react_integer_region_D();
  80. break;
  81. }
  82. case boolean_region_B :
  83. {
  84. react_boolean_region_B();
  85. break;
  86. }
  87. case boolean_region_C :
  88. {
  89. react_boolean_region_C();
  90. break;
  91. }
  92. case boolean_region_D :
  93. {
  94. react_boolean_region_D();
  95. break;
  96. }
  97. case real_region_B :
  98. {
  99. react_real_region_B();
  100. break;
  101. }
  102. case real_region_C :
  103. {
  104. react_real_region_C();
  105. break;
  106. }
  107. case real_region_D :
  108. {
  109. react_real_region_D();
  110. break;
  111. }
  112. case string_region_B :
  113. {
  114. react_string_region_B();
  115. break;
  116. }
  117. case string_region_C :
  118. {
  119. react_string_region_C();
  120. break;
  121. }
  122. case string_region_D :
  123. {
  124. react_string_region_D();
  125. break;
  126. }
  127. default:
  128. break;
  129. }
  130. }
  131. clearInEvents();
  132. }
  133. void ValuedEvents::clearInEvents()
  134. {
  135. iface.integerEvent_raised = false;
  136. iface.booleanEvent_raised = false;
  137. iface.realEvent_raised = false;
  138. iface.stringEvent_raised = false;
  139. }
  140. void ValuedEvents::clearOutEvents()
  141. {
  142. }
  143. sc_boolean ValuedEvents::isStateActive(ValuedEventsStates state) const
  144. {
  145. switch (state)
  146. {
  147. case main_region1_A :
  148. return (sc_boolean) (stateConfVector[0] == main_region1_A
  149. );
  150. case integer_region_B :
  151. return (sc_boolean) (stateConfVector[1] == integer_region_B
  152. );
  153. case integer_region_C :
  154. return (sc_boolean) (stateConfVector[1] == integer_region_C
  155. );
  156. case integer_region_D :
  157. return (sc_boolean) (stateConfVector[1] == integer_region_D
  158. );
  159. case boolean_region_B :
  160. return (sc_boolean) (stateConfVector[2] == boolean_region_B
  161. );
  162. case boolean_region_C :
  163. return (sc_boolean) (stateConfVector[2] == boolean_region_C
  164. );
  165. case boolean_region_D :
  166. return (sc_boolean) (stateConfVector[2] == boolean_region_D
  167. );
  168. case real_region_B :
  169. return (sc_boolean) (stateConfVector[3] == real_region_B
  170. );
  171. case real_region_C :
  172. return (sc_boolean) (stateConfVector[3] == real_region_C
  173. );
  174. case real_region_D :
  175. return (sc_boolean) (stateConfVector[3] == real_region_D
  176. );
  177. case string_region_B :
  178. return (sc_boolean) (stateConfVector[4] == string_region_B
  179. );
  180. case string_region_C :
  181. return (sc_boolean) (stateConfVector[4] == string_region_C
  182. );
  183. case string_region_D :
  184. return (sc_boolean) (stateConfVector[4] == string_region_D
  185. );
  186. default: return false;
  187. }
  188. }
  189. ValuedEvents::DefaultSCI* ValuedEvents::getDefaultSCI()
  190. {
  191. return &iface;
  192. }
  193. void ValuedEvents::DefaultSCI::raise_integerEvent(sc_integer value)
  194. {
  195. integerEvent_value = value;
  196. integerEvent_raised = true;
  197. }
  198. void ValuedEvents::raise_integerEvent(sc_integer value)
  199. {
  200. iface.raise_integerEvent(value);
  201. }
  202. void ValuedEvents::DefaultSCI::raise_booleanEvent(sc_boolean value)
  203. {
  204. booleanEvent_value = value;
  205. booleanEvent_raised = true;
  206. }
  207. void ValuedEvents::raise_booleanEvent(sc_boolean value)
  208. {
  209. iface.raise_booleanEvent(value);
  210. }
  211. void ValuedEvents::DefaultSCI::raise_realEvent(sc_real value)
  212. {
  213. realEvent_value = value;
  214. realEvent_raised = true;
  215. }
  216. void ValuedEvents::raise_realEvent(sc_real value)
  217. {
  218. iface.raise_realEvent(value);
  219. }
  220. void ValuedEvents::DefaultSCI::raise_stringEvent(sc_string value)
  221. {
  222. stringEvent_value = value;
  223. stringEvent_raised = true;
  224. }
  225. void ValuedEvents::raise_stringEvent(sc_string value)
  226. {
  227. iface.raise_stringEvent(value);
  228. }
  229. sc_integer ValuedEvents::DefaultSCI::get_myInt() const
  230. {
  231. return myInt;
  232. }
  233. sc_integer ValuedEvents::get_myInt() const
  234. {
  235. return iface.myInt;
  236. }
  237. void ValuedEvents::DefaultSCI::set_myInt(sc_integer value)
  238. {
  239. myInt = value;
  240. }
  241. void ValuedEvents::set_myInt(sc_integer value)
  242. {
  243. iface.myInt = value;
  244. }
  245. sc_boolean ValuedEvents::DefaultSCI::get_myBool() const
  246. {
  247. return myBool;
  248. }
  249. sc_boolean ValuedEvents::get_myBool() const
  250. {
  251. return iface.myBool;
  252. }
  253. void ValuedEvents::DefaultSCI::set_myBool(sc_boolean value)
  254. {
  255. myBool = value;
  256. }
  257. void ValuedEvents::set_myBool(sc_boolean value)
  258. {
  259. iface.myBool = value;
  260. }
  261. sc_real ValuedEvents::DefaultSCI::get_myReal() const
  262. {
  263. return myReal;
  264. }
  265. sc_real ValuedEvents::get_myReal() const
  266. {
  267. return iface.myReal;
  268. }
  269. void ValuedEvents::DefaultSCI::set_myReal(sc_real value)
  270. {
  271. myReal = value;
  272. }
  273. void ValuedEvents::set_myReal(sc_real value)
  274. {
  275. iface.myReal = value;
  276. }
  277. sc_string ValuedEvents::DefaultSCI::get_myString() const
  278. {
  279. return myString;
  280. }
  281. sc_string ValuedEvents::get_myString() const
  282. {
  283. return iface.myString;
  284. }
  285. void ValuedEvents::DefaultSCI::set_myString(sc_string value)
  286. {
  287. myString = value;
  288. }
  289. void ValuedEvents::set_myString(sc_string value)
  290. {
  291. iface.myString = value;
  292. }
  293. // implementations of all internal functions
  294. sc_boolean ValuedEvents::check_integer_region_B_tr0_tr0()
  295. {
  296. return iface.integerEvent_raised;
  297. }
  298. sc_boolean ValuedEvents::check_integer_region_C_tr0_tr0()
  299. {
  300. return iface.integerEvent_raised;
  301. }
  302. sc_boolean ValuedEvents::check_boolean_region_B_tr0_tr0()
  303. {
  304. return iface.booleanEvent_raised;
  305. }
  306. sc_boolean ValuedEvents::check_boolean_region_C_tr0_tr0()
  307. {
  308. return iface.booleanEvent_raised;
  309. }
  310. sc_boolean ValuedEvents::check_real_region_B_tr0_tr0()
  311. {
  312. return iface.realEvent_raised;
  313. }
  314. sc_boolean ValuedEvents::check_real_region_C_tr0_tr0()
  315. {
  316. return iface.realEvent_raised;
  317. }
  318. sc_boolean ValuedEvents::check_string_region_B_tr0_tr0()
  319. {
  320. return iface.stringEvent_raised;
  321. }
  322. sc_boolean ValuedEvents::check_string_region_C_tr0_tr0()
  323. {
  324. return iface.stringEvent_raised;
  325. }
  326. void ValuedEvents::effect_integer_region_B_tr0()
  327. {
  328. exseq_integer_region_B();
  329. iface.myInt = iface.integerEvent_value;
  330. enseq_integer_region_C_default();
  331. }
  332. void ValuedEvents::effect_integer_region_C_tr0()
  333. {
  334. exseq_integer_region_C();
  335. iface.myInt = iface.integerEvent_value;
  336. enseq_integer_region_D_default();
  337. }
  338. void ValuedEvents::effect_boolean_region_B_tr0()
  339. {
  340. exseq_boolean_region_B();
  341. iface.myBool = iface.booleanEvent_value;
  342. enseq_boolean_region_C_default();
  343. }
  344. void ValuedEvents::effect_boolean_region_C_tr0()
  345. {
  346. exseq_boolean_region_C();
  347. iface.myBool = iface.booleanEvent_value;
  348. enseq_boolean_region_D_default();
  349. }
  350. void ValuedEvents::effect_real_region_B_tr0()
  351. {
  352. exseq_real_region_B();
  353. iface.myReal = iface.realEvent_value;
  354. enseq_real_region_C_default();
  355. }
  356. void ValuedEvents::effect_real_region_C_tr0()
  357. {
  358. exseq_real_region_C();
  359. iface.myReal = iface.realEvent_value;
  360. enseq_real_region_D_default();
  361. }
  362. void ValuedEvents::effect_string_region_B_tr0()
  363. {
  364. exseq_string_region_B();
  365. iface.myString = iface.stringEvent_value;
  366. enseq_string_region_C_default();
  367. }
  368. void ValuedEvents::effect_string_region_C_tr0()
  369. {
  370. exseq_string_region_C();
  371. iface.myString = iface.stringEvent_value;
  372. enseq_string_region_D_default();
  373. }
  374. /* Entry action for state 'A'. */
  375. void ValuedEvents::enact_main_region1_A()
  376. {
  377. /* Entry action for state 'A'. */
  378. iface.integerEvent_value = 2 * 21;
  379. iface.integerEvent_raised = true;
  380. iface.realEvent_value = 10;
  381. iface.realEvent_raised = true;
  382. iface.booleanEvent_value = true || false;
  383. iface.booleanEvent_raised = true;
  384. iface.stringEvent_value = "sct";
  385. iface.stringEvent_raised = true;
  386. }
  387. /* 'default' enter sequence for state A */
  388. void ValuedEvents::enseq_main_region1_A_default()
  389. {
  390. /* 'default' enter sequence for state A */
  391. enact_main_region1_A();
  392. stateConfVector[0] = main_region1_A;
  393. stateConfVectorPosition = 0;
  394. }
  395. /* 'default' enter sequence for state B */
  396. void ValuedEvents::enseq_integer_region_B_default()
  397. {
  398. /* 'default' enter sequence for state B */
  399. stateConfVector[1] = integer_region_B;
  400. stateConfVectorPosition = 1;
  401. }
  402. /* 'default' enter sequence for state C */
  403. void ValuedEvents::enseq_integer_region_C_default()
  404. {
  405. /* 'default' enter sequence for state C */
  406. stateConfVector[1] = integer_region_C;
  407. stateConfVectorPosition = 1;
  408. }
  409. /* 'default' enter sequence for state D */
  410. void ValuedEvents::enseq_integer_region_D_default()
  411. {
  412. /* 'default' enter sequence for state D */
  413. stateConfVector[1] = integer_region_D;
  414. stateConfVectorPosition = 1;
  415. }
  416. /* 'default' enter sequence for state B */
  417. void ValuedEvents::enseq_boolean_region_B_default()
  418. {
  419. /* 'default' enter sequence for state B */
  420. stateConfVector[2] = boolean_region_B;
  421. stateConfVectorPosition = 2;
  422. }
  423. /* 'default' enter sequence for state C */
  424. void ValuedEvents::enseq_boolean_region_C_default()
  425. {
  426. /* 'default' enter sequence for state C */
  427. stateConfVector[2] = boolean_region_C;
  428. stateConfVectorPosition = 2;
  429. }
  430. /* 'default' enter sequence for state D */
  431. void ValuedEvents::enseq_boolean_region_D_default()
  432. {
  433. /* 'default' enter sequence for state D */
  434. stateConfVector[2] = boolean_region_D;
  435. stateConfVectorPosition = 2;
  436. }
  437. /* 'default' enter sequence for state B */
  438. void ValuedEvents::enseq_real_region_B_default()
  439. {
  440. /* 'default' enter sequence for state B */
  441. stateConfVector[3] = real_region_B;
  442. stateConfVectorPosition = 3;
  443. }
  444. /* 'default' enter sequence for state C */
  445. void ValuedEvents::enseq_real_region_C_default()
  446. {
  447. /* 'default' enter sequence for state C */
  448. stateConfVector[3] = real_region_C;
  449. stateConfVectorPosition = 3;
  450. }
  451. /* 'default' enter sequence for state D */
  452. void ValuedEvents::enseq_real_region_D_default()
  453. {
  454. /* 'default' enter sequence for state D */
  455. stateConfVector[3] = real_region_D;
  456. stateConfVectorPosition = 3;
  457. }
  458. /* 'default' enter sequence for state B */
  459. void ValuedEvents::enseq_string_region_B_default()
  460. {
  461. /* 'default' enter sequence for state B */
  462. stateConfVector[4] = string_region_B;
  463. stateConfVectorPosition = 4;
  464. }
  465. /* 'default' enter sequence for state C */
  466. void ValuedEvents::enseq_string_region_C_default()
  467. {
  468. /* 'default' enter sequence for state C */
  469. stateConfVector[4] = string_region_C;
  470. stateConfVectorPosition = 4;
  471. }
  472. /* 'default' enter sequence for state D */
  473. void ValuedEvents::enseq_string_region_D_default()
  474. {
  475. /* 'default' enter sequence for state D */
  476. stateConfVector[4] = string_region_D;
  477. stateConfVectorPosition = 4;
  478. }
  479. /* 'default' enter sequence for region main region1 */
  480. void ValuedEvents::enseq_main_region1_default()
  481. {
  482. /* 'default' enter sequence for region main region1 */
  483. react_main_region1__entry_Default();
  484. }
  485. /* 'default' enter sequence for region integer_region */
  486. void ValuedEvents::enseq_integer_region_default()
  487. {
  488. /* 'default' enter sequence for region integer_region */
  489. react_integer_region__entry_Default();
  490. }
  491. /* 'default' enter sequence for region boolean_region */
  492. void ValuedEvents::enseq_boolean_region_default()
  493. {
  494. /* 'default' enter sequence for region boolean_region */
  495. react_boolean_region__entry_Default();
  496. }
  497. /* 'default' enter sequence for region real_region */
  498. void ValuedEvents::enseq_real_region_default()
  499. {
  500. /* 'default' enter sequence for region real_region */
  501. react_real_region__entry_Default();
  502. }
  503. /* 'default' enter sequence for region string_region */
  504. void ValuedEvents::enseq_string_region_default()
  505. {
  506. /* 'default' enter sequence for region string_region */
  507. react_string_region__entry_Default();
  508. }
  509. /* Default exit sequence for state A */
  510. void ValuedEvents::exseq_main_region1_A()
  511. {
  512. /* Default exit sequence for state A */
  513. stateConfVector[0] = ValuedEvents_last_state;
  514. stateConfVectorPosition = 0;
  515. }
  516. /* Default exit sequence for state B */
  517. void ValuedEvents::exseq_integer_region_B()
  518. {
  519. /* Default exit sequence for state B */
  520. stateConfVector[1] = ValuedEvents_last_state;
  521. stateConfVectorPosition = 1;
  522. }
  523. /* Default exit sequence for state C */
  524. void ValuedEvents::exseq_integer_region_C()
  525. {
  526. /* Default exit sequence for state C */
  527. stateConfVector[1] = ValuedEvents_last_state;
  528. stateConfVectorPosition = 1;
  529. }
  530. /* Default exit sequence for state D */
  531. void ValuedEvents::exseq_integer_region_D()
  532. {
  533. /* Default exit sequence for state D */
  534. stateConfVector[1] = ValuedEvents_last_state;
  535. stateConfVectorPosition = 1;
  536. }
  537. /* Default exit sequence for state B */
  538. void ValuedEvents::exseq_boolean_region_B()
  539. {
  540. /* Default exit sequence for state B */
  541. stateConfVector[2] = ValuedEvents_last_state;
  542. stateConfVectorPosition = 2;
  543. }
  544. /* Default exit sequence for state C */
  545. void ValuedEvents::exseq_boolean_region_C()
  546. {
  547. /* Default exit sequence for state C */
  548. stateConfVector[2] = ValuedEvents_last_state;
  549. stateConfVectorPosition = 2;
  550. }
  551. /* Default exit sequence for state D */
  552. void ValuedEvents::exseq_boolean_region_D()
  553. {
  554. /* Default exit sequence for state D */
  555. stateConfVector[2] = ValuedEvents_last_state;
  556. stateConfVectorPosition = 2;
  557. }
  558. /* Default exit sequence for state B */
  559. void ValuedEvents::exseq_real_region_B()
  560. {
  561. /* Default exit sequence for state B */
  562. stateConfVector[3] = ValuedEvents_last_state;
  563. stateConfVectorPosition = 3;
  564. }
  565. /* Default exit sequence for state C */
  566. void ValuedEvents::exseq_real_region_C()
  567. {
  568. /* Default exit sequence for state C */
  569. stateConfVector[3] = ValuedEvents_last_state;
  570. stateConfVectorPosition = 3;
  571. }
  572. /* Default exit sequence for state D */
  573. void ValuedEvents::exseq_real_region_D()
  574. {
  575. /* Default exit sequence for state D */
  576. stateConfVector[3] = ValuedEvents_last_state;
  577. stateConfVectorPosition = 3;
  578. }
  579. /* Default exit sequence for state B */
  580. void ValuedEvents::exseq_string_region_B()
  581. {
  582. /* Default exit sequence for state B */
  583. stateConfVector[4] = ValuedEvents_last_state;
  584. stateConfVectorPosition = 4;
  585. }
  586. /* Default exit sequence for state C */
  587. void ValuedEvents::exseq_string_region_C()
  588. {
  589. /* Default exit sequence for state C */
  590. stateConfVector[4] = ValuedEvents_last_state;
  591. stateConfVectorPosition = 4;
  592. }
  593. /* Default exit sequence for state D */
  594. void ValuedEvents::exseq_string_region_D()
  595. {
  596. /* Default exit sequence for state D */
  597. stateConfVector[4] = ValuedEvents_last_state;
  598. stateConfVectorPosition = 4;
  599. }
  600. /* Default exit sequence for region main region1 */
  601. void ValuedEvents::exseq_main_region1()
  602. {
  603. /* Default exit sequence for region main region1 */
  604. /* Handle exit of all possible states (of ValuedEvents.main_region1) at position 0... */
  605. switch(stateConfVector[ 0 ])
  606. {
  607. case main_region1_A :
  608. {
  609. exseq_main_region1_A();
  610. break;
  611. }
  612. default: break;
  613. }
  614. }
  615. /* Default exit sequence for region integer_region */
  616. void ValuedEvents::exseq_integer_region()
  617. {
  618. /* Default exit sequence for region integer_region */
  619. /* Handle exit of all possible states (of ValuedEvents.integer_region) at position 1... */
  620. switch(stateConfVector[ 1 ])
  621. {
  622. case integer_region_B :
  623. {
  624. exseq_integer_region_B();
  625. break;
  626. }
  627. case integer_region_C :
  628. {
  629. exseq_integer_region_C();
  630. break;
  631. }
  632. case integer_region_D :
  633. {
  634. exseq_integer_region_D();
  635. break;
  636. }
  637. default: break;
  638. }
  639. }
  640. /* Default exit sequence for region boolean_region */
  641. void ValuedEvents::exseq_boolean_region()
  642. {
  643. /* Default exit sequence for region boolean_region */
  644. /* Handle exit of all possible states (of ValuedEvents.boolean_region) at position 2... */
  645. switch(stateConfVector[ 2 ])
  646. {
  647. case boolean_region_B :
  648. {
  649. exseq_boolean_region_B();
  650. break;
  651. }
  652. case boolean_region_C :
  653. {
  654. exseq_boolean_region_C();
  655. break;
  656. }
  657. case boolean_region_D :
  658. {
  659. exseq_boolean_region_D();
  660. break;
  661. }
  662. default: break;
  663. }
  664. }
  665. /* Default exit sequence for region real_region */
  666. void ValuedEvents::exseq_real_region()
  667. {
  668. /* Default exit sequence for region real_region */
  669. /* Handle exit of all possible states (of ValuedEvents.real_region) at position 3... */
  670. switch(stateConfVector[ 3 ])
  671. {
  672. case real_region_B :
  673. {
  674. exseq_real_region_B();
  675. break;
  676. }
  677. case real_region_C :
  678. {
  679. exseq_real_region_C();
  680. break;
  681. }
  682. case real_region_D :
  683. {
  684. exseq_real_region_D();
  685. break;
  686. }
  687. default: break;
  688. }
  689. }
  690. /* Default exit sequence for region string_region */
  691. void ValuedEvents::exseq_string_region()
  692. {
  693. /* Default exit sequence for region string_region */
  694. /* Handle exit of all possible states (of ValuedEvents.string_region) at position 4... */
  695. switch(stateConfVector[ 4 ])
  696. {
  697. case string_region_B :
  698. {
  699. exseq_string_region_B();
  700. break;
  701. }
  702. case string_region_C :
  703. {
  704. exseq_string_region_C();
  705. break;
  706. }
  707. case string_region_D :
  708. {
  709. exseq_string_region_D();
  710. break;
  711. }
  712. default: break;
  713. }
  714. }
  715. /* The reactions of state A. */
  716. void ValuedEvents::react_main_region1_A()
  717. {
  718. /* The reactions of state A. */
  719. }
  720. /* The reactions of state B. */
  721. void ValuedEvents::react_integer_region_B()
  722. {
  723. /* The reactions of state B. */
  724. if (check_integer_region_B_tr0_tr0())
  725. {
  726. effect_integer_region_B_tr0();
  727. }
  728. }
  729. /* The reactions of state C. */
  730. void ValuedEvents::react_integer_region_C()
  731. {
  732. /* The reactions of state C. */
  733. if (check_integer_region_C_tr0_tr0())
  734. {
  735. effect_integer_region_C_tr0();
  736. }
  737. }
  738. /* The reactions of state D. */
  739. void ValuedEvents::react_integer_region_D()
  740. {
  741. }
  742. /* The reactions of state B. */
  743. void ValuedEvents::react_boolean_region_B()
  744. {
  745. /* The reactions of state B. */
  746. if (check_boolean_region_B_tr0_tr0())
  747. {
  748. effect_boolean_region_B_tr0();
  749. }
  750. }
  751. /* The reactions of state C. */
  752. void ValuedEvents::react_boolean_region_C()
  753. {
  754. /* The reactions of state C. */
  755. if (check_boolean_region_C_tr0_tr0())
  756. {
  757. effect_boolean_region_C_tr0();
  758. }
  759. }
  760. /* The reactions of state D. */
  761. void ValuedEvents::react_boolean_region_D()
  762. {
  763. }
  764. /* The reactions of state B. */
  765. void ValuedEvents::react_real_region_B()
  766. {
  767. /* The reactions of state B. */
  768. if (check_real_region_B_tr0_tr0())
  769. {
  770. effect_real_region_B_tr0();
  771. }
  772. }
  773. /* The reactions of state C. */
  774. void ValuedEvents::react_real_region_C()
  775. {
  776. /* The reactions of state C. */
  777. if (check_real_region_C_tr0_tr0())
  778. {
  779. effect_real_region_C_tr0();
  780. }
  781. }
  782. /* The reactions of state D. */
  783. void ValuedEvents::react_real_region_D()
  784. {
  785. }
  786. /* The reactions of state B. */
  787. void ValuedEvents::react_string_region_B()
  788. {
  789. /* The reactions of state B. */
  790. if (check_string_region_B_tr0_tr0())
  791. {
  792. effect_string_region_B_tr0();
  793. }
  794. }
  795. /* The reactions of state C. */
  796. void ValuedEvents::react_string_region_C()
  797. {
  798. /* The reactions of state C. */
  799. if (check_string_region_C_tr0_tr0())
  800. {
  801. effect_string_region_C_tr0();
  802. }
  803. }
  804. /* The reactions of state D. */
  805. void ValuedEvents::react_string_region_D()
  806. {
  807. }
  808. /* Default react sequence for initial entry */
  809. void ValuedEvents::react_main_region1__entry_Default()
  810. {
  811. /* Default react sequence for initial entry */
  812. enseq_main_region1_A_default();
  813. }
  814. /* Default react sequence for initial entry */
  815. void ValuedEvents::react_integer_region__entry_Default()
  816. {
  817. /* Default react sequence for initial entry */
  818. enseq_integer_region_B_default();
  819. }
  820. /* Default react sequence for initial entry */
  821. void ValuedEvents::react_boolean_region__entry_Default()
  822. {
  823. /* Default react sequence for initial entry */
  824. enseq_boolean_region_B_default();
  825. }
  826. /* Default react sequence for initial entry */
  827. void ValuedEvents::react_real_region__entry_Default()
  828. {
  829. /* Default react sequence for initial entry */
  830. enseq_real_region_B_default();
  831. }
  832. /* Default react sequence for initial entry */
  833. void ValuedEvents::react_string_region__entry_Default()
  834. {
  835. /* Default react sequence for initial entry */
  836. enseq_string_region_B_default();
  837. }