Searched refs:DFA31_max (Results 1 – 1 of 1) sorted by relevance
16686 static final char[] DFA31_max = DFA.unpackEncodedStringToUnsignedChars(DFA31_maxS); field in JavaParser16707 this.max = DFA31_max; in DFA31()