More IntCharSet tests

lsf37 · lsf37 · commit a9afe353231e · 2019-12-05T09:51:48.000+10:30
diff --git a/jflex/src/test/java/jflex/core/IntCharSetTest.java b/jflex/src/test/java/jflex/core/IntCharSetTest.java
@@ -15,12 +15,30 @@ public IntCharSetTest(String name) {
   }
 
   public void testAddIntCharSet() {
-    IntCharSet a = new IntCharSet((char) 0);
-    a.add((char) 3);
+    IntCharSet a = new IntCharSet(0);
+    a.add(3);
     IntCharSet original_a = a.copy();
-    IntCharSet b = new IntCharSet(new Interval((char) 0, (char) 4));
+    IntCharSet b = new IntCharSet(0, 4);
     a.add(b);
     assertTrue(
         original_a + " + " + b + " should be " + b + " instead of " + a, Objects.equals(a, b));
   }
+
+  public void testContainsSet() {
+    IntCharSet a = new IntCharSet(3, 7);
+    a.add(new Interval(10, 15));
+    IntCharSet b = new IntCharSet(4, 6);
+    IntCharSet c = new IntCharSet(1, 5);
+    IntCharSet d = new IntCharSet(1, 20);
+
+    assertTrue(a.contains(b));
+    b.add(new Interval(10, 15));
+    assertTrue(a.contains(b));
+    a.sub(new IntCharSet(4, 7));
+    a.sub(new IntCharSet(10, 15));
+    assertTrue(!a.contains(b));
+    assertTrue(!a.contains(c));
+    assertTrue(!c.contains(d));
+    assertTrue("d.contains(a); d is " + d + " and a is " + a, d.contains(a));
+  }
 }
