diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2023-11-05 21:20:58 +0100 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2023-11-17 12:41:34 +0100 |
| commit | 3564713078409adea416b24515a55d7eff666013 (patch) | |
| tree | c72325c9dfb8f4a8ae8e1d4ed4bea83ef1035c95 /subprojects/language-ide/src/main/java | |
| parent | feat(langugage): detect ambiguous references (diff) | |
| download | refinery-3564713078409adea416b24515a55d7eff666013.tar.gz refinery-3564713078409adea416b24515a55d7eff666013.tar.zst refinery-3564713078409adea416b24515a55d7eff666013.zip | |
feat(language): validate unique names
Diffstat (limited to 'subprojects/language-ide/src/main/java')
| -rw-r--r-- | subprojects/language-ide/src/main/java/tools/refinery/language/ide/contentassist/ProblemCrossrefProposalProvider.java | 2 |
1 files changed, 1 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 ea90a82e..9bbce54b 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 | |||
| @@ -18,7 +18,7 @@ import org.eclipse.xtext.resource.IEObjectDescription; | |||
| 18 | import org.eclipse.xtext.scoping.IScope; | 18 | import org.eclipse.xtext.scoping.IScope; |
| 19 | import tools.refinery.language.model.problem.Problem; | 19 | import tools.refinery.language.model.problem.Problem; |
| 20 | import tools.refinery.language.resource.ProblemResourceDescriptionStrategy; | 20 | import tools.refinery.language.resource.ProblemResourceDescriptionStrategy; |
| 21 | import tools.refinery.language.resource.ReferenceCounter; | 21 | import tools.refinery.language.validation.ReferenceCounter; |
| 22 | import tools.refinery.language.utils.ProblemUtil; | 22 | import tools.refinery.language.utils.ProblemUtil; |
| 23 | 23 | ||
| 24 | import java.util.ArrayList; | 24 | import java.util.ArrayList; |