public class UnfoldingReader
extends java.io.PushbackReader
BufferedReader you must ensure you specify an identical buffer size
to that used in the BufferedReader.| Constructor and Description |
|---|
UnfoldingReader(java.io.Reader in)
Creates a new unfolding reader instance.
|
UnfoldingReader(java.io.Reader in,
boolean relaxed) |
UnfoldingReader(java.io.Reader in,
int size) |
UnfoldingReader(java.io.Reader in,
int size,
boolean relaxed)
Creates a new unfolding reader instance.
|
| Modifier and Type | Method and Description |
|---|---|
int |
getLinesUnfolded() |
int |
read() |
int |
read(char[] cbuf,
int off,
int len) |
public UnfoldingReader(java.io.Reader in)
in - the reader to unfold frompublic UnfoldingReader(java.io.Reader in,
int size)
in - size - public UnfoldingReader(java.io.Reader in,
boolean relaxed)
in - relaxed - public UnfoldingReader(java.io.Reader in,
int size,
boolean relaxed)
in - a reader to read fromrelaxed - specifies whether unfolding is relaxedpublic final int getLinesUnfolded()
public final int read()
throws java.io.IOException
read in class java.io.PushbackReaderjava.io.IOExceptionPushbackReader.read()public int read(char[] cbuf,
int off,
int len)
throws java.io.IOException
read in class java.io.PushbackReaderjava.io.IOExceptionPushbackReader.read(char[], int, int)