static protected final void addCaseInsensitiveCharRange(RangeToken tok, int start, int end) { int[] caseMap; int r1, r2; if (start <= end) { r1 = start; r2 = end; } else { r1 = end; r2 = start; } tok.addRange(r1, r2); for (int ch = r1; ch <= r2; ch++) { caseMap = CaseInsensitiveMap.get(ch); if (caseMap != null) { for (int i=0; i<caseMap.length; i+=2) { tok.addRange(caseMap[i], caseMap[i]); } } } } }
static protected final void addCaseInsensitiveChar(RangeToken tok, int c) { final int[] caseMap = CaseInsensitiveMap.get(c); tok.addRange(c, c); if (caseMap != null) { for (int i=0; i<caseMap.length; i+=2) { tok.addRange(caseMap[i], caseMap[i]); } } }