1 files changed, 15 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/naming/ProblemQualifiedNameProvider.java b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/java/org/eclipse/viatra/solver/language/naming/ProblemQualifiedNameProvider.java
new file mode 100644
index 00000000..81365724
--- /dev/null
+++ b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/java/org/eclipse/viatra/solver/language/naming/ProblemQualifiedNameProvider.java
@@ -0,0 +1,15 @@
+package org.eclipse.viatra.solver.language.naming;
+
+import org.eclipse.viatra.solver.language.model.problem.Node;
+import org.eclipse.xtext.naming.DefaultDeclarativeQualifiedNameProvider;
+import org.eclipse.xtext.naming.QualifiedName;
+
+public class ProblemQualifiedNameProvider extends DefaultDeclarativeQualifiedNameProvider {
+        public QualifiedName qualifiedName(Node node) {
+                String name = node.getName();
+                if (name == null || name.isEmpty()) {
+                        return null;
+                }
+                return getConverter().toQualifiedName(name);
+        }
+}