Searched refs:DFA143_max (Results 1 – 1 of 1) sorted by relevance
19498 static final char[] DFA143_max = DFA.unpackEncodedStringToUnsignedChars(DFA143_maxS); field in JavaParser19519 this.max = DFA143_max; in DFA143()