1 files changed, 22 insertions, 0 deletions

diff --git a/language-ide/src/main/java/org/eclipse/viatra/solver/language/ide/ProblemIdeSetup.java b/language-ide/src/main/java/org/eclipse/viatra/solver/language/ide/ProblemIdeSetup.java
new file mode 100644
index 00000000..ca1fec30
--- /dev/null
+++ b/language-ide/src/main/java/org/eclipse/viatra/solver/language/ide/ProblemIdeSetup.java
@@ -0,0 +1,22 @@
+/*
+ * generated by Xtext 2.25.0
+ */
+package org.eclipse.viatra.solver.language.ide;
+
+import com.google.inject.Guice;
+import com.google.inject.Injector;
+import org.eclipse.viatra.solver.language.ProblemRuntimeModule;
+import org.eclipse.viatra.solver.language.ProblemStandaloneSetup;
+import org.eclipse.xtext.util.Modules2;
+
+/**
+ * Initialization support for running Xtext languages as language servers.
+ */
+public class ProblemIdeSetup extends ProblemStandaloneSetup {
+
+        @Override
+        public Injector createInjector() {
+                return Guice.createInjector(Modules2.mixin(new ProblemRuntimeModule(), new ProblemIdeModule()));
+        }
+        
+}