blob: 813657248c74cf0233c310e31b9d6ce85e85d785 (
plain) (
blame)
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);
}
}
|