public class FoldedLineReader
extends java.io.BufferedReader
Constructor and Description |
---|
FoldedLineReader(java.io.Reader reader)
Creates a folded line reader.
|
FoldedLineReader(java.lang.String text)
Creates a folded line reader.
|
Modifier and Type | Method and Description |
---|---|
java.nio.charset.Charset |
getEncoding()
Gets the character encoding of the reader.
|
int |
getLineNum()
Gets the starting line number of the last unfolded line that was read.
|
java.lang.String |
readLine()
Reads the next unfolded line.
|
public FoldedLineReader(java.io.Reader reader)
reader
- the reader object to wrappublic FoldedLineReader(java.lang.String text)
text
- the text to readpublic int getLineNum()
public java.nio.charset.Charset getEncoding()
public java.lang.String readLine() throws java.io.IOException
readLine
in class java.io.BufferedReader
java.io.IOException
- if there's a problem reading from the readerThis software is published under the BSD license. Copyright © 2003-${build.year}, CRIXP AG, Switzerland, All rights reserved. Use is subject to license terms.