From 5a55d0d306e85a697aa86bdf3f9caf243d384faa Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Fri, 10 May 2019 00:01:57 -0400 Subject: Neutral element for sum is [0, 0] --- .../viatrasolver/logic2viatra/tests/interval/SumTest.xtend | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'Tests/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.tests/src') diff --git a/Tests/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.tests/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/tests/interval/SumTest.xtend b/Tests/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.tests/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/tests/interval/SumTest.xtend index cbd7e71f..530c081c 100644 --- a/Tests/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.tests/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/tests/interval/SumTest.xtend +++ b/Tests/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.tests/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/tests/interval/SumTest.xtend @@ -24,7 +24,7 @@ class SumTest { @Test def void emptyTest() { - assertEquals(null) + assertEquals(ZERO) } @Test @@ -37,7 +37,7 @@ class SumTest { def void addRemoveTest() { add(between(-1, 1)) remove(between(-1, 1)) - assertEquals(null) + assertEquals(ZERO) } @Test @@ -79,7 +79,7 @@ class SumTest { remove(between(-1, 1)) remove(between(-1, 1)) remove(between(-1, 1)) - assertEquals(null) + assertEquals(ZERO) } @Test @@ -108,7 +108,7 @@ class SumTest { } else { current.remove(interval) } - val expected = current.stream.reduce(aggregator.mode).orElse(null) + val expected = current.stream.reduce(aggregator.mode).orElse(ZERO) update(interval, isInsert) assertEquals(expected) } -- cgit v1.2.3-54-g00ecf