Examples with ExtensionTestModels org.yakindu.sct.test.models.ExtensionTestModels used on opensource projects

Example 1 with ExtensionTestModels

use of org.yakindu.sct.test.models.ExtensionTestModels in project statecharts by Yakindu.

the class StatechartExtensionsTest method testmaxNumberOfParallelTimeEvents.

@Test
public void testmaxNumberOfParallelTimeEvents() {
    ExtensionTestModels models = new ExtensionTestModels();
    Statechart sc = ExtensionTestModels.loadStatechart(models.getModelDirectory() + ExtensionTestModels.PARALLEL_TIME_EVENTS);
    assertEquals(statechartExtensions.maxNumberOfParallelTimeEvents(sc), 6);
}

Example 2 with ExtensionTestModels

use of org.yakindu.sct.test.models.ExtensionTestModels in project statecharts by Yakindu.

the class StatechartExtensionsTest method testmaxNumberOfParallelTimeEvents_zero.

@Test
public void testmaxNumberOfParallelTimeEvents_zero() {
    ExtensionTestModels models = new ExtensionTestModels();
    Statechart sc = ExtensionTestModels.loadStatechart(models.getModelDirectory() + ExtensionTestModels.NO_TIME_EVENTS);
    assertEquals(statechartExtensions.maxNumberOfParallelTimeEvents(sc), 0);
}