From d463bc054e4a4cf7ff06ca5a880b828885682f57 Mon Sep 17 00:00:00 2001
From: Jonas Blatt <jonasblatt@uni-koblenz.de>
Date: Wed, 18 Sep 2019 15:51:04 +0200
Subject: [PATCH] Add test for number checker
---
.../fgbks/base/utils/boundary/checker/CheckInContactTest.java | 2 ++
.../base/utils/boundary/checker/CheckNotInContactTest.java | 2 ++
.../fgbks/base/utils/boundary/checker/CheckOverlapTest.java | 4 +++-
.../fgbks/base/utils/boundary/checker/CheckSubsumesTest.java | 4 ++++
4 files changed, 11 insertions(+), 1 deletion(-)
diff --git a/dmnverifierapi/src/test/java/de/unikoblenz/fgbks/base/utils/boundary/checker/CheckInContactTest.java b/dmnverifierapi/src/test/java/de/unikoblenz/fgbks/base/utils/boundary/checker/CheckInContactTest.java
index 741f2cad..57928700 100644
--- a/dmnverifierapi/src/test/java/de/unikoblenz/fgbks/base/utils/boundary/checker/CheckInContactTest.java
+++ b/dmnverifierapi/src/test/java/de/unikoblenz/fgbks/base/utils/boundary/checker/CheckInContactTest.java
@@ -28,6 +28,8 @@ class CheckInContactTest extends AbstractCheckerTest {
doNumCheck("[1..3]", "=0", false);
doNumCheck("[1..3]", "=4", false);
doNumCheck("[1..3]", "<=4", true);
+ doNumCheck("", "]1..3[", true);
+ doNumCheck("", "=2", true);
}
@Override
diff --git a/dmnverifierapi/src/test/java/de/unikoblenz/fgbks/base/utils/boundary/checker/CheckNotInContactTest.java b/dmnverifierapi/src/test/java/de/unikoblenz/fgbks/base/utils/boundary/checker/CheckNotInContactTest.java
index 7f100311..12b22218 100644
--- a/dmnverifierapi/src/test/java/de/unikoblenz/fgbks/base/utils/boundary/checker/CheckNotInContactTest.java
+++ b/dmnverifierapi/src/test/java/de/unikoblenz/fgbks/base/utils/boundary/checker/CheckNotInContactTest.java
@@ -28,6 +28,8 @@ class CheckNotInContactTest extends AbstractCheckerTest {
doNumCheck("[1..3]", "=0", true);
doNumCheck("[1..3]", "=4", true);
doNumCheck("[1..3]", "<=4", false);
+ doNumCheck("", "]1..3[", false);
+ doNumCheck("", "=2", false);
}
@Override
diff --git a/dmnverifierapi/src/test/java/de/unikoblenz/fgbks/base/utils/boundary/checker/CheckOverlapTest.java b/dmnverifierapi/src/test/java/de/unikoblenz/fgbks/base/utils/boundary/checker/CheckOverlapTest.java
index 85f93ac9..b4a334b7 100644
--- a/dmnverifierapi/src/test/java/de/unikoblenz/fgbks/base/utils/boundary/checker/CheckOverlapTest.java
+++ b/dmnverifierapi/src/test/java/de/unikoblenz/fgbks/base/utils/boundary/checker/CheckOverlapTest.java
@@ -54,10 +54,12 @@ class CheckOverlapTest extends AbstractCheckerTest {
doNumCheck("[1..3[", "[1..3[", false);
doNumCheck("]1..3]", "]1..3]", false);
doNumCheck("]1..3[", "]1..3[", false);
+ doNumCheck("]1..3[", "", false);
+ doNumCheck("=1", "", false);
}
@Override
protected boolean checkBothWays() {
- return false;
+ return true;
}
}
diff --git a/dmnverifierapi/src/test/java/de/unikoblenz/fgbks/base/utils/boundary/checker/CheckSubsumesTest.java b/dmnverifierapi/src/test/java/de/unikoblenz/fgbks/base/utils/boundary/checker/CheckSubsumesTest.java
index 1583d7b7..5293760d 100644
--- a/dmnverifierapi/src/test/java/de/unikoblenz/fgbks/base/utils/boundary/checker/CheckSubsumesTest.java
+++ b/dmnverifierapi/src/test/java/de/unikoblenz/fgbks/base/utils/boundary/checker/CheckSubsumesTest.java
@@ -54,6 +54,10 @@ class CheckSubsumesTest extends AbstractCheckerTest {
doNumCheck("[1..3[", "[1..3[", false);
doNumCheck("]1..3]", "]1..3]", false);
doNumCheck("]1..3[", "]1..3[", false);
+ doNumCheck("]1..3[", "", false);
+ doNumCheck("=1", "", false);
+ doNumCheck("", "]1..3[", true);
+ doNumCheck("", "=2", true);
}
@Override
--
GitLab