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.IOExceptionpublic int read()
throws java.io.IOException
read in class java.io.InputStreamjava.io.IOExceptionprivate int eofGame()
public void close()
throws java.io.IOException
close in interface java.io.Closeableclose in interface java.lang.AutoCloseableclose in class java.io.InputStreamjava.io.IOExceptionpublic void mark(int readlimit)
mark in class java.io.InputStream