3 files changed, 0 insertions, 148 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
deleted file mode 100644
index 05da277a..00000000
--- a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/java/org/eclipse/viatra/solver/language/scoping/ProblemGlobalScopeProvider.java
+++ /dev/null
@@ -1,25 +0,0 @@
-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 String BUILTIN_LIBRARY_NAME = "builtin";
-
-        public static final URI BULTIN_LIBRARY_URI = getLibraryUri(BUILTIN_LIBRARY_NAME);
-
-        @Override
-        protected LinkedHashSet<URI> getImportedUris(Resource resource) {
-                LinkedHashSet<URI> importedUris = new LinkedHashSet<>();
-                importedUris.add(BULTIN_LIBRARY_URI);
-                return importedUris;
-        }
-
-        private static URI getLibraryUri(String libraryName) {
-                return URI.createURI(ProblemGlobalScopeProvider.class.getClassLoader()
-                                .getResource("org/eclipse/viatra/solver/language/" + libraryName + ".problem").toString());
-        }
-}
diff --git a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/java/org/eclipse/viatra/solver/language/scoping/ProblemLocalScopeProvider.java b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/java/org/eclipse/viatra/solver/language/scoping/ProblemLocalScopeProvider.java
deleted file mode 100644
index e832bb09..00000000
--- a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/java/org/eclipse/viatra/solver/language/scoping/ProblemLocalScopeProvider.java
+++ /dev/null
@@ -1,40 +0,0 @@
-package org.eclipse.viatra.solver.language.scoping;
-
-import java.util.List;
-
-import org.eclipse.emf.ecore.EObject;
-import org.eclipse.emf.ecore.resource.Resource;
-import org.eclipse.xtext.naming.QualifiedName;
-import org.eclipse.xtext.resource.IResourceDescriptions;
-import org.eclipse.xtext.resource.IResourceDescriptionsProvider;
-import org.eclipse.xtext.resource.ISelectable;
-import org.eclipse.xtext.scoping.impl.ImportNormalizer;
-import org.eclipse.xtext.scoping.impl.ImportedNamespaceAwareLocalScopeProvider;
-
-import com.google.inject.Inject;
-
-public class ProblemLocalScopeProvider extends ImportedNamespaceAwareLocalScopeProvider {
-        private static final QualifiedName BUILTIN_LIBRARY_QUALIFIED_NAME = QualifiedName
-                        .create(ProblemGlobalScopeProvider.BUILTIN_LIBRARY_NAME);
-
-        @Inject
-        private IResourceDescriptionsProvider resourceDescriptionsProvider;
-
-        @Override
-        protected List<ImportNormalizer> getImplicitImports(boolean ignoreCase) {
-                return List.of(doCreateImportNormalizer(BUILTIN_LIBRARY_QUALIFIED_NAME, true, ignoreCase));
-        }
-
-        @Override
-        protected List<ImportNormalizer> getImportedNamespaceResolvers(EObject context, boolean ignoreCase) {
-                return List.of();
-        }
-
-        @Override
-        protected ISelectable internalGetAllDescriptions(Resource resource) {
-                // Force the use of ProblemResourceDescriptionStrategy to include all QualifiedNames of objects.
-                IResourceDescriptions resourceDescriptions = resourceDescriptionsProvider
-                                .getResourceDescriptions(resource.getResourceSet());
-                return resourceDescriptions.getResourceDescription(resource.getURI());
-        }
-}
diff --git a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/java/org/eclipse/viatra/solver/language/scoping/ProblemScopeProvider.java b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/java/org/eclipse/viatra/solver/language/scoping/ProblemScopeProvider.java
deleted file mode 100644
index fc4034ae..00000000
--- a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/java/org/eclipse/viatra/solver/language/scoping/ProblemScopeProvider.java
+++ /dev/null
@@ -1,83 +0,0 @@
-/*
- * generated by Xtext 2.25.0
- */
-package org.eclipse.viatra.solver.language.scoping;
-
-import java.util.ArrayList;
-import java.util.Collection;
-import java.util.List;
-
-import org.eclipse.emf.ecore.EObject;
-import org.eclipse.emf.ecore.EReference;
-import org.eclipse.viatra.solver.language.ProblemUtil;
-import org.eclipse.viatra.solver.language.model.problem.Argument;
-import org.eclipse.viatra.solver.language.model.problem.ClassDeclaration;
-import org.eclipse.viatra.solver.language.model.problem.ExistentialQuantifier;
-import org.eclipse.viatra.solver.language.model.problem.PredicateDefinition;
-import org.eclipse.viatra.solver.language.model.problem.ProblemPackage;
-import org.eclipse.viatra.solver.language.model.problem.ReferenceDeclaration;
-import org.eclipse.viatra.solver.language.model.problem.Relation;
-import org.eclipse.viatra.solver.language.model.problem.Variable;
-import org.eclipse.xtext.EcoreUtil2;
-import org.eclipse.xtext.scoping.IScope;
-import org.eclipse.xtext.scoping.Scopes;
-
-/**
- * This class contains custom scoping description.
- * 
- * See
- * https://www.eclipse.org/Xtext/documentation/303_runtime_concepts.html#scoping
- * on how and when to use it.
- */
-public class ProblemScopeProvider extends AbstractProblemScopeProvider {
-
-        @Override
-        public IScope getScope(EObject context, EReference reference) {
-                IScope scope = super.getScope(context, reference);
-                if (reference == ProblemPackage.Literals.ARGUMENT__VARIABLE_OR_NODE) {
-                        return getVariableScope(context, scope);
-                } else if (reference == ProblemPackage.Literals.REFERENCE_DECLARATION__OPPOSITE) {
-                        return getOppositeScope(context, scope);
-                }
-                return scope;
-        }
-
-        protected IScope getVariableScope(EObject context, IScope delegateScope) {
-                List<Variable> variables = new ArrayList<>();
-                EObject currentContext = context;
-                if (context instanceof Argument) {
-                        Argument argument = (Argument) context;
-                        Variable singletonVariable = argument.getSingletonVariable();
-                        if (singletonVariable != null) {
-                                variables.add(singletonVariable);
-                        }
-                }
-                while (currentContext != null && !(currentContext instanceof PredicateDefinition)) {
-                        if (currentContext instanceof ExistentialQuantifier) {
-                                ExistentialQuantifier quantifier = (ExistentialQuantifier) currentContext;
-                                variables.addAll(quantifier.getImplicitVariables());
-                        }
-                        currentContext = currentContext.eContainer();
-                }
-                if (currentContext instanceof PredicateDefinition) {
-                        PredicateDefinition definition = (PredicateDefinition) currentContext;
-                        variables.addAll(definition.getParameters());
-                }
-                return Scopes.scopeFor(variables, delegateScope);
-        }
-
-        protected IScope getOppositeScope(EObject context, IScope delegateScope) {
-                ReferenceDeclaration referenceDeclaration = EcoreUtil2.getContainerOfType(context, ReferenceDeclaration.class);
-                if (referenceDeclaration == null) {
-                        return delegateScope;
-                }
-                Relation relation = referenceDeclaration.getReferenceType();
-                if (!(relation instanceof ClassDeclaration)) {
-                        return delegateScope;
-                }
-                ClassDeclaration classDeclaration = (ClassDeclaration) relation;
-                Collection<ReferenceDeclaration> referenceDeclarations = ProblemUtil
-                                .getAllReferenceDeclarations(classDeclaration);
-                return Scopes.scopeFor(referenceDeclarations, delegateScope);
-        }
-}