/**
* Copyright (c) 2017 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.*;
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));
}
@Test
public void testDoubleEntryActionBug() {
statemachine.enter();
statemachine.raiseE();
statemachine.raiseF();
statemachine.runCycle();
statemachine.raiseJc();
statemachine.raiseJd();
statemachine.runCycle();
assertTrue(statemachine.isStateActive(State.main_region_A));
assertTrue(statemachine.getX() == 1l);
}
}