public class MarkableFileInputStream
extends java.io.InputStream
FileInputStream that supports mark(int) and
reset().
Typically more efficient than new BufferedInputStream(new FileInputstream(...)).
| Constructor and Description |
|---|
MarkableFileInputStream(java.io.File file) |
MarkableFileInputStream(java.lang.String name) |
| Modifier and Type | Method and Description |
|---|---|
int |
available() |
void |
close() |
void |
mark(int readlimit) |
boolean |
markSupported() |
int |
read() |
int |
read(byte[] b,
int off,
int len) |
void |
reset() |
long |
skip(long n) |
public MarkableFileInputStream(java.lang.String name)
throws java.io.FileNotFoundException
java.io.FileNotFoundExceptionpublic MarkableFileInputStream(java.io.File file)
throws java.io.FileNotFoundException
java.io.FileNotFoundExceptionpublic int read()
throws java.io.IOException
read in class java.io.InputStreamjava.io.IOExceptionpublic int read(byte[] b,
int off,
int len)
throws java.io.IOException
read in class java.io.InputStreamjava.io.IOExceptionpublic long skip(long n)
throws java.io.IOException
skip in class java.io.InputStreamjava.io.IOExceptionpublic int available()
throws java.io.IOException
available in class java.io.InputStreamjava.io.IOExceptionpublic 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.InputStreampublic void reset()
throws java.io.IOException
reset in class java.io.InputStreamjava.io.IOExceptionpublic boolean markSupported()
markSupported in class java.io.InputStream