Searched refs:DFA13_eof (Results 1 – 1 of 1) sorted by relevance
16357 static final short[] DFA13_eof = DFA.unpackEncodedString(DFA13_eofS); field in JavaParser16378 this.eof = DFA13_eof; in DFA13()