public class PositionInputStream
extends java.io.InputStream
Constructor and Description |
---|
PositionInputStream(java.io.InputStream carrier) |
Modifier and Type | Method and Description |
---|---|
long |
getPosition() |
void |
mark(int readLimit) |
boolean |
markSupported() |
int |
read() |
int |
read(byte[] dest) |
int |
read(byte[] dest,
int offset,
int length) |
void |
reset() |
long |
skip(long n) |
public int read() throws java.io.IOException
read
in class java.io.InputStream
java.io.IOException
public int read(byte[] dest) throws java.io.IOException
read
in class java.io.InputStream
java.io.IOException
public int read(byte[] dest, int offset, int length) throws java.io.IOException
read
in class java.io.InputStream
java.io.IOException
public long skip(long n) throws java.io.IOException
skip
in class java.io.InputStream
java.io.IOException
public void mark(int readLimit)
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
public long getPosition()