Lines Matching defs:DFA2_maxS
1699 static final String DFA2_maxS =1725 static final char[] DFA2_max = DFA.unpackEncodedStringToUnsignedChars(DFA2_maxS);