1 files changed, 80 insertions, 0 deletions

diff --git a/language/src/main/java/org/eclipse/viatra/solver/language/ProblemRuntimeModule.java b/language/src/main/java/org/eclipse/viatra/solver/language/ProblemRuntimeModule.java
new file mode 100644
index 00000000..eb9ddd77
--- /dev/null
+++ b/language/src/main/java/org/eclipse/viatra/solver/language/ProblemRuntimeModule.java
@@ -0,0 +1,80 @@
+/*
+ * generated by Xtext 2.25.0
+ */
+package org.eclipse.viatra.solver.language;
+
+import org.eclipse.viatra.solver.language.conversion.ProblemValueConverterService;
+import org.eclipse.viatra.solver.language.naming.ProblemQualifiedNameConverter;
+import org.eclipse.viatra.solver.language.resource.ProblemDerivedStateComputer;
+import org.eclipse.viatra.solver.language.resource.ProblemLocationInFileProvider;
+import org.eclipse.viatra.solver.language.resource.ProblemResourceDescriptionStrategy;
+import org.eclipse.viatra.solver.language.scoping.ProblemGlobalScopeProvider;
+import org.eclipse.viatra.solver.language.scoping.ProblemLocalScopeProvider;
+import org.eclipse.xtext.conversion.IValueConverterService;
+import org.eclipse.xtext.naming.IQualifiedNameConverter;
+import org.eclipse.xtext.resource.DerivedStateAwareResource;
+import org.eclipse.xtext.resource.DerivedStateAwareResourceDescriptionManager;
+import org.eclipse.xtext.resource.IDefaultResourceDescriptionStrategy;
+import org.eclipse.xtext.resource.IDerivedStateComputer;
+import org.eclipse.xtext.resource.ILocationInFileProvider;
+import org.eclipse.xtext.resource.IResourceDescription;
+import org.eclipse.xtext.resource.XtextResource;
+import org.eclipse.xtext.scoping.IGlobalScopeProvider;
+import org.eclipse.xtext.scoping.IScopeProvider;
+import org.eclipse.xtext.scoping.impl.AbstractDeclarativeScopeProvider;
+import org.eclipse.xtext.validation.IResourceValidator;
+import org.eclipse.xtext.xbase.annotations.validation.DerivedStateAwareResourceValidator;
+
+import com.google.inject.Binder;
+import com.google.inject.name.Names;
+
+/**
+ * Use this class to register components to be used at runtime / without the
+ * Equinox extension registry.
+ */
+public class ProblemRuntimeModule extends AbstractProblemRuntimeModule {
+        public Class<? extends IQualifiedNameConverter> bindIQualifiedNameConverter() {
+                return ProblemQualifiedNameConverter.class;
+        }
+
+        public Class<? extends IDefaultResourceDescriptionStrategy> bindIDefaultResourceDescriptionStrategy() {
+                return ProblemResourceDescriptionStrategy.class;
+        }
+
+        @Override
+        public Class<? extends IValueConverterService> bindIValueConverterService() {
+                return ProblemValueConverterService.class;
+        }
+
+        @Override
+        public Class<? extends IGlobalScopeProvider> bindIGlobalScopeProvider() {
+                return ProblemGlobalScopeProvider.class;
+        }
+
+        @Override
+        public void configureIScopeProviderDelegate(Binder binder) {
+                binder.bind(IScopeProvider.class).annotatedWith(Names.named(AbstractDeclarativeScopeProvider.NAMED_DELEGATE))
+                                .to(ProblemLocalScopeProvider.class);
+        }
+
+        @Override
+        public Class<? extends XtextResource> bindXtextResource() {
+                return DerivedStateAwareResource.class;
+        }
+
+        public Class<? extends IResourceDescription.Manager> bindIResourceDescription$Manager() {
+                return DerivedStateAwareResourceDescriptionManager.class;
+        }
+
+        public Class<? extends IResourceValidator> bindIResourceValidator() {
+                return DerivedStateAwareResourceValidator.class;
+        }
+
+        public Class<? extends IDerivedStateComputer> bindIDerivedStateComputer() {
+                return ProblemDerivedStateComputer.class;
+        }
+
+        public Class<? extends ILocationInFileProvider> bindILocationInFileProvider() {
+                return ProblemLocationInFileProvider.class;
+        }
+}