chore: change package name

3 files changed, 21 insertions, 17 deletions

diff --git a/language-ide/src/main/java/org/eclipse/viatra/solver/language/ide/ProblemIdeModule.java b/language-ide/src/main/java/tools/refinery/language/ide/ProblemIdeModule.java
index c6e41049..5327f7b4 100644
--- a/language-ide/src/main/java/org/eclipse/viatra/solver/language/ide/ProblemIdeModule.java
+++ b/language-ide/src/main/java/tools/refinery/language/ide/ProblemIdeModule.java
@@ -1,11 +1,12 @@
 /*
  * generated by Xtext 2.25.0
  */
-package org.eclipse.viatra.solver.language.ide;
+package tools.refinery.language.ide;
 
-import org.eclipse.viatra.solver.language.ide.syntaxcoloring.ProblemSemanticHighlightingCalculator;
 import org.eclipse.xtext.ide.editor.syntaxcoloring.ISemanticHighlightingCalculator;
 
+import tools.refinery.language.ide.syntaxcoloring.ProblemSemanticHighlightingCalculator;
+
 /**
  * Use this class to register ide components.
  */
diff --git a/language-ide/src/main/java/org/eclipse/viatra/solver/language/ide/ProblemIdeSetup.java b/language-ide/src/main/java/tools/refinery/language/ide/ProblemIdeSetup.java
index ca1fec30..5b88d41f 100644
--- a/language-ide/src/main/java/org/eclipse/viatra/solver/language/ide/ProblemIdeSetup.java
+++ b/language-ide/src/main/java/tools/refinery/language/ide/ProblemIdeSetup.java
@@ -1,13 +1,15 @@
 /*
  * generated by Xtext 2.25.0
  */
-package org.eclipse.viatra.solver.language.ide;
+package tools.refinery.language.ide;
+
+import org.eclipse.xtext.util.Modules2;
 
 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;
+
+import tools.refinery.language.ProblemRuntimeModule;
+import tools.refinery.language.ProblemStandaloneSetup;
 
 /**
  * Initialization support for running Xtext languages as language servers.
diff --git a/language-ide/src/main/java/org/eclipse/viatra/solver/language/ide/syntaxcoloring/ProblemSemanticHighlightingCalculator.java b/language-ide/src/main/java/tools/refinery/language/ide/syntaxcoloring/ProblemSemanticHighlightingCalculator.java
index 1de73912..b2e3c90b 100644
--- a/language-ide/src/main/java/org/eclipse/viatra/solver/language/ide/syntaxcoloring/ProblemSemanticHighlightingCalculator.java
+++ b/language-ide/src/main/java/tools/refinery/language/ide/syntaxcoloring/ProblemSemanticHighlightingCalculator.java
@@ -1,20 +1,10 @@
-package org.eclipse.viatra.solver.language.ide.syntaxcoloring;
+package tools.refinery.language.ide.syntaxcoloring;
 
 import java.util.List;
 
 import org.eclipse.emf.common.util.EList;
 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.ClassDeclaration;
-import org.eclipse.viatra.solver.language.model.problem.EnumDeclaration;
-import org.eclipse.viatra.solver.language.model.problem.NamedElement;
-import org.eclipse.viatra.solver.language.model.problem.Node;
-import org.eclipse.viatra.solver.language.model.problem.Parameter;
-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.Variable;
 import org.eclipse.xtext.ide.editor.syntaxcoloring.DefaultSemanticHighlightingCalculator;
 import org.eclipse.xtext.ide.editor.syntaxcoloring.IHighlightedPositionAcceptor;
 import org.eclipse.xtext.nodemodel.INode;
@@ -25,6 +15,17 @@ import org.eclipse.xtext.util.CancelIndicator;
 import com.google.common.collect.ImmutableList;
 import com.google.inject.Inject;
 
+import tools.refinery.language.ProblemUtil;
+import tools.refinery.language.model.problem.ClassDeclaration;
+import tools.refinery.language.model.problem.EnumDeclaration;
+import tools.refinery.language.model.problem.NamedElement;
+import tools.refinery.language.model.problem.Node;
+import tools.refinery.language.model.problem.Parameter;
+import tools.refinery.language.model.problem.PredicateDefinition;
+import tools.refinery.language.model.problem.ProblemPackage;
+import tools.refinery.language.model.problem.ReferenceDeclaration;
+import tools.refinery.language.model.problem.Variable;
+
 public class ProblemSemanticHighlightingCalculator extends DefaultSemanticHighlightingCalculator {
         private static final String BUILTIN_CLASS = "cm-keyword";
         private static final String CLASS_CLASS = "problem-class";