STextKeywordsInStatesAndRegionsTest.cc 40 KB

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