Class EvlTests


  • public class EvlTests
    extends java.lang.Object
    Since:
    1.6 (heavily modified)
    • 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)
      • 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
      • testExecuteReturn

        public void testExecuteReturn()
                               throws java.lang.Exception
        Throws:
        java.lang.Exception