org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/java/org/eclipse/viatra/solver/language/naming/ProblemQualifiedNameProvider.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
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);
	}
}