aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/language-semantics/src
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <kristof@marussy.com>2023-11-15 02:19:06 +0100
committerLibravatar Kristóf Marussy <kristof@marussy.com>2023-11-17 12:41:35 +0100
commitac478b828e5c6dbea72df1303cbe1e0da0fde42e (patch)
treea91419a2f2a591ab3cc1b06d750db95c817b550d /subprojects/language-semantics/src
parentfix: scope upper bounds (diff)
downloadrefinery-ac478b828e5c6dbea72df1303cbe1e0da0fde42e.tar.gz
refinery-ac478b828e5c6dbea72df1303cbe1e0da0fde42e.tar.zst
refinery-ac478b828e5c6dbea72df1303cbe1e0da0fde42e.zip
feat(language): opposite reference validation
Diffstat (limited to 'subprojects/language-semantics/src')
-rw-r--r--subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/ModelGenerationTest.java6
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()