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.FilterInputStream
java.io.IOException
public void mark(int readlimit)
mark
in class java.io.FilterInputStream
public int read() throws java.io.IOException
read
in class java.io.FilterInputStream
java.io.IOException
public int read(byte[] b, int off, int len) throws java.io.IOException
read
in class java.io.FilterInputStream
java.io.IOException
Copyright © 2005-2020 Restlet.