Searched refs:DFA12_max (Results 1 – 1 of 1) sorted by relevance
16098 static final char[] DFA12_max = DFA.unpackEncodedStringToUnsignedChars(DFA12_maxS); field in JavaParser16119 this.max = DFA12_max; in DFA12()