diff options
author | Kristóf Marussy <marussy@mit.bme.hu> | 2023-11-19 14:58:55 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-11-19 14:58:55 +0100 |
commit | df0f7cbf05558ce8691759256caa64ab01dd5d9c (patch) | |
tree | 0a842960e27ad25d458c18f7bd9f8b4bf5b89b6c /subprojects/language-semantics/src/test | |
parent | build: prepare for Maven publication (diff) | |
parent | feat(langauge): validate exists and equals (diff) | |
download | refinery-df0f7cbf05558ce8691759256caa64ab01dd5d9c.tar.gz refinery-df0f7cbf05558ce8691759256caa64ab01dd5d9c.tar.zst refinery-df0f7cbf05558ce8691759256caa64ab01dd5d9c.zip |
Merge pull request #48 from kris7t/validator
Improve content assist and validator
Diffstat (limited to 'subprojects/language-semantics/src/test')
-rw-r--r-- | subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/ModelGenerationTest.java | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/ModelGenerationTest.java b/subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/ModelGenerationTest.java index 899e3cb3..b4abce81 100644 --- a/subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/ModelGenerationTest.java +++ b/subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/ModelGenerationTest.java | |||
@@ -77,7 +77,7 @@ class ModelGenerationTest { | |||
77 | % Scope | 77 | % Scope |
78 | scope Post = 5, Person = 5. | 78 | scope Post = 5, Person = 5. |
79 | """); | 79 | """); |
80 | assertThat(parsedProblem.errors(), empty()); | 80 | assertThat(parsedProblem.getResourceErrors(), empty()); |
81 | var problem = parsedProblem.problem(); | 81 | var problem = parsedProblem.problem(); |
82 | 82 | ||
83 | var storeBuilder = ModelStore.builder() | 83 | var storeBuilder = ModelStore.builder() |
@@ -211,7 +211,7 @@ class ModelGenerationTest { | |||
211 | 211 | ||
212 | scope node = 200..210, Region = 10..*, Choice = 1..*, Statechart = 1. | 212 | scope node = 200..210, Region = 10..*, Choice = 1..*, Statechart = 1. |
213 | """); | 213 | """); |
214 | assertThat(parsedProblem.errors(), empty()); | 214 | assertThat(parsedProblem.getResourceErrors(), empty()); |
215 | var problem = parsedProblem.problem(); | 215 | var problem = parsedProblem.problem(); |
216 | 216 | ||
217 | var storeBuilder = ModelStore.builder() | 217 | var storeBuilder = ModelStore.builder() |
@@ -278,7 +278,7 @@ class ModelGenerationTest { | |||
278 | 278 | ||
279 | scope Filesystem += 0, Entry = 100. | 279 | scope Filesystem += 0, Entry = 100. |
280 | """); | 280 | """); |
281 | assertThat(parsedProblem.errors(), empty()); | 281 | assertThat(parsedProblem.getResourceErrors(), empty()); |
282 | var problem = parsedProblem.problem(); | 282 | var problem = parsedProblem.problem(); |
283 | 283 | ||
284 | var storeBuilder = ModelStore.builder() | 284 | var storeBuilder = ModelStore.builder() |