|
@@ -1,3 +1,13 @@
|
|
|
+/**
|
|
|
+ * 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.model.sexec.transformation.test;
|
|
|
|
|
|
import org.eclipse.xtext.junit4.InjectWith;
|
|
@@ -13,6 +23,10 @@ import com.google.inject.Inject;
|
|
|
|
|
|
import static org.junit.Assert.*;
|
|
|
|
|
|
+/**
|
|
|
+ * @author rbeckmann
|
|
|
+ *
|
|
|
+ */
|
|
|
@RunWith(XtextRunner.class)
|
|
|
@InjectWith(TestModelInjectorProvider.class)
|
|
|
public class StatechartExtensionsTest {
|
|
@@ -25,4 +39,12 @@ public class StatechartExtensionsTest {
|
|
|
|
|
|
assertEquals(statechartExtensions.maxNumberOfParallelTimeEvents(sc), 6);
|
|
|
}
|
|
|
+
|
|
|
+ @Test
|
|
|
+ public void testmaxNumberOfParallelTimeEvents_zero() {
|
|
|
+ ExtensionTestModels models = new ExtensionTestModels();
|
|
|
+ Statechart sc = ExtensionTestModels.loadStatechart(models.getModelDirectory() + ExtensionTestModels.NO_TIME_EVENTS);
|
|
|
+
|
|
|
+ assertEquals(statechartExtensions.maxNumberOfParallelTimeEvents(sc), 0);
|
|
|
+ }
|
|
|
}
|