diff options
| author |  Kristóf Marussy <kris7topher@gmail.com> | 2019-05-09 00:49:19 -0400 |
|---|---|---|
| committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-05-09 00:49:19 -0400 |
| commit | 1999ab4733071c6a4c9989c137eb44ec62b09847 (patch) | |
| tree | fb4c06a88689e80d4a021bf5ad995a377ed765a6 /Tests | |
| parent | Implement interval arithmetic without exponentiation (diff) | |
| download | VIATRA-Generator-1999ab4733071c6a4c9989c137eb44ec62b09847.tar.gz VIATRA-Generator-1999ab4733071c6a4c9989c137eb44ec62b09847.tar.zst VIATRA-Generator-1999ab4733071c6a4c9989c137eb44ec62b09847.zip | |
Interval comparison
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/RelationTest.xtend | 120 |
1 files changed, 120 insertions, 0 deletions
diff --git a/Tests/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.tests/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/tests/interval/RelationTest.xtend b/Tests/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.tests/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/tests/interval/RelationTest.xtend new file mode 100644 index 00000000..23fc69ea --- /dev/null +++ b/Tests/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.tests/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/tests/interval/RelationTest.xtend | |||
| @@ -0,0 +1,120 @@ | |||
| 1 | package hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.tests.interval | ||
| 2 | |||
| 3 | import hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.interval.Interval | ||
| 4 | import java.util.Collection | ||
| 5 | import org.junit.Assert | ||
| 6 | import org.junit.Test | ||
| 7 | import org.junit.runner.RunWith | ||
| 8 | import org.junit.runners.Parameterized | ||
| 9 | import org.junit.runners.Parameterized.Parameter | ||
| 10 | import org.junit.runners.Parameterized.Parameters | ||
| 11 | |||
| 12 | import static hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.interval.Interval.* | ||
| 13 | |||
| 14 | @RunWith(Parameterized) | ||
| 15 | class RelationTest { | ||
| 16 | @Parameters(name = "{index}: {0} <> {1}") | ||
| 17 | static def Collection<Object[]> data() { | ||
| 18 | #[ | ||
| 19 | #[EMPTY, EMPTY, true, false, true, false], | ||
| 20 | #[EMPTY, between(1, 2), true, false, true, false], | ||
| 21 | #[between(1, 2), EMPTY, true, false, true, false], | ||
| 22 | #[upTo(1), upTo(0), false, true, false, true], | ||
| 23 | #[upTo(1), upTo(1), false, true, false, true], | ||
| 24 | #[upTo(1), upTo(2), false, true, false, true], | ||
| 25 | #[upTo(1), above(0), false, true, false, true], | ||
| 26 | #[upTo(1), above(1), false, true, false, true], | ||
| 27 | #[upTo(1), above(2), false, false, true, true], | ||
| 28 | #[upTo(1), between(-1, -1), false, true, false, true], | ||
| 29 | #[upTo(1), between(-1, 0), false, true, false, true], | ||
| 30 | #[upTo(1), between(-1, 1), false, true, false, true], | ||
| 31 | #[upTo(1), between(-1, 2), false, true, false, true], | ||
| 32 | #[upTo(1), between(1, 1), false, true, false, true], | ||
| 33 | #[upTo(1), between(1, 2), false, true, false, true], | ||
| 34 | #[upTo(1), between(2, 2), false, false, true, true], | ||
| 35 | #[upTo(1), between(2, 3), false, false, true, true], | ||
| 36 | #[above(1), upTo(0), false, false, false, false], | ||
| 37 | #[above(1), upTo(1), false, true, false, false], | ||
| 38 | #[above(1), upTo(2), false, true, false, true], | ||
| 39 | #[above(1), above(0), false, true, false, true], | ||
| 40 | #[above(1), above(1), false, true, false, true], | ||
| 41 | #[above(1), above(2), false, true, false, true], | ||
| 42 | #[above(1), between(-1, -1), false, false, false, false], | ||
| 43 | #[above(1), between(-1, 0), false, false, false, false], | ||
| 44 | #[above(1), between(-1, 1), false, true, false, false], | ||
| 45 | #[above(1), between(-1, 2), false, true, false, true], | ||
| 46 | #[above(1), between(1, 1), false, true, false, false], | ||
| 47 | #[above(1), between(1, 2), false, true, false, true], | ||
| 48 | #[above(1), between(2, 2), false, true, false, true], | ||
| 49 | #[above(1), between(2, 3), false, true, false, true], | ||
| 50 | #[between(1, 1), upTo(0), false, false, false, false], | ||
| 51 | #[between(1, 1), upTo(1), false, true, false, false], | ||
| 52 | #[between(1, 1), upTo(2), false, true, false, true], | ||
| 53 | #[between(1, 1), above(0), false, true, false, true], | ||
| 54 | #[between(1, 1), above(1), false, true, false, true], | ||
| 55 | #[between(1, 1), above(2), false, false, true, true], | ||
| 56 | #[between(1, 1), between(-1, -1), false, false, false, false], | ||
| 57 | #[between(1, 1), between(-1, 0), false, false, false, false], | ||
| 58 | #[between(1, 1), between(-1, 1), false, true, false, false], | ||
| 59 | #[between(1, 1), between(-1, 2), false, true, false, true], | ||
| 60 | #[between(1, 1), between(1, 1), true, true, false, false], | ||
| 61 | #[between(1, 1), between(1, 2), false, true, false, true], | ||
| 62 | #[between(1, 1), between(2, 2), false, false, true, true], | ||
| 63 | #[between(1, 1), between(2, 3), false, false, true, true], | ||
| 64 | #[between(-1, 1), upTo(-2), false, false, false, false], | ||
| 65 | #[between(-1, 1), upTo(-1), false, true, false, false], | ||
| 66 | #[between(-1, 1), upTo(0), false, true, false, true], | ||
| 67 | #[between(-1, 1), upTo(1), false, true, false, true], | ||
| 68 | #[between(-1, 1), upTo(2), false, true, false, true], | ||
| 69 | #[between(-1, 1), above(-2), false, true, false, true], | ||
| 70 | #[between(-1, 1), above(-1), false, true, false, true], | ||
| 71 | #[between(-1, 1), above(0), false, true, false, true], | ||
| 72 | #[between(-1, 1), above(1), false, true, false, true], | ||
| 73 | #[between(-1, 1), above(2), false, false, true, true], | ||
| 74 | #[between(-1, 1), between(-3, -2), false, false, false, false], | ||
| 75 | #[between(-1, 1), between(-2, -2), false, false, false, false], | ||
| 76 | #[between(-1, 1), between(-2, -1), false, true, false, false], | ||
| 77 | #[between(-1, 1), between(-2, 0), false, true, false, true], | ||
| 78 | #[between(-1, 1), between(-2, 1), false, true, false, true], | ||
| 79 | #[between(-1, 1), between(-2, 2), false, true, false, true], | ||
| 80 | #[between(-1, 1), between(-1, -1), false, true, false, false], | ||
| 81 | #[between(-1, 1), between(-1, 0), false, true, false, true], | ||
| 82 | #[between(-1, 1), between(-1, 1), false, true, false, true], | ||
| 83 | #[between(-1, 1), between(-1, 2), false, true, false, true], | ||
| 84 | #[between(-1, 1), between(0, 0), false, true, false, true], | ||
| 85 | #[between(-1, 1), between(0, 1), false, true, false, true], | ||
| 86 | #[between(-1, 1), between(0, 2), false, true, false, true], | ||
| 87 | #[between(-1, 1), between(1, 1), false, true, false, true], | ||
| 88 | #[between(-1, 1), between(1, 2), false, true, false, true], | ||
| 89 | #[between(-1, 1), between(2, 2), false, false, true, true], | ||
| 90 | #[between(-1, 1), between(2, 3), false, false, true, true] | ||
| 91 | ] | ||
| 92 | } | ||
| 93 | |||
| 94 | @Parameter(0) public var Interval a | ||
| 95 | @Parameter(1) public var Interval b | ||
| 96 | @Parameter(2) public var boolean mustEqual | ||
| 97 | @Parameter(3) public var boolean mayEqual | ||
| 98 | @Parameter(4) public var boolean mustBeLessThan | ||
| 99 | @Parameter(5) public var boolean mayBeLessThan | ||
| 100 | |||
| 101 | @Test | ||
| 102 | def void mustEqualTest() { | ||
| 103 | Assert.assertEquals(mustEqual, a.mustEqual(b)) | ||
| 104 | } | ||
| 105 | |||
| 106 | @Test | ||
| 107 | def void mayEqualTest() { | ||
| 108 | Assert.assertEquals(mayEqual, a.mayEqual(b)) | ||
| 109 | } | ||
| 110 | |||
| 111 | @Test | ||
| 112 | def void mustBeLessThanTest() { | ||
| 113 | Assert.assertEquals(mustBeLessThan, a.mustBeLessThan(b)) | ||
| 114 | } | ||
| 115 | |||
| 116 | @Test | ||
| 117 | def void mayBeLessThanTest() { | ||
| 118 | Assert.assertEquals(mayBeLessThan, a.mayBeLessThan(b)) | ||
| 119 | } | ||
| 120 | } | ||