SyncFork.cc 1.5 KB

123456789101112131415161718192021222324252627282930313233343536373839
  1. /**
  2. * Copyright (c) 2013 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 "SyncFork.h"
  14. TEST(StatemachineTest, syncForkTest) {
  15. SyncFork handle;
  16. syncFork_init(&handle);
  17. syncFork_enter(&handle);
  18. EXPECT_TRUE(syncFork_isActive(&handle, SyncFork_main_region_A));
  19. syncForkIface_raise_f(&handle);
  20. syncFork_runCycle(&handle);
  21. EXPECT_TRUE(syncFork_isActive(&handle, SyncFork_main_region_B));
  22. EXPECT_TRUE(syncFork_isActive(&handle, SyncFork_main_region_B_r1_C1));
  23. EXPECT_TRUE(syncFork_isActive(&handle, SyncFork_main_region_B_r2_D1));
  24. syncForkIface_raise_f(&handle);
  25. syncFork_runCycle(&handle);
  26. EXPECT_TRUE(syncFork_isActive(&handle, SyncFork_main_region_B));
  27. EXPECT_TRUE(syncFork_isActive(&handle, SyncFork_main_region_B_r1_C2));
  28. EXPECT_TRUE(syncFork_isActive(&handle, SyncFork_main_region_B_r2_D2));
  29. syncForkIface_raise_e(&handle);
  30. syncFork_runCycle(&handle);
  31. EXPECT_TRUE(syncFork_isActive(&handle, SyncFork_main_region_A));
  32. syncForkIface_raise_f(&handle);
  33. syncFork_runCycle(&handle);
  34. EXPECT_TRUE(syncFork_isActive(&handle, SyncFork_main_region_B));
  35. EXPECT_TRUE(syncFork_isActive(&handle, SyncFork_main_region_B_r1_C1));
  36. EXPECT_TRUE(syncFork_isActive(&handle, SyncFork_main_region_B_r2_D1));
  37. }