public class MeasuredInputStream
extends java.io.InputStream
Constructor and Description |
---|
MeasuredInputStream(java.io.InputStream source,
long size) |
public MeasuredInputStream(java.io.InputStream source, long size)
public long getSize()
public long getRead()
public int read() throws java.io.IOException
read
in class java.io.InputStream
java.io.IOException
public int read(byte[] bytes) throws java.io.IOException
read
in class java.io.InputStream
java.io.IOException
public int read(byte[] bytes, int i, int i1) throws java.io.IOException
read
in class java.io.InputStream
java.io.IOException
public long skip(long l) throws java.io.IOException
skip
in class java.io.InputStream
java.io.IOException
public int available() throws java.io.IOException
available
in class java.io.InputStream
java.io.IOException
public void close() throws java.io.IOException
close
in interface java.io.Closeable
close
in interface java.lang.AutoCloseable
close
in class java.io.InputStream
java.io.IOException
public void mark(int i)
mark
in class java.io.InputStream
public void reset() throws java.io.IOException
reset
in class java.io.InputStream
java.io.IOException
public boolean markSupported()
markSupported
in class java.io.InputStream