diff options
Diffstat (limited to 'subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/ProblemCrossrefProposalProvider.java')
-rw-r--r-- | subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/ProblemCrossrefProposalProvider.java | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/ProblemCrossrefProposalProvider.java b/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/ProblemCrossrefProposalProvider.java index ce5e7dad..ea90a82e 100644 --- a/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/ProblemCrossrefProposalProvider.java +++ b/subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/ProblemCrossrefProposalProvider.java | |||
@@ -36,7 +36,10 @@ public class ProblemCrossrefProposalProvider extends IdeCrossrefProposalProvider | |||
36 | var eObjectDescriptionsByName = new HashMap<QualifiedName, List<IEObjectDescription>>(); | 36 | var eObjectDescriptionsByName = new HashMap<QualifiedName, List<IEObjectDescription>>(); |
37 | for (var candidate : super.queryScope(scope, crossReference, context)) { | 37 | for (var candidate : super.queryScope(scope, crossReference, context)) { |
38 | if (isExistingObject(candidate, crossReference, context)) { | 38 | if (isExistingObject(candidate, crossReference, context)) { |
39 | var qualifiedName = candidate.getQualifiedName(); | 39 | // {@code getQualifiedName()} will refer to the full name for objects that are loaded from the global |
40 | // scope, but {@code getName()} returns the qualified name that we set in | ||
41 | // {@code ProblemResourceDescriptionStrategy}. | ||
42 | var qualifiedName = candidate.getName(); | ||
40 | var candidateList = eObjectDescriptionsByName.computeIfAbsent(qualifiedName, | 43 | var candidateList = eObjectDescriptionsByName.computeIfAbsent(qualifiedName, |
41 | ignored -> new ArrayList<>()); | 44 | ignored -> new ArrayList<>()); |
42 | candidateList.add(candidate); | 45 | candidateList.add(candidate); |