pure interface of class TokenMgrError

public class TokenMgrError
  extends Error
{
    protected static final String addEscapes(String str);
    public String getMessage();
    public TokenMgrError();
    public TokenMgrError(String message,
                         int reason);
    public TokenMgrError(boolean EOFSeen,
                         int lexState,
                         int errorLine,
                         int errorColumn,
                         String errorAfter,
                         char curChar,
                         int reason);
}