STextKeywordsInStatesAndRegionsTest.cc 36 KB

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