class WindowsLineFeedInputStream
extends java.io.InputStream
Modifier and Type | Field and Description |
---|---|
private boolean |
ensureLineFeedAtEndOfFile |
private boolean |
eofSeen |
private boolean |
injectSlashN |
private boolean |
slashNSeen |
private boolean |
slashRSeen |
private java.io.InputStream |
target |
Constructor and Description |
---|
WindowsLineFeedInputStream(java.io.InputStream in,
boolean ensureLineFeedAtEndOfFile) |
Modifier and Type | Method and Description |
---|---|
void |
close() |
private int |
eofGame() |
void |
mark(int readlimit) |
int |
read() |
private int |
readWithUpdate() |
private final java.io.InputStream target
private final boolean ensureLineFeedAtEndOfFile
private boolean slashRSeen
private boolean slashNSeen
private boolean injectSlashN
private boolean eofSeen
public WindowsLineFeedInputStream(java.io.InputStream in, boolean ensureLineFeedAtEndOfFile)
private int readWithUpdate() throws java.io.IOException
java.io.IOException
public int read() throws java.io.IOException
read
in class java.io.InputStream
java.io.IOException
private int eofGame()
public void close() throws java.io.IOException
close
in interface java.io.Closeable
close
in interface java.lang.AutoCloseable
close
in class java.io.InputStream
java.io.IOException
public void mark(int readlimit)
mark
in class java.io.InputStream