pure interface of class ParseException

public class ParseException
  extends Exception
{
    public ParseException(Token currentTokenVal,
                          int[][] expectedTokenSequencesVal,
                          String[] tokenImageVal);
    public ParseException();
    public ParseException(String message);
    protected boolean specialConstructor;
    public Token currentToken;
    public int[][] expectedTokenSequences;
    public String[] tokenImage;
    public String getMessage();
    protected String eol;
    protected String add_escapes(String str);
}