|
|
@@ -1,105 +1,106 @@
|
|
|
-/**
|
|
|
- * Copyright (c) 2012 committers of YAKINDU and others.
|
|
|
- * All rights reserved. This program and the accompanying materials
|
|
|
- * are made available under the terms of the Eclipse Public License v1.0
|
|
|
- * which accompanies this distribution, and is available at
|
|
|
- * http://www.eclipse.org/legal/epl-v10.html
|
|
|
- *
|
|
|
- * Contributors:
|
|
|
- * committers of YAKINDU - initial API and implementation
|
|
|
- */
|
|
|
-package org.yakindu.sct.generator.java.test;
|
|
|
-
|
|
|
-import org.junit.After;
|
|
|
-import org.junit.Before;
|
|
|
-import org.junit.Test;
|
|
|
-import static org.junit.Assert.*;
|
|
|
-import org.yakindu.scr.syncjoin.SyncJoinStatemachine;
|
|
|
-import org.yakindu.scr.syncjoin.SyncJoinStatemachine.State;
|
|
|
-/**
|
|
|
- * Unit TestCase for SyncJoin
|
|
|
- */
|
|
|
-@SuppressWarnings("all")
|
|
|
-public class SyncJoinTest {
|
|
|
-
|
|
|
- private SyncJoinStatemachine statemachine;
|
|
|
-
|
|
|
- @Before
|
|
|
- public void setUp() {
|
|
|
- statemachine = new SyncJoinStatemachine();
|
|
|
- statemachine.init();
|
|
|
- statemachine.enter();
|
|
|
- }
|
|
|
-
|
|
|
- @After
|
|
|
- public void tearDown() {
|
|
|
- statemachine = null;
|
|
|
- }
|
|
|
-
|
|
|
- @Test
|
|
|
- public void testsyncJoin_C2_Waits() {
|
|
|
- assertTrue(statemachine.isStateActive(State.main_region_B));
|
|
|
- assertTrue(statemachine.isStateActive(State.main_region_B_r1_C1));
|
|
|
- assertTrue(statemachine.isStateActive(State.main_region_B_r2_D1));
|
|
|
- statemachine.raiseE();
|
|
|
- statemachine.runCycle();
|
|
|
- assertTrue(statemachine.isStateActive(State.main_region_B_r1_C2));
|
|
|
- assertTrue(statemachine.isStateActive(State.main_region_B_r2_D1));
|
|
|
- statemachine.raiseJc();
|
|
|
- statemachine.runCycle();
|
|
|
- assertTrue(statemachine.isStateActive(State.main_region_B_r1_C2));
|
|
|
- assertTrue(statemachine.isStateActive(State.main_region_B_r2_D1));
|
|
|
- statemachine.raiseJd();
|
|
|
- statemachine.runCycle();
|
|
|
- assertTrue(statemachine.isStateActive(State.main_region_B_r1_C2));
|
|
|
- assertTrue(statemachine.isStateActive(State.main_region_B_r2_D1));
|
|
|
- statemachine.raiseJc();
|
|
|
- statemachine.raiseJd();
|
|
|
- statemachine.runCycle();
|
|
|
- assertTrue(statemachine.isStateActive(State.main_region_B_r1_C2));
|
|
|
- assertTrue(statemachine.isStateActive(State.main_region_B_r2_D1));
|
|
|
- statemachine.raiseF();
|
|
|
- statemachine.runCycle();
|
|
|
- assertTrue(statemachine.isStateActive(State.main_region_B_r1_C2));
|
|
|
- assertTrue(statemachine.isStateActive(State.main_region_B_r2_D2));
|
|
|
- statemachine.raiseJc();
|
|
|
- statemachine.runCycle();
|
|
|
- assertTrue(statemachine.isStateActive(State.main_region_B_r1_C2));
|
|
|
- assertTrue(statemachine.isStateActive(State.main_region_B_r2_D2));
|
|
|
- statemachine.raiseJd();
|
|
|
- statemachine.runCycle();
|
|
|
- assertTrue(statemachine.isStateActive(State.main_region_B_r1_C2));
|
|
|
- assertTrue(statemachine.isStateActive(State.main_region_B_r2_D2));
|
|
|
- statemachine.raiseJc();
|
|
|
- statemachine.raiseJd();
|
|
|
- statemachine.runCycle();
|
|
|
- assertTrue(statemachine.isStateActive(State.main_region_A));
|
|
|
- }
|
|
|
- @Test
|
|
|
- public void testsyncJoin_D2_Waits() {
|
|
|
- assertTrue(statemachine.isStateActive(State.main_region_B));
|
|
|
- assertTrue(statemachine.isStateActive(State.main_region_B_r1_C1));
|
|
|
- assertTrue(statemachine.isStateActive(State.main_region_B_r2_D1));
|
|
|
- statemachine.raiseF();
|
|
|
- statemachine.runCycle();
|
|
|
- assertTrue(statemachine.isStateActive(State.main_region_B_r1_C1));
|
|
|
- assertTrue(statemachine.isStateActive(State.main_region_B_r2_D2));
|
|
|
- statemachine.raiseJc();
|
|
|
- statemachine.runCycle();
|
|
|
- assertTrue(statemachine.isStateActive(State.main_region_B_r1_C1));
|
|
|
- assertTrue(statemachine.isStateActive(State.main_region_B_r2_D2));
|
|
|
- statemachine.raiseJd();
|
|
|
- statemachine.runCycle();
|
|
|
- assertTrue(statemachine.isStateActive(State.main_region_B_r1_C1));
|
|
|
- assertTrue(statemachine.isStateActive(State.main_region_B_r2_D2));
|
|
|
- statemachine.raiseJc();
|
|
|
- statemachine.raiseJd();
|
|
|
- statemachine.runCycle();
|
|
|
- assertTrue(statemachine.isStateActive(State.main_region_B_r1_C1));
|
|
|
- assertTrue(statemachine.isStateActive(State.main_region_B_r2_D2));
|
|
|
- statemachine.raiseE();
|
|
|
- statemachine.runCycle();
|
|
|
- assertTrue(statemachine.isStateActive(State.main_region_B_r1_C2));
|
|
|
- assertTrue(statemachine.isStateActive(State.main_region_B_r2_D2));
|
|
|
- }
|
|
|
-}
|
|
|
+/**
|
|
|
+ * Copyright (c) 2012 committers of YAKINDU and others.
|
|
|
+ * All rights reserved. This program and the accompanying materials
|
|
|
+ * are made available under the terms of the Eclipse Public License v1.0
|
|
|
+ * which accompanies this distribution, and is available at
|
|
|
+ * http://www.eclipse.org/legal/epl-v10.html
|
|
|
+ *
|
|
|
+ * Contributors:
|
|
|
+ * committers of YAKINDU - initial API and implementation
|
|
|
+ */
|
|
|
+package org.yakindu.sct.generator.java.test;
|
|
|
+
|
|
|
+import org.junit.After;
|
|
|
+import org.junit.Before;
|
|
|
+import org.junit.Test;
|
|
|
+import static org.junit.Assert.*;
|
|
|
+import org.yakindu.scr.syncjoin.SyncJoinStatemachine;
|
|
|
+import org.yakindu.scr.syncjoin.SyncJoinStatemachine.State;
|
|
|
+/**
|
|
|
+ * Unit TestCase for SyncJoin
|
|
|
+ */
|
|
|
+@SuppressWarnings("all")
|
|
|
+public class SyncJoinTest {
|
|
|
+
|
|
|
+ private SyncJoinStatemachine statemachine;
|
|
|
+
|
|
|
+ @Before
|
|
|
+ public void setUp() {
|
|
|
+ statemachine = new SyncJoinStatemachine();
|
|
|
+ statemachine.init();
|
|
|
+ }
|
|
|
+
|
|
|
+ @After
|
|
|
+ public void tearDown() {
|
|
|
+ statemachine = null;
|
|
|
+ }
|
|
|
+
|
|
|
+ @Test
|
|
|
+ public void testsyncJoin_C2_Waits() {
|
|
|
+ statemachine.enter();
|
|
|
+ assertTrue(statemachine.isStateActive(State.main_region_B));
|
|
|
+ assertTrue(statemachine.isStateActive(State.main_region_B_r1_C1));
|
|
|
+ assertTrue(statemachine.isStateActive(State.main_region_B_r2_D1));
|
|
|
+ statemachine.raiseE();
|
|
|
+ statemachine.runCycle();
|
|
|
+ assertTrue(statemachine.isStateActive(State.main_region_B_r1_C2));
|
|
|
+ assertTrue(statemachine.isStateActive(State.main_region_B_r2_D1));
|
|
|
+ statemachine.raiseJc();
|
|
|
+ statemachine.runCycle();
|
|
|
+ assertTrue(statemachine.isStateActive(State.main_region_B_r1_C2));
|
|
|
+ assertTrue(statemachine.isStateActive(State.main_region_B_r2_D1));
|
|
|
+ statemachine.raiseJd();
|
|
|
+ statemachine.runCycle();
|
|
|
+ assertTrue(statemachine.isStateActive(State.main_region_B_r1_C2));
|
|
|
+ assertTrue(statemachine.isStateActive(State.main_region_B_r2_D1));
|
|
|
+ statemachine.raiseJc();
|
|
|
+ statemachine.raiseJd();
|
|
|
+ statemachine.runCycle();
|
|
|
+ assertTrue(statemachine.isStateActive(State.main_region_B_r1_C2));
|
|
|
+ assertTrue(statemachine.isStateActive(State.main_region_B_r2_D1));
|
|
|
+ statemachine.raiseF();
|
|
|
+ statemachine.runCycle();
|
|
|
+ assertTrue(statemachine.isStateActive(State.main_region_B_r1_C2));
|
|
|
+ assertTrue(statemachine.isStateActive(State.main_region_B_r2_D2));
|
|
|
+ statemachine.raiseJc();
|
|
|
+ statemachine.runCycle();
|
|
|
+ assertTrue(statemachine.isStateActive(State.main_region_B_r1_C2));
|
|
|
+ assertTrue(statemachine.isStateActive(State.main_region_B_r2_D2));
|
|
|
+ statemachine.raiseJd();
|
|
|
+ statemachine.runCycle();
|
|
|
+ assertTrue(statemachine.isStateActive(State.main_region_B_r1_C2));
|
|
|
+ assertTrue(statemachine.isStateActive(State.main_region_B_r2_D2));
|
|
|
+ statemachine.raiseJc();
|
|
|
+ statemachine.raiseJd();
|
|
|
+ statemachine.runCycle();
|
|
|
+ assertTrue(statemachine.isStateActive(State.main_region_A));
|
|
|
+ }
|
|
|
+ @Test
|
|
|
+ public void testsyncJoin_D2_Waits() {
|
|
|
+ statemachine.enter();
|
|
|
+ assertTrue(statemachine.isStateActive(State.main_region_B));
|
|
|
+ assertTrue(statemachine.isStateActive(State.main_region_B_r1_C1));
|
|
|
+ assertTrue(statemachine.isStateActive(State.main_region_B_r2_D1));
|
|
|
+ statemachine.raiseF();
|
|
|
+ statemachine.runCycle();
|
|
|
+ assertTrue(statemachine.isStateActive(State.main_region_B_r1_C1));
|
|
|
+ assertTrue(statemachine.isStateActive(State.main_region_B_r2_D2));
|
|
|
+ statemachine.raiseJc();
|
|
|
+ statemachine.runCycle();
|
|
|
+ assertTrue(statemachine.isStateActive(State.main_region_B_r1_C1));
|
|
|
+ assertTrue(statemachine.isStateActive(State.main_region_B_r2_D2));
|
|
|
+ statemachine.raiseJd();
|
|
|
+ statemachine.runCycle();
|
|
|
+ assertTrue(statemachine.isStateActive(State.main_region_B_r1_C1));
|
|
|
+ assertTrue(statemachine.isStateActive(State.main_region_B_r2_D2));
|
|
|
+ statemachine.raiseJc();
|
|
|
+ statemachine.raiseJd();
|
|
|
+ statemachine.runCycle();
|
|
|
+ assertTrue(statemachine.isStateActive(State.main_region_B_r1_C1));
|
|
|
+ assertTrue(statemachine.isStateActive(State.main_region_B_r2_D2));
|
|
|
+ statemachine.raiseE();
|
|
|
+ statemachine.runCycle();
|
|
|
+ assertTrue(statemachine.isStateActive(State.main_region_B_r1_C2));
|
|
|
+ assertTrue(statemachine.isStateActive(State.main_region_B_r2_D2));
|
|
|
+ }
|
|
|
+}
|