public class FilesystemInputStream
extends java.io.InputStream
InputStream
for STRING and PROGRAM files.FilePosition.getInputStream()
Modifier and Type | Field and Description |
---|---|
static boolean |
debug |
Constructor and Description |
---|
FilesystemInputStream(FilePosition p_fpos)
Constructor from a
FilePosition . |
Modifier and Type | Method and Description |
---|---|
int |
available() |
void |
close() |
void |
DBG(java.lang.String p_str) |
void |
mark(int readlimit) |
boolean |
markSupported() |
int |
read() |
int |
read(byte[] b) |
int |
read(byte[] b,
int off,
int len) |
void |
reset() |
long |
skip(long n) |
public static final boolean debug
public FilesystemInputStream(FilePosition p_fpos) throws FilesystemException
FilePosition
.p_fpos
- FilePosition
to read from.FilesystemException
- If a filesystem problem occurs.public int available()
available
in class java.io.InputStream
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 readlimit)
mark
in class java.io.InputStream
public void reset() throws java.io.IOException
reset
in class java.io.InputStream
java.io.IOException
public void DBG(java.lang.String p_str)
public boolean markSupported()
markSupported
in class java.io.InputStream
public int read() throws java.io.IOException
read
in class java.io.InputStream
java.io.IOException
public int read(byte[] b) throws java.io.IOException
read
in class java.io.InputStream
java.io.IOException
public int read(byte[] b, int off, int len) 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