/**
 * used for syntactical errors, detecded by the Parser
 * @see Parser
 */
public class ParserException extends VektorException
{
  public int offset=0;
  public ParserException(int offset, String s)
  {
    super(s + " at offset " + offset );
    this.offset = offset;
  }
}