natas_hw
/
mps-coderules
mirror of https://github.com/JetBrains/mps-coderules
0
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Add a test for a peculiar use case. Only triggered in production.

This commit is contained in:
Fedor Isakov 2019-09-27 21:50:03 +02:00
parent f21c01246f
commit 60c39f2811
1 changed files with 28 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

35
reactor/Test/test/TestController.kt
View File

@ -554,6 +554,26 @@ class TestController {
}
}
@Test
fun reactivateOnAssignment() {
val (X, Y) = metaLogical<Int>("X", "Y")
programWithRules(
rule("main",
headReplaced(constraint("main")),
body(
constraint("foo", X, Y),
statement({ x -> x.set(42) }, X))
),
rule("foo.bar",
headReplaced(constraint("foo", X, Y)),
guard(expression({ x -> x.getNullable() != null }, X)),
body(constraint("bar"))
)
).controller().evaluate(occurrence("main")).run {
constraintSymbols() shouldBe setOf(sym0("bar"))
}
}
@Test
fun propagationHistory() {
val (X, Y, Z) = metaLogical<Int>("X", "Y", "Z")
@ -586,19 +606,20 @@ class TestController {
val X = metaLogical<Int>("X")
programWithRules(
rule("main",
headReplaced(constraint("main")), body(constraint("foo", X),
statement({ x -> eq(x, "doh") }, X)
)
headReplaced(constraint("main")),
body(
constraint("foo", X),
statement({ x -> eq(x, "doh") }, X)
)
),
rule("foobar",
headKept(constraint("foo", X)),
guard(expression({ x -> x.isBound }, X)),
guard(expression({ x ->
x.isBound }, X)),
body(constraint("foobar"))
)
).controller().evaluate(occurrence("main")).run {
assertEquals(setOf(ConstraintSymbol("foo", 1),
ConstraintSymbol("foobar", 0)),
constraintSymbols())
constraintSymbols() shouldBe setOf(sym1("foo"), sym0("foobar"))
assertEquals(1, occurrences(ConstraintSymbol("foo", 1)).count())
assertEquals(1, occurrences(ConstraintSymbol("foobar", 0)).count())
}