diff options
| author |  Kristóf Marussy <kris7topher@gmail.com> | 2019-05-10 00:01:57 -0400 |
|---|---|---|
| committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-05-10 00:01:57 -0400 |
| commit | 5a55d0d306e85a697aa86bdf3f9caf243d384faa (patch) | |
| tree | 36c834f0d05b0ce788b67163112fd9e935768629 /Tests | |
| parent | Interval aggregation operators (diff) | |
| download | VIATRA-Generator-5a55d0d306e85a697aa86bdf3f9caf243d384faa.tar.gz VIATRA-Generator-5a55d0d306e85a697aa86bdf3f9caf243d384faa.tar.zst VIATRA-Generator-5a55d0d306e85a697aa86bdf3f9caf243d384faa.zip | |
Neutral element for sum is [0, 0]
Diffstat (limited to 'Tests')
| -rw-r--r-- | Tests/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.tests/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/tests/interval/SumTest.xtend | 8 |
1 files changed, 4 insertions, 4 deletions
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 { | |||
| 24 | 24 | ||
| 25 | @Test | 25 | @Test |
| 26 | def void emptyTest() { | 26 | def void emptyTest() { |
| 27 | assertEquals(null) | 27 | assertEquals(ZERO) |
| 28 | } | 28 | } |
| 29 | 29 | ||
| 30 | @Test | 30 | @Test |
| @@ -37,7 +37,7 @@ class SumTest { | |||
| 37 | def void addRemoveTest() { | 37 | def void addRemoveTest() { |
| 38 | add(between(-1, 1)) | 38 | add(between(-1, 1)) |
| 39 | remove(between(-1, 1)) | 39 | remove(between(-1, 1)) |
| 40 | assertEquals(null) | 40 | assertEquals(ZERO) |
| 41 | } | 41 | } |
| 42 | 42 | ||
| 43 | @Test | 43 | @Test |
| @@ -79,7 +79,7 @@ class SumTest { | |||
| 79 | remove(between(-1, 1)) | 79 | remove(between(-1, 1)) |
| 80 | remove(between(-1, 1)) | 80 | remove(between(-1, 1)) |
| 81 | remove(between(-1, 1)) | 81 | remove(between(-1, 1)) |
| 82 | assertEquals(null) | 82 | assertEquals(ZERO) |
| 83 | } | 83 | } |
| 84 | 84 | ||
| 85 | @Test | 85 | @Test |
| @@ -108,7 +108,7 @@ class SumTest { | |||
| 108 | } else { | 108 | } else { |
| 109 | current.remove(interval) | 109 | current.remove(interval) |
| 110 | } | 110 | } |
| 111 | val expected = current.stream.reduce(aggregator.mode).orElse(null) | 111 | val expected = current.stream.reduce(aggregator.mode).orElse(ZERO) |
| 112 | update(interval, isInsert) | 112 | update(interval, isInsert) |
| 113 | assertEquals(expected) | 113 | assertEquals(expected) |
| 114 | } | 114 | } |