Searched refs:DFA15_min (Results 1 – 1 of 1) sorted by relevance
16426 static final char[] DFA15_min = DFA.unpackEncodedStringToUnsignedChars(DFA15_minS); field in JavaParser16447 this.min = DFA15_min; in DFA15()