STextKeywordsInStatesAndRegionsTest.cc 40 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965
  1. /* Generated by YAKINDU Statechart Tools code generator. */
  2. #include <string>
  3. #include "gtest/gtest.h"
  4. #include "STextKeywordsInStatesAndRegions.h"
  5. #include "sc_runner.h"
  6. #include "sc_types.h"
  7. namespace {
  8. //! The timers are managed by a timer service. */
  9. static SctUnitRunner * runner;
  10. class STextKeywordsInStatesAndRegionsTest : public ::testing::Test{
  11. protected:
  12. STextKeywordsInStatesAndRegions* statechart;
  13. virtual void SetUp() {
  14. statechart = new STextKeywordsInStatesAndRegions();
  15. statechart->init();
  16. runner = new SctUnitRunner(
  17. statechart,
  18. false,
  19. 200
  20. );
  21. }
  22. virtual void TearDown() {
  23. delete statechart;
  24. delete runner;
  25. }
  26. };
  27. TEST_F(STextKeywordsInStatesAndRegionsTest, activeCheckWithSTextNamedStates) {
  28. statechart->enter();
  29. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::default_namespace));
  30. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::operation_interface));
  31. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::namespace_event));
  32. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::local_in));
  33. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::interface_var));
  34. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::internal_external));
  35. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::event_default));
  36. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::in_entry));
  37. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::out_always));
  38. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::var_raise));
  39. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::readonly_active));
  40. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::external_interface));
  41. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::else_event));
  42. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::entry_in));
  43. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::exit_var));
  44. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::always_external));
  45. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::oncycle_default));
  46. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::raise_entry));
  47. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::valueof_always));
  48. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::active_raise));
  49. statechart->getDefaultSCI()->raise_e1();
  50. runner->proceed_cycles(1);
  51. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::default_namespace));
  52. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::operation_internal));
  53. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::namespace_event));
  54. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::local_in));
  55. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::interface_var));
  56. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::internal_external));
  57. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::event_default));
  58. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::in_entry));
  59. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::out_always));
  60. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::var_raise));
  61. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::readonly_active));
  62. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::external_interface));
  63. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::else_event));
  64. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::entry_in));
  65. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::exit_var));
  66. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::always_external));
  67. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::oncycle_default));
  68. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::raise_entry));
  69. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::valueof_always));
  70. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::active_raise));
  71. statechart->getDefaultSCI()->raise_e2();
  72. runner->proceed_cycles(1);
  73. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::default_namespace));
  74. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::operation_internal));
  75. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::namespace_local));
  76. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::local_in));
  77. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::interface_var));
  78. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::internal_external));
  79. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::event_default));
  80. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::in_entry));
  81. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::out_always));
  82. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::var_raise));
  83. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::readonly_active));
  84. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::external_interface));
  85. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::else_event));
  86. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::entry_in));
  87. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::exit_var));
  88. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::always_external));
  89. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::oncycle_default));
  90. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::raise_entry));
  91. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::valueof_always));
  92. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::active_raise));
  93. statechart->getDefaultSCI()->raise_e1();
  94. runner->proceed_cycles(1);
  95. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::default_namespace));
  96. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::operation_internal));
  97. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::namespace_local));
  98. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::local_out));
  99. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::interface_var));
  100. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::internal_external));
  101. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::event_default));
  102. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::in_entry));
  103. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::out_always));
  104. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::var_raise));
  105. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::readonly_active));
  106. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::external_interface));
  107. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::else_event));
  108. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::entry_in));
  109. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::exit_var));
  110. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::always_external));
  111. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::oncycle_default));
  112. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::raise_entry));
  113. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::valueof_always));
  114. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::active_raise));
  115. statechart->getDefaultSCI()->raise_e2();
  116. runner->proceed_cycles(1);
  117. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::default_namespace));
  118. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::operation_internal));
  119. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::namespace_local));
  120. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::local_out));
  121. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::interface_readonly));
  122. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::internal_external));
  123. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::event_default));
  124. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::in_entry));
  125. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::out_always));
  126. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::var_raise));
  127. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::readonly_active));
  128. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::external_interface));
  129. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::else_event));
  130. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::entry_in));
  131. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::exit_var));
  132. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::always_external));
  133. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::oncycle_default));
  134. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::raise_entry));
  135. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::valueof_always));
  136. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::active_raise));
  137. statechart->getDefaultSCI()->raise_e1();
  138. runner->proceed_cycles(1);
  139. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::default_namespace));
  140. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::operation_internal));
  141. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::namespace_local));
  142. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::local_out));
  143. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::interface_readonly));
  144. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::internal_operation));
  145. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::event_default));
  146. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::in_entry));
  147. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::out_always));
  148. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::var_raise));
  149. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::readonly_active));
  150. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::external_interface));
  151. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::else_event));
  152. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::entry_in));
  153. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::exit_var));
  154. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::always_external));
  155. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::oncycle_default));
  156. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::raise_entry));
  157. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::valueof_always));
  158. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::active_raise));
  159. statechart->getDefaultSCI()->raise_e2();
  160. runner->proceed_cycles(1);
  161. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::default_namespace));
  162. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::operation_internal));
  163. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::namespace_local));
  164. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::local_out));
  165. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::interface_readonly));
  166. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::internal_operation));
  167. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::event_else));
  168. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::in_entry));
  169. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::out_always));
  170. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::var_raise));
  171. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::readonly_active));
  172. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::external_interface));
  173. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::else_event));
  174. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::entry_in));
  175. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::exit_var));
  176. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::always_external));
  177. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::oncycle_default));
  178. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::raise_entry));
  179. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::valueof_always));
  180. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::active_raise));
  181. statechart->getDefaultSCI()->raise_e1();
  182. runner->proceed_cycles(1);
  183. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::default_namespace));
  184. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::operation_internal));
  185. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::namespace_local));
  186. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::local_out));
  187. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::interface_readonly));
  188. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::internal_operation));
  189. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::event_else));
  190. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::in_exit));
  191. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::out_always));
  192. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::var_raise));
  193. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::readonly_active));
  194. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::external_interface));
  195. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::else_event));
  196. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::entry_in));
  197. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::exit_var));
  198. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::always_external));
  199. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::oncycle_default));
  200. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::raise_entry));
  201. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::valueof_always));
  202. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::active_raise));
  203. statechart->getDefaultSCI()->raise_e2();
  204. runner->proceed_cycles(1);
  205. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::default_namespace));
  206. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::operation_internal));
  207. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::namespace_local));
  208. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::local_out));
  209. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::interface_readonly));
  210. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::internal_operation));
  211. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::event_else));
  212. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::in_exit));
  213. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::out_oncycle));
  214. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::var_raise));
  215. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::readonly_active));
  216. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::external_interface));
  217. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::else_event));
  218. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::entry_in));
  219. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::exit_var));
  220. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::always_external));
  221. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::oncycle_default));
  222. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::raise_entry));
  223. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::valueof_always));
  224. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::active_raise));
  225. statechart->getDefaultSCI()->raise_e1();
  226. runner->proceed_cycles(1);
  227. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::default_namespace));
  228. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::operation_internal));
  229. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::namespace_local));
  230. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::local_out));
  231. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::interface_readonly));
  232. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::internal_operation));
  233. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::event_else));
  234. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::in_exit));
  235. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::out_oncycle));
  236. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::var_valueof));
  237. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::readonly_active));
  238. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::external_interface));
  239. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::else_event));
  240. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::entry_in));
  241. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::exit_var));
  242. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::always_external));
  243. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::oncycle_default));
  244. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::raise_entry));
  245. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::valueof_always));
  246. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::active_raise));
  247. statechart->getDefaultSCI()->raise_e2();
  248. runner->proceed_cycles(1);
  249. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::default_namespace));
  250. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::operation_internal));
  251. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::namespace_local));
  252. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::local_out));
  253. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::interface_readonly));
  254. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::internal_operation));
  255. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::event_else));
  256. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::in_exit));
  257. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::out_oncycle));
  258. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::var_valueof));
  259. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::readonly_namespace));
  260. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::external_interface));
  261. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::else_event));
  262. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::entry_in));
  263. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::exit_var));
  264. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::always_external));
  265. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::oncycle_default));
  266. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::raise_entry));
  267. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::valueof_always));
  268. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::active_raise));
  269. statechart->getDefaultSCI()->raise_e1();
  270. runner->proceed_cycles(1);
  271. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::default_namespace));
  272. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::operation_internal));
  273. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::namespace_local));
  274. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::local_out));
  275. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::interface_readonly));
  276. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::internal_operation));
  277. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::event_else));
  278. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::in_exit));
  279. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::out_oncycle));
  280. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::var_valueof));
  281. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::readonly_namespace));
  282. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::external_internal));
  283. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::else_event));
  284. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::entry_in));
  285. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::exit_var));
  286. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::always_external));
  287. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::oncycle_default));
  288. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::raise_entry));
  289. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::valueof_always));
  290. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::active_raise));
  291. statechart->getDefaultSCI()->raise_e2();
  292. runner->proceed_cycles(1);
  293. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::default_namespace));
  294. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::operation_internal));
  295. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::namespace_local));
  296. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::local_out));
  297. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::interface_readonly));
  298. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::internal_operation));
  299. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::event_else));
  300. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::in_exit));
  301. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::out_oncycle));
  302. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::var_valueof));
  303. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::readonly_namespace));
  304. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::external_internal));
  305. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::else_local));
  306. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::entry_in));
  307. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::exit_var));
  308. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::always_external));
  309. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::oncycle_default));
  310. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::raise_entry));
  311. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::valueof_always));
  312. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::active_raise));
  313. statechart->getDefaultSCI()->raise_e1();
  314. runner->proceed_cycles(1);
  315. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::default_namespace));
  316. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::operation_internal));
  317. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::namespace_local));
  318. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::local_out));
  319. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::interface_readonly));
  320. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::internal_operation));
  321. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::event_else));
  322. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::in_exit));
  323. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::out_oncycle));
  324. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::var_valueof));
  325. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::readonly_namespace));
  326. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::external_internal));
  327. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::else_local));
  328. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::entry_out));
  329. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::exit_var));
  330. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::always_external));
  331. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::oncycle_default));
  332. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::raise_entry));
  333. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::valueof_always));
  334. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::active_raise));
  335. statechart->getDefaultSCI()->raise_e2();
  336. runner->proceed_cycles(1);
  337. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::default_namespace));
  338. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::operation_internal));
  339. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::namespace_local));
  340. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::local_out));
  341. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::interface_readonly));
  342. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::internal_operation));
  343. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::event_else));
  344. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::in_exit));
  345. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::out_oncycle));
  346. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::var_valueof));
  347. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::readonly_namespace));
  348. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::external_internal));
  349. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::else_local));
  350. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::entry_out));
  351. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::exit_readonly));
  352. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::always_external));
  353. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::oncycle_default));
  354. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::raise_entry));
  355. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::valueof_always));
  356. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::active_raise));
  357. statechart->getDefaultSCI()->raise_e1();
  358. runner->proceed_cycles(1);
  359. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::default_namespace));
  360. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::operation_internal));
  361. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::namespace_local));
  362. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::local_out));
  363. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::interface_readonly));
  364. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::internal_operation));
  365. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::event_else));
  366. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::in_exit));
  367. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::out_oncycle));
  368. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::var_valueof));
  369. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::readonly_namespace));
  370. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::external_internal));
  371. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::else_local));
  372. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::entry_out));
  373. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::exit_readonly));
  374. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::always_operation));
  375. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::oncycle_default));
  376. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::raise_entry));
  377. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::valueof_always));
  378. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::active_raise));
  379. statechart->getDefaultSCI()->raise_e2();
  380. runner->proceed_cycles(1);
  381. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::default_namespace));
  382. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::operation_internal));
  383. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::namespace_local));
  384. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::local_out));
  385. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::interface_readonly));
  386. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::internal_operation));
  387. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::event_else));
  388. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::in_exit));
  389. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::out_oncycle));
  390. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::var_valueof));
  391. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::readonly_namespace));
  392. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::external_internal));
  393. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::else_local));
  394. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::entry_out));
  395. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::exit_readonly));
  396. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::always_operation));
  397. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::oncycle_else));
  398. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::raise_entry));
  399. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::valueof_always));
  400. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::active_raise));
  401. statechart->getDefaultSCI()->raise_e1();
  402. runner->proceed_cycles(1);
  403. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::default_namespace));
  404. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::operation_internal));
  405. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::namespace_local));
  406. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::local_out));
  407. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::interface_readonly));
  408. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::internal_operation));
  409. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::event_else));
  410. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::in_exit));
  411. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::out_oncycle));
  412. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::var_valueof));
  413. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::readonly_namespace));
  414. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::external_internal));
  415. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::else_local));
  416. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::entry_out));
  417. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::exit_readonly));
  418. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::always_operation));
  419. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::oncycle_else));
  420. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::raise_exit));
  421. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::valueof_always));
  422. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::active_raise));
  423. statechart->getDefaultSCI()->raise_e2();
  424. runner->proceed_cycles(1);
  425. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::default_namespace));
  426. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::operation_internal));
  427. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::namespace_local));
  428. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::local_out));
  429. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::interface_readonly));
  430. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::internal_operation));
  431. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::event_else));
  432. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::in_exit));
  433. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::out_oncycle));
  434. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::var_valueof));
  435. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::readonly_namespace));
  436. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::external_internal));
  437. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::else_local));
  438. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::entry_out));
  439. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::exit_readonly));
  440. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::always_operation));
  441. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::oncycle_else));
  442. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::raise_exit));
  443. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::valueof_oncycle));
  444. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::active_raise));
  445. statechart->getDefaultSCI()->raise_e1();
  446. runner->proceed_cycles(1);
  447. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::default_namespace));
  448. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::operation_internal));
  449. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::namespace_local));
  450. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::local_out));
  451. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::interface_readonly));
  452. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::internal_operation));
  453. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::event_else));
  454. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::in_exit));
  455. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::out_oncycle));
  456. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::var_valueof));
  457. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::readonly_namespace));
  458. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::external_internal));
  459. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::else_local));
  460. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::entry_out));
  461. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::exit_readonly));
  462. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::always_operation));
  463. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::oncycle_else));
  464. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::raise_exit));
  465. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::valueof_oncycle));
  466. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::active_valueof));
  467. statechart->getDefaultSCI()->raise_e2();
  468. runner->proceed_cycles(1);
  469. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::default_namespace));
  470. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::operation_internal));
  471. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::namespace_local));
  472. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::local_out));
  473. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::interface_readonly));
  474. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::internal_operation));
  475. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::event_else));
  476. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::in_exit));
  477. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::out_oncycle));
  478. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::var_valueof));
  479. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::readonly_namespace));
  480. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::external_internal));
  481. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::else_local));
  482. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::entry_out));
  483. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::exit_readonly));
  484. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::always_operation));
  485. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::oncycle_else));
  486. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::raise_exit));
  487. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::valueof_oncycle));
  488. EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::active_valueof));
  489. }
  490. }