public class GridInputStream
extends java.io.InputStream
protected final GridFile file
public int read() throws java.io.IOException
read
在类中 java.io.InputStream
java.io.IOException
public int read(byte[] b) throws java.io.IOException
read
在类中 java.io.InputStream
java.io.IOException
public int read(byte[] b, int off, int len) throws java.io.IOException
read
在类中 java.io.InputStream
java.io.IOException
public long skip(long n) throws java.io.IOException
skip
在类中 java.io.InputStream
java.io.IOException
public int available() throws java.io.IOException
available
在类中 java.io.InputStream
java.io.IOException
public void close() throws java.io.IOException
close
在接口中 java.io.Closeable
close
在接口中 java.lang.AutoCloseable
close
在类中 java.io.InputStream
java.io.IOException