class NamedPipeSocketFactory.RandomAccessFileInputStream
extends java.io.InputStream
| Modifier and Type | Field and Description |
|---|---|
(package private) java.io.RandomAccessFile |
raFile |
| Constructor and Description |
|---|
NamedPipeSocketFactory.RandomAccessFileInputStream(java.io.RandomAccessFile file) |
NamedPipeSocketFactory.RandomAccessFileInputStream(java.io.RandomAccessFile file)
public int available()
throws java.io.IOException
available in class java.io.InputStreamjava.io.IOExceptionInputStream.available()public void close()
throws java.io.IOException
close in interface java.io.Closeableclose in interface java.lang.AutoCloseableclose in class java.io.InputStreamjava.io.IOExceptionInputStream.close()public int read()
throws java.io.IOException
read in class java.io.InputStreamjava.io.IOExceptionInputStream.read()public int read(byte[] b)
throws java.io.IOException
read in class java.io.InputStreamjava.io.IOExceptionInputStream.read(byte[])public int read(byte[] b,
int off,
int len)
throws java.io.IOException
read in class java.io.InputStreamjava.io.IOExceptionInputStream.read(byte[], int, int)