public final class AddressInputStream extends InputStream
Modifier and Type | Field and Description |
---|---|
private Extent |
length
Length of the memory region
|
private Extent |
markOffset
Mark offset.
|
private Extent |
offset
Offset to be read.
|
private Address |
startAddress
Start address of memory region to be read
|
Constructor and Description |
---|
AddressInputStream(Address startAddress,
Extent length) |
Modifier and Type | Method and Description |
---|---|
int |
available() |
void |
close()
Closing an AddressInputStream has no effect.
|
void |
mark(int readLimit)
Marks location.
|
boolean |
markSupported()
Is mark/reset supported
|
int |
read()
Reads a byte
|
void |
reset()
Resets to mark
|
long |
skip(long n)
Skips bytes (at most @code{Integer.MAX_VALUE} bytes)
|
read, read
private final Address startAddress
private Extent offset
private Extent markOffset
public AddressInputStream(Address startAddress, Extent length)
startAddress
- start address of the memory regionlength
- length of the region in bytespublic int available()
available
in class InputStream
public void close() throws IOException
close
in interface Closeable
close
in interface AutoCloseable
close
in class InputStream
IOException
public void mark(int readLimit)
mark
in class InputStream
public boolean markSupported()
markSupported
in class InputStream
public int read()
read
in class InputStream
public void reset()
reset
in class InputStream
public long skip(long n)
skip
in class InputStream