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, readprivate 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 InputStreampublic void close() throws IOException
close in interface Closeableclose in interface AutoCloseableclose in class InputStreamIOExceptionpublic void mark(int readLimit)
mark in class InputStreampublic boolean markSupported()
markSupported in class InputStreampublic int read()
read in class InputStreampublic void reset()
reset in class InputStreampublic long skip(long n)
skip in class InputStream