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 java.lang.Object

Since:

1.6 (heavily modified)

Field Summary

Fields

Modifier and Type	Field	Description
java.util.function.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, java.lang.String contextName, java.lang.String constraintName, IEvlContext context)
void	assumeLegal()
static IModel	getTestModel(boolean optimised)
static java.io.File	getTestScript(IEvlModule module)
static void	loadEVL(IEvlModule module, boolean optimised)
static void	loadEVL(IEvlModule module, boolean optimised, java.lang.String scriptName)
static java.lang.Iterable<java.util.function.Supplier<? extends IEvlModule>>	modules()
static IModel	newTestModel()
static IModel	newTestModel(boolean optimised)
void	testAnnotatedShortCircuitExecution()
void	testCanBeTransformedEVL()
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 java.util.function.Supplier<? extends IEvlModule> moduleGetter

testName

public org.junit.rules.TestName testName

Constructor Detail

EvlTests

public EvlTests()

Method Detail

modules

public static java.lang.Iterable<java.util.function.Supplier<? extends IEvlModule>> modules()

newTestModel

public static IModel newTestModel()
                           throws java.lang.Exception

Throws:

java.lang.Exception

getTestModel

public static IModel getTestModel(boolean optimised)
                           throws java.lang.Exception

Throws:

java.lang.Exception

newTestModel

public static IModel newTestModel(boolean optimised)
                           throws java.lang.Exception

Throws:

java.lang.Exception

getTestScript

public static java.io.File getTestScript(IEvlModule module)
                                  throws java.lang.Exception

Throws:

java.lang.Exception

loadEVL

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

Throws:

java.lang.Exception

loadEVL

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

Throws:

java.lang.Exception

assertUnsatisfiedConstraints

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

testUnsatisfiedConstraintsForTestScriptAndModel

public static void testUnsatisfiedConstraintsForTestScriptAndModel(IEvlContext context)
                                                            throws EolRuntimeException

Throws:

EolRuntimeException

testUnsatisfiedConstraints

public void testUnsatisfiedConstraints()
                                throws java.lang.Exception

Throws:

java.lang.Exception

testCanBeTransformedEVL

public void testCanBeTransformedEVL()
                             throws java.lang.Exception

Throws:

java.lang.Exception

testOptimizedConstraints

public void testOptimizedConstraints()
                              throws java.lang.Exception

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

Throws:

java.lang.Exception

testOptimizedExecution

public void testOptimizedExecution()
                            throws java.lang.Exception

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

Throws:

java.lang.Exception

testInvalidExecution

public void testInvalidExecution()
                          throws java.lang.Exception

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

Throws:

java.lang.Exception

assumeLegal

public void assumeLegal()
                 throws java.lang.Exception

Throws:

java.lang.Exception

testGlobalShortCircuitExecution

public void testGlobalShortCircuitExecution()
                                     throws java.lang.Exception

Throws:

java.lang.Exception

testAnnotatedShortCircuitExecution

public void testAnnotatedShortCircuitExecution()
                                        throws java.lang.Exception

Throws:

java.lang.Exception