| com.go.tea.io.PositionReader
 com.go.tea.io.LinePositionReader
| LinePositionReader | | public class LinePositionReader extends PositionReader (Code) | | LinePositionReader aids in printing line numbers for error reporting.
author:
Brian S O'Neill
version:
16 , 12/11/00 |
| Method Summary | |
| public static String | cleanWhitespace(String str)
Converts all whitespace characters in a String to space characters
(\u0020). | | public static String | createSequence(char c, int length)
Creates and returns a String containing a sequence of the specified
length, repeating the given character. | | public int | getLineNumber()
| | public int | read()
| | public String | readLine()
After calling readLine, calling getLineNumber returns the next line
number. | | public int | skipForwardToLine(int line)
Skips forward into the stream to the line number specified. |
| LinePositionReader | | public LinePositionReader(Reader reader)(Code) | | |
| cleanWhitespace | | public static String cleanWhitespace(String str)(Code) | | Converts all whitespace characters in a String to space characters
(\u0020).
|
| createSequence | | public static String createSequence(char c, int length)(Code) | | Creates and returns a String containing a sequence of the specified
length, repeating the given character.
|
| getLineNumber | | public int getLineNumber()(Code) | | the number of the line currently being read or the next oneavailable. |
| readLine | | public String readLine() throws IOException(Code) | | After calling readLine, calling getLineNumber returns the next line
number.
|
| skipForwardToLine | | public int skipForwardToLine(int line) throws IOException(Code) | | Skips forward into the stream to the line number specified. The line
can then be read by calling readLine. Calling getPosition
returns the position that the line begins.
the line number reached |
|
|