Searched refs:DFA53_max (Results 1 – 1 of 1) sorted by relevance
17827 static final char[] DFA53_max = DFA.unpackEncodedStringToUnsignedChars(DFA53_maxS); field in JavaParser17848 this.max = DFA53_max; in DFA53()