OperationsTest.cc 9.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304
  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 "gtest/gtest.h"
  12. #include "Operations.h"
  13. #include "OperationsRequired.h"
  14. class AlwaysTrueMock{
  15. public:
  16. sc_boolean (AlwaysTrueMock::*alwaysTrueBehavior)();
  17. sc_boolean alwaysTrue1(){
  18. return (true);
  19. }
  20. void setAlwaysTrueBehavior(sc_boolean (AlwaysTrueMock::*func)()){
  21. alwaysTrueBehavior = func;
  22. }
  23. };
  24. static AlwaysTrueMock* alwaysTrueMock;
  25. static struct {
  26. sc_boolean called;
  27. } internalOperation1 = {false};
  28. static struct {
  29. sc_boolean called;
  30. sc_integer param1;
  31. } internalOperation2 = {false, 0};
  32. static struct {
  33. sc_boolean called;
  34. } internalOperation3 = {false};
  35. static struct {
  36. sc_boolean called;
  37. sc_real param1;
  38. } internalOperation3a = {false, 0.0d};
  39. static struct {
  40. sc_boolean called;
  41. } internalOperation4 = {false};
  42. static struct {
  43. sc_boolean called;
  44. sc_integer param1;
  45. } internalOperation4a = {false, 0};
  46. static struct {
  47. sc_boolean called;
  48. } internalOperation5 = {false};
  49. static struct {
  50. sc_boolean called;
  51. char const * param1;
  52. } internalOperation5a = {false, 0};
  53. static struct {
  54. sc_boolean called;
  55. } interface1InterfaceOperation1 = {false};
  56. static struct {
  57. sc_boolean called;
  58. sc_integer param1;
  59. } interface1InterfaceOperation2 = {false, 0};
  60. static struct {
  61. sc_boolean called;
  62. } interface1InterfaceOperation3 = {false};
  63. static struct {
  64. sc_boolean called;
  65. sc_real param1;
  66. } interface1InterfaceOperation3a = {false, 0.0d};
  67. static struct {
  68. sc_boolean called;
  69. } interface1InterfaceOperation4 = {false};
  70. static struct {
  71. sc_boolean called;
  72. sc_integer param1;
  73. } interface1InterfaceOperation4a = {false, 0};
  74. static struct {
  75. sc_boolean called;
  76. } interface1InterfaceOperation5 = {false};
  77. static struct {
  78. sc_boolean called;
  79. char const * param1;
  80. } interface1InterfaceOperation5a = {false, 0};
  81. static struct {
  82. sc_boolean called;
  83. } unnamedInterfaceOperation1 = {false};
  84. static struct {
  85. sc_boolean called;
  86. sc_integer param1;
  87. } unnamedInterfaceOperation2 = {false, 0};
  88. static struct {
  89. sc_boolean called;
  90. } unnamedOperation3 = {false};
  91. static struct {
  92. sc_boolean called;
  93. sc_real param1;
  94. } unnamedOperation3a = {false, 0.0d};
  95. static struct {
  96. sc_boolean called;
  97. } unnamedOperation4 = {false};
  98. static struct {
  99. sc_boolean called;
  100. sc_integer param1;
  101. } unnamedOperation4a = {false, 0};
  102. static struct {
  103. sc_boolean called;
  104. } unnamedOperation5 = {false};
  105. static struct {
  106. sc_boolean called;
  107. char const * param1;
  108. } unnamedOperation5a = {false, 0};
  109. static Operations statechart;
  110. class StatemachineTest : public ::testing::Test{
  111. protected:
  112. virtual void SetUp() {
  113. operations_init(&statechart);
  114. }
  115. };
  116. TEST_F(StatemachineTest, operationsCalled) {
  117. alwaysTrueMock = new AlwaysTrueMock();
  118. alwaysTrueMock->setAlwaysTrueBehavior(&AlwaysTrueMock::alwaysTrue1);
  119. operations_enter(&statechart);
  120. EXPECT_TRUE(operations_isStateActive(&statechart, Operations_main_region_A));
  121. operations_runCycle(&statechart);
  122. EXPECT_TRUE(operations_isStateActive(&statechart, Operations_main_region_B));
  123. EXPECT_TRUE(internalOperation1.called);
  124. EXPECT_TRUE(internalOperation2.called);
  125. EXPECT_TRUE(internalOperation2.param1 == 4l);
  126. EXPECT_TRUE(internalOperation3.called);
  127. EXPECT_TRUE(internalOperation3a.called);
  128. EXPECT_TRUE(internalOperation3a.param1 == 1.0);
  129. EXPECT_TRUE(internalOperation4.called);
  130. EXPECT_TRUE(internalOperation4a.called);
  131. EXPECT_TRUE(internalOperation4a.param1 == 5l);
  132. EXPECT_TRUE(internalOperation5.called);
  133. EXPECT_TRUE(internalOperation5a.called);
  134. operationsIface_raise_ev(&statechart);
  135. operations_runCycle(&statechart);
  136. EXPECT_TRUE(operations_isStateActive(&statechart, Operations_main_region_C));
  137. EXPECT_TRUE(interface1InterfaceOperation1.called);
  138. EXPECT_TRUE(interface1InterfaceOperation2.called);
  139. EXPECT_TRUE(interface1InterfaceOperation2.param1 == 4l);
  140. EXPECT_TRUE(interface1InterfaceOperation3.called);
  141. EXPECT_TRUE(interface1InterfaceOperation3a.called);
  142. EXPECT_TRUE(interface1InterfaceOperation3a.param1 == 1.0);
  143. EXPECT_TRUE(interface1InterfaceOperation4.called);
  144. EXPECT_TRUE(interface1InterfaceOperation4a.called);
  145. EXPECT_TRUE(interface1InterfaceOperation4a.param1 == 5l);
  146. EXPECT_TRUE(interface1InterfaceOperation5.called);
  147. EXPECT_TRUE(interface1InterfaceOperation5a.called);
  148. operationsIface_raise_ev(&statechart);
  149. operations_runCycle(&statechart);
  150. EXPECT_TRUE(operations_isStateActive(&statechart, Operations_main_region_D));
  151. EXPECT_TRUE(unnamedInterfaceOperation1.called);
  152. EXPECT_TRUE(unnamedInterfaceOperation2.called);
  153. EXPECT_TRUE(unnamedInterfaceOperation2.param1 == 4l);
  154. EXPECT_TRUE(unnamedOperation3.called);
  155. EXPECT_TRUE(unnamedOperation3a.called);
  156. EXPECT_TRUE(unnamedOperation3a.param1 == 1.0);
  157. EXPECT_TRUE(unnamedOperation4.called);
  158. EXPECT_TRUE(unnamedOperation4a.called);
  159. EXPECT_TRUE(unnamedOperation4a.param1 == 5l);
  160. EXPECT_TRUE(unnamedOperation5.called);
  161. EXPECT_TRUE(unnamedOperation5a.called);
  162. }
  163. void operationsInternal_internalOperation1(const Operations* statechart){
  164. internalOperation1.called = true;
  165. }
  166. sc_boolean operationsInternal_internalOperation2(const Operations* statechart, const sc_integer param1){
  167. internalOperation2.called = true;
  168. internalOperation2.param1 = param1;
  169. return true;
  170. }
  171. sc_real operationsInternal_internalOperation3(const Operations* statechart){
  172. internalOperation3.called = true;
  173. return 0.0d;
  174. }
  175. sc_real operationsInternal_internalOperation3a(const Operations* statechart, const sc_real param1){
  176. internalOperation3a.called = true;
  177. internalOperation3a.param1 = param1;
  178. return 0.0d;
  179. }
  180. sc_integer operationsInternal_internalOperation4(const Operations* statechart){
  181. internalOperation4.called = true;
  182. return 0;
  183. }
  184. sc_integer operationsInternal_internalOperation4a(const Operations* statechart, const sc_integer param1){
  185. internalOperation4a.called = true;
  186. internalOperation4a.param1 = param1;
  187. return 0;
  188. }
  189. sc_string operationsInternal_internalOperation5(const Operations* statechart){
  190. internalOperation5.called = true;
  191. return 0;
  192. }
  193. sc_string operationsInternal_internalOperation5a(const Operations* statechart, const sc_string param1){
  194. internalOperation5a.called = true;
  195. internalOperation5a.param1 = param1;
  196. return 0;
  197. }
  198. void operationsIfaceInterface1_interfaceOperation1(const Operations* statechart){
  199. interface1InterfaceOperation1.called = true;
  200. }
  201. sc_boolean operationsIfaceInterface1_interfaceOperation2(const Operations* statechart, const sc_integer param1){
  202. interface1InterfaceOperation2.called = true;
  203. interface1InterfaceOperation2.param1 = param1;
  204. return true;
  205. }
  206. sc_real operationsIfaceInterface1_interfaceOperation3(const Operations* statechart){
  207. interface1InterfaceOperation3.called = true;
  208. return 0.0d;
  209. }
  210. sc_real operationsIfaceInterface1_interfaceOperation3a(const Operations* statechart, const sc_real param1){
  211. interface1InterfaceOperation3a.called = true;
  212. interface1InterfaceOperation3a.param1 = param1;
  213. return 0.0d;
  214. }
  215. sc_integer operationsIfaceInterface1_interfaceOperation4(const Operations* statechart){
  216. interface1InterfaceOperation4.called = true;
  217. return 0;
  218. }
  219. sc_integer operationsIfaceInterface1_interfaceOperation4a(const Operations* statechart, const sc_integer param1){
  220. interface1InterfaceOperation4a.called = true;
  221. interface1InterfaceOperation4a.param1 = param1;
  222. return 0;
  223. }
  224. sc_string operationsIfaceInterface1_interfaceOperation5(const Operations* statechart){
  225. interface1InterfaceOperation5.called = true;
  226. return 0;
  227. }
  228. sc_string operationsIfaceInterface1_interfaceOperation5a(const Operations* statechart, const sc_string param1){
  229. interface1InterfaceOperation5a.called = true;
  230. interface1InterfaceOperation5a.param1 = param1;
  231. return 0;
  232. }
  233. void operationsIface_unnamedInterfaceOperation1(const Operations* statechart){
  234. unnamedInterfaceOperation1.called = true;
  235. }
  236. sc_boolean operationsIface_unnamedInterfaceOperation2(const Operations* statechart, const sc_integer param1){
  237. unnamedInterfaceOperation2.called = true;
  238. unnamedInterfaceOperation2.param1 = param1;
  239. return true;
  240. }
  241. sc_real operationsIface_unnamedOperation3(const Operations* statechart){
  242. unnamedOperation3.called = true;
  243. return 0.0d;
  244. }
  245. sc_real operationsIface_unnamedOperation3a(const Operations* statechart, const sc_real param1){
  246. unnamedOperation3a.called = true;
  247. unnamedOperation3a.param1 = param1;
  248. return 0.0d;
  249. }
  250. sc_integer operationsIface_unnamedOperation4(const Operations* statechart){
  251. unnamedOperation4.called = true;
  252. return 0;
  253. }
  254. sc_integer operationsIface_unnamedOperation4a(const Operations* statechart, const sc_integer param1){
  255. unnamedOperation4a.called = true;
  256. unnamedOperation4a.param1 = param1;
  257. return 0;
  258. }
  259. sc_string operationsIface_unnamedOperation5(const Operations* statechart){
  260. unnamedOperation5.called = true;
  261. return 0;
  262. }
  263. sc_string operationsIface_unnamedOperation5a(const Operations* statechart, const sc_string param1){
  264. unnamedOperation5a.called = true;
  265. unnamedOperation5a.param1 = param1;
  266. return 0;
  267. }
  268. sc_boolean operationsIface_alwaysTrue(const Operations* statechart){
  269. sc_boolean (AlwaysTrueMock::*func)() = alwaysTrueMock->alwaysTrueBehavior;
  270. return (alwaysTrueMock->*func)();
  271. }