//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\
// PLEASE DO NOT EDIT WITHOUT THE EXPLICIT CONSENT OF THE AUTHOR! \\
//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\

using System.IO;

namespace Ilog.Language.Parsing
{
  /**
   * This abstract class defines some of the information needed to
   * complete the implementation of a tokenizer reading from a file.
   *
   * @see         FileTokenizer
   *
   * @version     Last modified on Sun May 29 20:14:21 2005 by hak
   * @author      <a href="mailto:hak@ilog.fr">Hassan A&iuml;t-Kaci</a>
   * @copyright   &copy; 2000 <a href="http://www.ilog.fr/">ILOG, S.A.</a>
   */
  public abstract class AbstractFileTokenizer : FileTokenizer
    {
      public abstract ParseNode NextToken ();
      public abstract TextReader GetReader ();
      public abstract void SetReader (TextReader reader);
      public abstract int LineNumber { get; }
      public abstract string FileName { get; set; }

      /**
       * Returns a description of where this tokenizer is at.
       * This method may be overriden. Defaults to an indication
       * of the file and line number.
       */
      public virtual string Location ()
        {
	  return "file " + FileName + ", line " + LineNumber;
	}
    }
}