aboutsummaryrefslogtreecommitdiffstats
path: root/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/java/org/eclipse/viatra/solver/language/resource/ProblemResourceDescriptionStrategy.java
blob: 95a9fe6bd70975be534e9383b1ea5ec975547d2c (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
package org.eclipse.viatra.solver.language.resource;

import org.eclipse.emf.ecore.EObject;
import org.eclipse.viatra.solver.language.model.problem.NamedElement;
import org.eclipse.viatra.solver.language.model.problem.Problem;
import org.eclipse.viatra.solver.language.model.problem.Variable;
import org.eclipse.xtext.EcoreUtil2;
import org.eclipse.xtext.naming.IQualifiedNameConverter;
import org.eclipse.xtext.naming.QualifiedName;
import org.eclipse.xtext.resource.EObjectDescription;
import org.eclipse.xtext.resource.IEObjectDescription;
import org.eclipse.xtext.resource.impl.DefaultResourceDescriptionStrategy;
import org.eclipse.xtext.util.IAcceptor;

import com.google.inject.Inject;
import com.google.inject.Singleton;

@Singleton
public class ProblemResourceDescriptionStrategy extends DefaultResourceDescriptionStrategy {
	@Inject
	private IQualifiedNameConverter qualifiedNameConverter;

	@Override
	public boolean createEObjectDescriptions(EObject eObject, IAcceptor<IEObjectDescription> acceptor) {
		if (eObject instanceof Variable) {
			return false;
		}
		if (eObject instanceof NamedElement) {
			NamedElement namedElement = (NamedElement) eObject;
			String name = namedElement.getName();
			if (name == null || name.isEmpty()) {
				return true;
			}
			Problem problem = EcoreUtil2.getContainerOfType(namedElement, Problem.class);
			QualifiedName problemQualifiedName = null;
			if (problem != null) {
				String problemName = problem.getName();
				if (problemName != null && !problemName.isEmpty()) {
					problemQualifiedName = qualifiedNameConverter.toQualifiedName(problemName);
				}
			}
			QualifiedName qualifiedName = qualifiedNameConverter.toQualifiedName(namedElement.getName());
			boolean nameExported;
			if (shouldExportSimpleName(namedElement)) {
				acceptEObjectDescription(namedElement, problemQualifiedName, qualifiedName, acceptor);
				nameExported = true;
			} else {
				nameExported = false;
			}
			EObject parent = namedElement.eContainer();
			while (parent != null && parent != problem) {
				if (parent instanceof NamedElement) {
					NamedElement namedParent = (NamedElement) parent;
					String parentName = namedParent.getName();
					if (parentName != null || !name.isEmpty()) {
						QualifiedName parentQualifiedName = qualifiedNameConverter.toQualifiedName(parentName);
						qualifiedName = parentQualifiedName.append(qualifiedName);
						if (shouldExportSimpleName(parent)) {
							acceptEObjectDescription(namedElement, problemQualifiedName, qualifiedName, acceptor);
							nameExported = true;
						} else {
							nameExported = false;
						}
					}
				}
				parent = parent.eContainer();
			}
			if (!nameExported) {
				acceptEObjectDescription(namedElement, problemQualifiedName, qualifiedName, acceptor);
			}
		}
		return true;
	}

	protected boolean shouldExportSimpleName(EObject eObject) {
		return true;
	}

	private void acceptEObjectDescription(EObject eObject, QualifiedName prefix, QualifiedName qualifiedName,
			IAcceptor<IEObjectDescription> acceptor) {
		QualifiedName qualifiedNameWithPrefix = prefix == null ? qualifiedName : prefix.append(qualifiedName);
		acceptor.accept(EObjectDescription.create(qualifiedNameWithPrefix, eObject));
	}
}