blob: e5deca4ddb41ef36e46ce25b7df0e490d493beae (
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
|
/*
* SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
*
* SPDX-License-Identifier: EPL-2.0
*/
package tools.refinery.language.resource;
import com.google.common.collect.ImmutableSet;
import com.google.inject.Inject;
import com.google.inject.name.Named;
import org.eclipse.emf.ecore.EObject;
import org.eclipse.xtext.linking.impl.LinkingHelper;
import org.eclipse.xtext.naming.IQualifiedNameConverter;
import org.eclipse.xtext.nodemodel.INode;
import org.eclipse.xtext.nodemodel.util.NodeModelUtils;
import org.eclipse.xtext.scoping.IScope;
import org.eclipse.xtext.scoping.IScopeProvider;
import org.eclipse.xtext.scoping.impl.AbstractDeclarativeScopeProvider;
import tools.refinery.language.model.problem.*;
import tools.refinery.language.naming.NamingUtil;
import java.util.List;
import java.util.Set;
public class NodeNameCollector {
@Inject
private LinkingHelper linkingHelper;
@Inject
private IQualifiedNameConverter qualifiedNameConverter;
@Inject
@Named(AbstractDeclarativeScopeProvider.NAMED_DELEGATE)
private IScopeProvider scopeProvider;
private final ImmutableSet.Builder<String> nodeNames = ImmutableSet.builder();
private IScope nodeScope;
public Set<String> getNodeNames() {
return nodeNames.build();
}
public void collectNodeNames(Problem problem) {
nodeScope = scopeProvider.getScope(problem, ProblemPackage.Literals.NODE_ASSERTION_ARGUMENT__NODE);
for (Statement statement : problem.getStatements()) {
collectStatementNodeNames(statement);
}
}
protected void collectStatementNodeNames(Statement statement) {
if (statement instanceof Assertion assertion) {
collectAssertionNodeNames(assertion);
}
}
protected void collectAssertionNodeNames(Assertion assertion) {
for (AssertionArgument argument : assertion.getArguments()) {
if (argument instanceof NodeAssertionArgument) {
collectNodeNames(argument);
}
}
}
private void collectNodeNames(EObject eObject) {
List<INode> nodes = NodeModelUtils.findNodesForFeature(eObject,
ProblemPackage.Literals.NODE_ASSERTION_ARGUMENT__NODE);
for (INode node : nodes) {
var nodeName = linkingHelper.getCrossRefNodeAsString(node, true);
if (!NamingUtil.isValidId(nodeName)) {
continue;
}
var qualifiedName = qualifiedNameConverter.toQualifiedName(nodeName);
if (nodeScope.getSingleElement(qualifiedName) == null) {
nodeNames.add(nodeName);
}
}
}
}
|