(refs #7588) Support for existential type variables with syntax ?v

[simantics/platform.git] / tests / org.simantics.scl.compiler.tests / src / org / simantics / scl / compiler / tests / InitialRepository.java

diff --git a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/InitialRepository.java b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/InitialRepository.java
index 5608689f512079c8a01c76fa50e63476d767e888..87ea5274d23aa0947d56c0d7163b67d3afa17368 100644 (file)
--- a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/InitialRepository.java
+++ b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/InitialRepository.java
@@ -1,5 +1,8 @@
 package org.simantics.scl.compiler.tests;
 
+import org.simantics.scl.compiler.environment.Environment;
+import org.simantics.scl.compiler.environment.specification.EnvironmentSpecification;
+import org.simantics.scl.compiler.module.repository.ImportFailureException;
 import org.simantics.scl.compiler.module.repository.ModuleRepository;
 import org.simantics.scl.compiler.source.repository.CompositeModuleSourceRepository;
 import org.simantics.scl.compiler.source.repository.SourceRepositories;
@@ -14,6 +17,12 @@ public class InitialRepository {
                     SourceRepositories.PRELUDE_SOURCE_REPOSITORY
                     ));
     
+    public static EnvironmentSpecification DEFAULT_ENVIRONMENT_SPECIFICATION = new EnvironmentSpecification();
+    static {
+        DEFAULT_ENVIRONMENT_SPECIFICATION.importModule("Builtin", "");
+        DEFAULT_ENVIRONMENT_SPECIFICATION.importModule("Prelude", "");
+    }
+    
     public static ModuleRepository getInitialRepository() {
         if(NO_PRELUDE)
             return new ModuleRepository(SourceRepositories.BUILTIN_SOURCE_REPOSITORY);
@@ -22,4 +31,8 @@ public class InitialRepository {
         else
             return SCLOsgi.MODULE_REPOSITORY;
     }
+    
+    public static Environment getDefaultEnvironment() throws ImportFailureException {
+        return getInitialRepository().createEnvironment(DEFAULT_ENVIRONMENT_SPECIFICATION, null);
+    }
 }