diff options
Diffstat (limited to 'subprojects/language-ide/src')
2 files changed, 120 insertions, 13 deletions
diff --git a/subprojects/language-ide/src/main/java/tools/refinery/language/ide/syntaxcoloring/ProblemSemanticHighlightingCalculator.java b/subprojects/language-ide/src/main/java/tools/refinery/language/ide/syntaxcoloring/ProblemSemanticHighlightingCalculator.java index ae8c70e0..f64d4066 100644 --- a/subprojects/language-ide/src/main/java/tools/refinery/language/ide/syntaxcoloring/ProblemSemanticHighlightingCalculator.java +++ b/subprojects/language-ide/src/main/java/tools/refinery/language/ide/syntaxcoloring/ProblemSemanticHighlightingCalculator.java | |||
@@ -1,5 +1,5 @@ | |||
1 | /* | 1 | /* |
2 | * SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/> | 2 | * SPDX-FileCopyrightText: 2021-2024 The Refinery Authors <https://refinery.tools/> |
3 | * | 3 | * |
4 | * SPDX-License-Identifier: EPL-2.0 | 4 | * SPDX-License-Identifier: EPL-2.0 |
5 | */ | 5 | */ |
@@ -38,9 +38,12 @@ public class ProblemSemanticHighlightingCalculator extends DefaultSemanticHighli | |||
38 | @Inject | 38 | @Inject |
39 | private ProblemDesugarer desugarer; | 39 | private ProblemDesugarer desugarer; |
40 | 40 | ||
41 | @Inject | ||
42 | private TypeHashProvider typeHashProvider; | ||
43 | |||
41 | @Override | 44 | @Override |
42 | protected boolean highlightElement(EObject object, IHighlightedPositionAcceptor acceptor, | 45 | protected boolean highlightElement(EObject object, IHighlightedPositionAcceptor acceptor, |
43 | CancelIndicator cancelIndicator) { | 46 | CancelIndicator cancelIndicator) { |
44 | highlightName(object, acceptor); | 47 | highlightName(object, acceptor); |
45 | highlightCrossReferences(object, acceptor, cancelIndicator); | 48 | highlightCrossReferences(object, acceptor, cancelIndicator); |
46 | return false; | 49 | return false; |
@@ -57,7 +60,7 @@ public class ProblemSemanticHighlightingCalculator extends DefaultSemanticHighli | |||
57 | } | 60 | } |
58 | 61 | ||
59 | protected void highlightCrossReferences(EObject object, IHighlightedPositionAcceptor acceptor, | 62 | protected void highlightCrossReferences(EObject object, IHighlightedPositionAcceptor acceptor, |
60 | CancelIndicator cancelIndicator) { | 63 | CancelIndicator cancelIndicator) { |
61 | for (EReference reference : object.eClass().getEAllReferences()) { | 64 | for (EReference reference : object.eClass().getEAllReferences()) { |
62 | if (reference.isContainment()) { | 65 | if (reference.isContainment()) { |
63 | continue; | 66 | continue; |
@@ -98,7 +101,7 @@ public class ProblemSemanticHighlightingCalculator extends DefaultSemanticHighli | |||
98 | boolean isError = ProblemUtil.isError(eObject); | 101 | boolean isError = ProblemUtil.isError(eObject); |
99 | if (ProblemUtil.isBuiltIn(eObject)) { | 102 | if (ProblemUtil.isBuiltIn(eObject)) { |
100 | var className = isError ? ERROR_CLASS : BUILTIN_CLASS; | 103 | var className = isError ? ERROR_CLASS : BUILTIN_CLASS; |
101 | return new String[] { className }; | 104 | return new String[]{className}; |
102 | } | 105 | } |
103 | return getUserDefinedElementHighlightClass(eObject, reference, isError); | 106 | return getUserDefinedElementHighlightClass(eObject, reference, isError); |
104 | } | 107 | } |
@@ -113,21 +116,32 @@ public class ProblemSemanticHighlightingCalculator extends DefaultSemanticHighli | |||
113 | && desugarer.isContainmentReference(referenceDeclaration)) { | 116 | && desugarer.isContainmentReference(referenceDeclaration)) { |
114 | classesBuilder.add(CONTAINMENT_CLASS); | 117 | classesBuilder.add(CONTAINMENT_CLASS); |
115 | } | 118 | } |
116 | if (isError) { | 119 | if (isError && reference != null) { |
120 | // References to error patterns should be highlighted as errors, but error pattern definitions shouldn't. | ||
117 | classesBuilder.add(ERROR_CLASS); | 121 | classesBuilder.add(ERROR_CLASS); |
118 | } | 122 | } |
119 | if (eObject instanceof Node node) { | 123 | if (eObject instanceof Node node) { |
120 | if (reference == ProblemPackage.Literals.VARIABLE_OR_NODE_EXPR__VARIABLE_OR_NODE) { | 124 | highlightNode(node, reference, classesBuilder); |
121 | classesBuilder.add(NODE_CLASS); | 125 | } |
122 | } | 126 | if (eObject instanceof Relation relation) { |
123 | if (ProblemUtil.isIndividualNode(node)) { | 127 | var typeHash = typeHashProvider.getTypeHash(relation); |
124 | classesBuilder.add(INDIVIDUAL_NODE_CLASS); | 128 | if (typeHash != null) { |
125 | } | 129 | classesBuilder.add("typeHash-" + typeHash); |
126 | if (ProblemUtil.isNewNode(node)) { | ||
127 | classesBuilder.add(NEW_NODE_CLASS); | ||
128 | } | 130 | } |
129 | } | 131 | } |
130 | List<String> classes = classesBuilder.build(); | 132 | List<String> classes = classesBuilder.build(); |
131 | return classes.toArray(new String[0]); | 133 | return classes.toArray(new String[0]); |
132 | } | 134 | } |
135 | |||
136 | private static void highlightNode(Node node, EReference reference, ImmutableList.Builder<String> classesBuilder) { | ||
137 | if (reference == ProblemPackage.Literals.VARIABLE_OR_NODE_EXPR__VARIABLE_OR_NODE) { | ||
138 | classesBuilder.add(NODE_CLASS); | ||
139 | } | ||
140 | if (ProblemUtil.isIndividualNode(node)) { | ||
141 | classesBuilder.add(INDIVIDUAL_NODE_CLASS); | ||
142 | } | ||
143 | if (ProblemUtil.isNewNode(node)) { | ||
144 | classesBuilder.add(NEW_NODE_CLASS); | ||
145 | } | ||
146 | } | ||
133 | } | 147 | } |
diff --git a/subprojects/language-ide/src/main/java/tools/refinery/language/ide/syntaxcoloring/TypeHashProvider.java b/subprojects/language-ide/src/main/java/tools/refinery/language/ide/syntaxcoloring/TypeHashProvider.java new file mode 100644 index 00000000..f75ecdb2 --- /dev/null +++ b/subprojects/language-ide/src/main/java/tools/refinery/language/ide/syntaxcoloring/TypeHashProvider.java | |||
@@ -0,0 +1,93 @@ | |||
1 | /* | ||
2 | * SPDX-FileCopyrightText: 2024 The Refinery Authors <https://refinery.tools/> | ||
3 | * | ||
4 | * SPDX-License-Identifier: EPL-2.0 | ||
5 | */ | ||
6 | package tools.refinery.language.ide.syntaxcoloring; | ||
7 | |||
8 | import com.google.common.collect.ImmutableMap; | ||
9 | import com.google.inject.Inject; | ||
10 | import com.google.inject.Singleton; | ||
11 | import org.eclipse.xtext.EcoreUtil2; | ||
12 | import org.eclipse.xtext.naming.IQualifiedNameConverter; | ||
13 | import org.eclipse.xtext.naming.IQualifiedNameProvider; | ||
14 | import org.eclipse.xtext.scoping.IScopeProvider; | ||
15 | import org.eclipse.xtext.util.IResourceScopeCache; | ||
16 | import tools.refinery.language.model.problem.*; | ||
17 | import tools.refinery.language.resource.ProblemResourceDescriptionStrategy; | ||
18 | import tools.refinery.language.utils.ProblemUtil; | ||
19 | |||
20 | import java.util.*; | ||
21 | |||
22 | @Singleton | ||
23 | public class TypeHashProvider { | ||
24 | private static final String CACHE_KEY = "tools.refinery.language.ide.syntaxcoloring.TypeHashProvider"; | ||
25 | private static final int COLOR_COUNT = 10; | ||
26 | |||
27 | @Inject | ||
28 | private IResourceScopeCache resourceScopeCache; | ||
29 | |||
30 | @Inject | ||
31 | private IScopeProvider scopeProvider; | ||
32 | |||
33 | @Inject | ||
34 | private IQualifiedNameProvider qualifiedNameProvider; | ||
35 | |||
36 | @Inject | ||
37 | private IQualifiedNameConverter qualifiedNameConverter; | ||
38 | |||
39 | public String getTypeHash(Relation relation) { | ||
40 | if (!(relation instanceof ClassDeclaration || relation instanceof EnumDeclaration) || | ||
41 | ProblemUtil.isBuiltIn(relation)) { | ||
42 | return null; | ||
43 | } | ||
44 | var qualifiedName = qualifiedNameProvider.getFullyQualifiedName(relation); | ||
45 | if (qualifiedName == null) { | ||
46 | return null; | ||
47 | } | ||
48 | var qualifiedNameString = qualifiedNameConverter.toString(qualifiedName); | ||
49 | var problem = EcoreUtil2.getContainerOfType(relation, Problem.class); | ||
50 | if (problem == null) { | ||
51 | return null; | ||
52 | } | ||
53 | var cache = resourceScopeCache.get(CACHE_KEY, problem.eResource(), () -> computeHashes(problem)); | ||
54 | return cache.get(qualifiedNameString); | ||
55 | } | ||
56 | |||
57 | private Map<String, String> computeHashes(Problem problem) { | ||
58 | var qualifiedNameStrings = new TreeSet<String>(); | ||
59 | var scope = scopeProvider.getScope(problem, ProblemPackage.Literals.ASSERTION__RELATION); | ||
60 | for (var description : scope.getAllElements()) { | ||
61 | if (ProblemResourceDescriptionStrategy.COLOR_RELATION_TRUE.equals( | ||
62 | description.getUserData(ProblemResourceDescriptionStrategy.COLOR_RELATION))) { | ||
63 | var qualifiedNameString = qualifiedNameConverter.toString(description.getQualifiedName()); | ||
64 | qualifiedNameStrings.add(qualifiedNameString); | ||
65 | } | ||
66 | } | ||
67 | var stringList = new ArrayList<>(qualifiedNameStrings); | ||
68 | int size = stringList.size(); | ||
69 | if (size == 0) { | ||
70 | return Map.of(); | ||
71 | } | ||
72 | // The use of a non-cryptographic random generator is safe here, because we only use it to shuffle the color | ||
73 | // IDs in a pseudo-random way. The shuffle depends on the size of the list of identifiers before padding to | ||
74 | // make sure that adding a new class randomizes all color IDs. | ||
75 | @SuppressWarnings("squid:S2245") | ||
76 | var random = new Random(size); | ||
77 | int padding = COLOR_COUNT - (size % COLOR_COUNT); | ||
78 | for (int i = 0; i < padding; i++) { | ||
79 | stringList.add(null); | ||
80 | } | ||
81 | size += padding; | ||
82 | Collections.shuffle(stringList, random); | ||
83 | var mapBuilder = ImmutableMap.<String, String>builder(); | ||
84 | for (int i = 0; i < size; i++) { | ||
85 | var key = stringList.get(i); | ||
86 | if (key != null) { | ||
87 | int colorId = i % COLOR_COUNT; | ||
88 | mapBuilder.put(key, Integer.toString(colorId)); | ||
89 | } | ||
90 | } | ||
91 | return mapBuilder.build(); | ||
92 | } | ||
93 | } | ||