Searched refs:DFA13_max (Results 1 – 1 of 1) sorted by relevance
16359 static final char[] DFA13_max = DFA.unpackEncodedStringToUnsignedChars(DFA13_maxS); field in JavaParser16380 this.max = DFA13_max; in DFA13()