public class RangeInputStream
extends java.io.FilterInputStream
| Constructor and Description |
|---|
RangeInputStream(java.io.InputStream in,
long totalSize,
Range range)
Constructs a stream exposing only a range of a given source stream.
|
| Modifier and Type | Method and Description |
|---|---|
int |
available() |
void |
mark(int readlimit) |
int |
read() |
int |
read(byte[] b,
int off,
int len) |
public RangeInputStream(java.io.InputStream in,
long totalSize,
Range range)
in - The source input stream.totalSize - The total size of the source stream.range - The range to satisfy.public int available()
throws java.io.IOException
available in class java.io.FilterInputStreamjava.io.IOExceptionpublic void mark(int readlimit)
mark in class java.io.FilterInputStreampublic int read()
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.IOExceptionCopyright © 2005-2020 Restlet.