public class BoundedInputStream
extends java.io.FilterInputStream
| Modifier and Type | Field and Description |
|---|---|
protected int |
count |
protected boolean |
eof |
protected int |
mark |
protected int |
size |
| Constructor and Description |
|---|
BoundedInputStream(java.io.InputStream in,
int size)
Wraps another stream by this one
|
protected final int size
protected int count
protected boolean eof
protected int mark
public BoundedInputStream(java.io.InputStream in,
int size)
in - the stream to wrapsize - the stream's sizepublic int read()
throws java.io.IOException
read in class java.io.FilterInputStreamjava.io.IOExceptionpublic int read(byte[] b)
throws java.io.IOException
read in class java.io.FilterInputStreamjava.io.IOExceptionpublic int read(byte[] b,
int off,
int len)
throws java.io.IOException
read in class java.io.FilterInputStreamjava.io.IOExceptionpublic long skip(long n)
throws java.io.IOException
skip in class java.io.FilterInputStreamjava.io.IOExceptionpublic int available()
throws java.io.IOException
available in class java.io.FilterInputStreamjava.io.IOExceptionpublic void mark(int readlimit)
mark in class java.io.FilterInputStreampublic void reset()
throws java.io.IOException
reset in class java.io.FilterInputStreamjava.io.IOException