1 files changed, 19 insertions, 0 deletions

diff --git a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/java/org/eclipse/viatra/solver/language/scoping/ProblemGlobalScopeProvider.java b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/java/org/eclipse/viatra/solver/language/scoping/ProblemGlobalScopeProvider.java
new file mode 100644
index 00000000..cf01999a
--- /dev/null
+++ b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/java/org/eclipse/viatra/solver/language/scoping/ProblemGlobalScopeProvider.java
@@ -0,0 +1,19 @@
+package org.eclipse.viatra.solver.language.scoping;
+
+import java.util.LinkedHashSet;
+
+import org.eclipse.emf.common.util.URI;
+import org.eclipse.emf.ecore.resource.Resource;
+import org.eclipse.xtext.scoping.impl.ImportUriGlobalScopeProvider;
+
+public class ProblemGlobalScopeProvider extends ImportUriGlobalScopeProvider {
+        public static final URI LIBRARY_URI = URI.createURI(ProblemGlobalScopeProvider.class.getClassLoader()
+                        .getResource("org/eclipse/viatra/solver/language/library.problem").toString());
+
+        @Override
+        protected LinkedHashSet<URI> getImportedUris(Resource resource) {
+                LinkedHashSet<URI> importedUris = super.getImportedUris(resource);
+                importedUris.add(LIBRARY_URI);
+                return importedUris;
+        }
+}