Searched refs:DFA4_max (Results 1 – 1 of 1) sorted by relevance
698 static final char[] DFA4_max = DFA.unpackEncodedStringToUnsignedChars(DFA4_maxS); field in SimpleCLexer719 this.max = DFA4_max; in DFA4()