Method Detail

• getNextLine

  String getNextLine()
                     throws ParseException

  getNextLine.

  Returns:

  the next line. null if we reached the end.

  Throws:

  ParseException - on I/O error

• getName

  String getName()

  getName.

  Returns:

  the name of the input. could be the filename for example.

• getLineNumber

  int getLineNumber()

  getLineNumber.

  Returns:

  the current line number.

• ungetLine

  void ungetLine()

  ungetLine.

  This should throw a java.lang.IllegalStateException if called more than one time without calling getNextLine().

• unget

  void unget(String s)

  unget.

  Parameters:

  s - some text to push back to the parser. This should throw a java.lang.IllegalStateException if called more than one time without calling getNextLine().

• close

  void close()

  close the source.