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 | |
| 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')
| -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 | } |