diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2022-08-12 19:54:09 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2022-08-12 19:54:09 +0200 |
| commit | 36f64657b88e91a90ba659ff21d7a1f897ecc96d (patch) | |
| tree | c98ba69826c7f5748761399e52b2b93da3bcfd96 /subprojects/language | |
| parent | feat(language): modal parameter types (diff) | |
| download | refinery-36f64657b88e91a90ba659ff21d7a1f897ecc96d.tar.gz refinery-36f64657b88e91a90ba659ff21d7a1f897ecc96d.tar.zst refinery-36f64657b88e91a90ba659ff21d7a1f897ecc96d.zip | |
fix(language): rule parsing test
This was left unchanged after refactoring the operators in the language.
Diffstat (limited to 'subprojects/language')
| -rw-r--r-- | subprojects/language/src/test/java/tools/refinery/language/tests/rules/RuleParsingTest.java | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/subprojects/language/src/test/java/tools/refinery/language/tests/rules/RuleParsingTest.java b/subprojects/language/src/test/java/tools/refinery/language/tests/rules/RuleParsingTest.java index 3700dcc1..f23bfeef 100644 --- a/subprojects/language/src/test/java/tools/refinery/language/tests/rules/RuleParsingTest.java +++ b/subprojects/language/src/test/java/tools/refinery/language/tests/rules/RuleParsingTest.java | |||
| @@ -26,10 +26,10 @@ class RuleParsingTest { | |||
| 26 | @ParameterizedTest | 26 | @ParameterizedTest |
| 27 | @ValueSource(strings = { """ | 27 | @ValueSource(strings = { """ |
| 28 | pred Person(p). | 28 | pred Person(p). |
| 29 | rule r(p1): must Person(p1) ==> Person(p1) = false. | 29 | rule r(p1): must Person(p1) ==> Person(p1) := false. |
| 30 | """, """ | 30 | """, """ |
| 31 | pred Person(p). | 31 | pred Person(p). |
| 32 | rule r(p1): must Person(p1) ==> Person(p1): false. | 32 | rule r(p1): must Person(p1) ==> Person(p1) <: false. |
| 33 | """, """ | 33 | """, """ |
| 34 | pred Person(p). | 34 | pred Person(p). |
| 35 | rule r(p1): must Person(p1) ==> !Person(p1). | 35 | rule r(p1): must Person(p1) ==> !Person(p1). |
| @@ -46,7 +46,7 @@ class RuleParsingTest { | |||
| 46 | void newNodeTest() { | 46 | void newNodeTest() { |
| 47 | var problem = parseHelper.parse(""" | 47 | var problem = parseHelper.parse(""" |
| 48 | pred Person(p). | 48 | pred Person(p). |
| 49 | rule r(p1): must Person(p1) ==> new p2, Person(p2) = unknown. | 49 | rule r(p1): must Person(p1) ==> new p2, Person(p2) := unknown. |
| 50 | """); | 50 | """); |
| 51 | assertThat(problem.errors(), empty()); | 51 | assertThat(problem.errors(), empty()); |
| 52 | assertThat(problem.rule("r").param(0), equalTo(problem.rule("r").conj(0).lit(0).arg(0).variable())); | 52 | assertThat(problem.rule("r").param(0), equalTo(problem.rule("r").conj(0).lit(0).arg(0).variable())); |
| @@ -58,7 +58,7 @@ class RuleParsingTest { | |||
| 58 | void differentScopeTest() { | 58 | void differentScopeTest() { |
| 59 | var problem = parseHelper.parse(""" | 59 | var problem = parseHelper.parse(""" |
| 60 | pred Friend(a, b). | 60 | pred Friend(a, b). |
| 61 | rule r(p1): !may Friend(p1, p2) ==> new p2, Friend(p1, p2) = true. | 61 | rule r(p1): !may Friend(p1, p2) ==> new p2, Friend(p1, p2) := true. |
| 62 | """); | 62 | """); |
| 63 | assertThat(problem.errors(), empty()); | 63 | assertThat(problem.errors(), empty()); |
| 64 | assertThat(problem.rule("r").conj(0).lit(0).negated().arg(1).variable(), | 64 | assertThat(problem.rule("r").conj(0).lit(0).negated().arg(1).variable(), |
| @@ -69,7 +69,7 @@ class RuleParsingTest { | |||
| 69 | void parameterShadowingTest() { | 69 | void parameterShadowingTest() { |
| 70 | var problem = parseHelper.parse(""" | 70 | var problem = parseHelper.parse(""" |
| 71 | pred Friend(a, b). | 71 | pred Friend(a, b). |
| 72 | rule r(p1, p2): !may Friend(p1, p2) ==> new p2, Friend(p1, p2) = true. | 72 | rule r(p1, p2): !may Friend(p1, p2) ==> new p2, Friend(p1, p2) := true. |
| 73 | """); | 73 | """); |
| 74 | assertThat(problem.errors(), empty()); | 74 | assertThat(problem.errors(), empty()); |
| 75 | assertThat(problem.rule("r").param(1), | 75 | assertThat(problem.rule("r").param(1), |