Skip to content
Snippets Groups Projects
Commit d463bc05 authored by Jonas Blatt's avatar Jonas Blatt :ant:
Browse files

Add test for number checker

parent 9c5c598d
No related branches found
No related tags found
No related merge requests found
......@@ -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
......
......@@ -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
......
......@@ -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;
}
}
......@@ -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
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment