Package org.eclipse.epsilon.evl.engine.test.acceptance

Class EvlTests

java.lang.Object

org.eclipse.epsilon.evl.engine.test.acceptance.EvlTests

public class EvlTests
extends Object

Since:

1.6 (heavily modified)

Field Summary

Fields

Modifier and Type	Field	Description
Supplier<? extends IEvlModule>	moduleGetter
org.junit.rules.TestName	testName

Constructor Summary

Constructors

Constructor	Description
EvlTests()

Method Summary

Modifier and Type	Method	Description
static void	assertUnsatisfiedConstraints(int number, String contextName, String constraintName, IEvlContext context)
void	assumeLegal()
static IModel	getTestModel(boolean optimised)
static File	getTestScript(IEvlModule module)
static void	loadEVL(IEvlModule module, boolean optimised)
static void	loadEVL(IEvlModule module, boolean optimised, String scriptName)
static Iterable<Supplier<? extends IEvlModule>>	modules()
static IModel	newTestModel()
static IModel	newTestModel(boolean optimised)
void	testAnnotatedShortCircuitExecution()
void	testCanBeTransformedEVL()
void	testExecuteReturn()
void	testGlobalShortCircuitExecution()
void	testInvalidExecution()	Tests whether the program halts when encountering an issue with the script.
void	testOptimizedConstraints()	Tests the constraint optimization manually, without the ConstraintContext#checkAll integration.
void	testOptimizedExecution()	Tests the constraint optimization from end to end, including the integration.
void	testUnsatisfiedConstraints()
static void	testUnsatisfiedConstraintsForTestScriptAndModel(IEvlContext context)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

moduleGetter

public Supplier<? extends IEvlModule> moduleGetter

testName

public org.junit.rules.TestName testName

Constructor Detail

EvlTests

public EvlTests()

Method Detail

modules

public static Iterable<Supplier<? extends IEvlModule>> modules()

newTestModel

public static IModel newTestModel()
                           throws Exception

Throws:

Exception

getTestModel

public static IModel getTestModel(boolean optimised)
                           throws Exception

Throws:

Exception

newTestModel

public static IModel newTestModel(boolean optimised)
                           throws Exception

Throws:

Exception

getTestScript

public static File getTestScript(IEvlModule module)
                          throws Exception

Throws:

Exception

loadEVL

public static void loadEVL(IEvlModule module,
                           boolean optimised)
                    throws Exception

Throws:

Exception

loadEVL

public static void loadEVL(IEvlModule module,
                           boolean optimised,
                           String scriptName)
                    throws Exception

Throws:

Exception

assertUnsatisfiedConstraints

public static void assertUnsatisfiedConstraints(int number,
                                                String contextName,
                                                String constraintName,
                                                IEvlContext context)

testUnsatisfiedConstraintsForTestScriptAndModel

public static void testUnsatisfiedConstraintsForTestScriptAndModel(IEvlContext context)
                                                            throws EolRuntimeException

Throws:

EolRuntimeException

testUnsatisfiedConstraints

public void testUnsatisfiedConstraints()
                                throws Exception

Throws:

Exception

testCanBeTransformedEVL

public void testCanBeTransformedEVL()
                             throws Exception

Throws:

Exception

testOptimizedConstraints

public void testOptimizedConstraints()
                              throws Exception

Tests the constraint optimization manually, without the ConstraintContext#checkAll integration.

Throws:

Exception

testOptimizedExecution

public void testOptimizedExecution()
                            throws Exception

Tests the constraint optimization from end to end, including the integration.

Throws:

Exception

testInvalidExecution

public void testInvalidExecution()
                          throws Exception

Tests whether the program halts when encountering an issue with the script.

Throws:

Exception

assumeLegal

public void assumeLegal()
                 throws Exception

Throws:

Exception

testGlobalShortCircuitExecution

public void testGlobalShortCircuitExecution()
                                     throws Exception

Throws:

Exception

testAnnotatedShortCircuitExecution

public void testAnnotatedShortCircuitExecution()
                                        throws Exception

Throws:

Exception

testExecuteReturn

public void testExecuteReturn()
                       throws Exception

Throws:

Exception