diff options
author | Kristóf Marussy <kristof@marussy.com> | 2021-11-04 20:38:44 +0100 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2021-11-05 18:32:15 +0100 |
commit | 036b4e773c1f7b2ef16d28fc668c2bfe609ae1c4 (patch) | |
tree | f19b00e60411e09fa61e573d3d77e63c4f5a7a7a /language-ide/src/main/java/tools | |
parent | fix(web): fix fold gutter styling (diff) | |
download | refinery-036b4e773c1f7b2ef16d28fc668c2bfe609ae1c4.tar.gz refinery-036b4e773c1f7b2ef16d28fc668c2bfe609ae1c4.tar.zst refinery-036b4e773c1f7b2ef16d28fc668c2bfe609ae1c4.zip |
feat(lang): add example validation checks
Diffstat (limited to 'language-ide/src/main/java/tools')
-rw-r--r-- | language-ide/src/main/java/tools/refinery/language/ide/contentassist/ProblemCrossrefProposalProvider.java | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/language-ide/src/main/java/tools/refinery/language/ide/contentassist/ProblemCrossrefProposalProvider.java b/language-ide/src/main/java/tools/refinery/language/ide/contentassist/ProblemCrossrefProposalProvider.java index 416535ce..f828e836 100644 --- a/language-ide/src/main/java/tools/refinery/language/ide/contentassist/ProblemCrossrefProposalProvider.java +++ b/language-ide/src/main/java/tools/refinery/language/ide/contentassist/ProblemCrossrefProposalProvider.java | |||
@@ -50,9 +50,7 @@ public class ProblemCrossrefProposalProvider extends IdeCrossrefProposalProvider | |||
50 | return true; | 50 | return true; |
51 | } | 51 | } |
52 | if (rootModel instanceof Problem problem) { | 52 | if (rootModel instanceof Problem problem) { |
53 | var referenceCounts = referenceCounter.getReferenceCounts(problem); | 53 | return referenceCounter.countReferences(problem, eObject) >= 2; |
54 | var count = referenceCounts.get(eObject); | ||
55 | return count != null && count >= 2; | ||
56 | } | 54 | } |
57 | return true; | 55 | return true; |
58 | } | 56 | } |