/**
 * Used to report lexicalical errors of the expression.
 * @see Scanner
 */
public class ScannerException extends VektorException
{
  public int offset=0;
  public ScannerException(char ch, int offset)
  {
    super("invalid char '" + ch + "' at offset " + offset );
    this.offset = offset;
  }

  public ScannerException(char ch, int offset, char exp )
  {
    super("exptected '" + exp + "' and found " +
         (ch == '\uFFFF'?"EOF":"'" + ch + "'") + " at offset "
          + offset );
    this.offset = offset;
  }
}