Searched refs:DFA15_max (Results 1 – 1 of 1) sorted by relevance
16427 static final char[] DFA15_max = DFA.unpackEncodedStringToUnsignedChars(DFA15_maxS); field in JavaParser16448 this.max = DFA15_max; in DFA15()