public class RangeInputStream
extends java.io.FilterInputStream
Modifier | Constructor and Description |
---|---|
protected |
RangeInputStream(java.io.InputStream in,
long totalSize,
Range range)
Constructs a stream exposing only a range of a given source stream.
|
protected 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-2012. All Rights Reserved.