Add addStringCaseless to provide a caseless version of addString

bitslab · Sep 29, 2022 · 4821597 · 4821597
1 parent b6d9e57
commit 4821597
Showing 1 changed file with 32 additions and 0 deletions.
diff --git a/jflex/src/test/java/jflex/core/unicode/CharClassesQuickcheck.java b/jflex/src/test/java/jflex/core/unicode/CharClassesQuickcheck.java
@@ -32,6 +32,7 @@
  */
 @RunWith(JUnitQuickcheck.class)
 public class CharClassesQuickcheck {
+  UnicodeProperties unicodeProperties;
 
   // TODO(lsf): add testing for caseless; needs UnicodeProperties
 
@@ -124,6 +125,23 @@ public void addString(CharClasses classes, String s, @From(IntCharGen.class) int
     }
   }
 
+  @Property
+  public void addStringCaseless(CharClasses classes, String s, @From(IntCharGen.class) int c)
+      throws UnicodeProperties.UnsupportedUnicodeVersionException {
+    assumeTrue(!s.toLowerCase().contains(String.valueOf(c)));
+
+    classesInit(classes);
+    classes.makeClass(s, true);
+    assertThat(classes.invariants()).isTrue();
+
+    int cCode = classes.getClassCode(c);
+    for (int i = 0; i < s.length(); ) {
+      int ch = s.codePointAt(i);
+      assertThat(classes.getClassCode(ch)).isNotEqualTo(cCode);
+      i += Character.charCount(ch);
+    }
+  }
+
   @Property
   public void normaliseSingle(
       CharClasses classes, @InRange(minInt = 0, maxInt = CharClasses.maxChar) int c) {
@@ -200,4 +218,18 @@ public void classCodesDisjointOrdered(CharClasses classes) {
       assertThat(intervals[i].end + 1).isEqualTo(intervals[i + 1].start);
     }
   }
+
+  private void classesInit(CharClasses classes)
+      throws UnicodeProperties.UnsupportedUnicodeVersionException {
+    // init classes
+    unicodeProperties = new UnicodeProperties();
+    classes.init(
+        CharClasses.maxChar,
+        new ILexScan() {
+          @Override
+          public UnicodeProperties getUnicodeProperties() {
+            return unicodeProperties;
+          }
+        });
+  }
 }