172173174175176177178
public void recover(IntStream input, RecognitionException re) { String hdr = getErrorHeader(re); String msg = getErrorMessage(re, this.getTokenNames()); throw new ParseException(hdr + " " + msg); }
179180181182183184185
public void reportError(RecognitionException re) { String hdr = getErrorHeader(re); String msg = getErrorMessage(re, this.getTokenNames()); throw new ParseException(hdr + " " + msg); }