RandomAccessFile inherits from InputStream and is a base
class for: ReadableFile for reading from a file; MemoryMappedFile for
the same but with memory mapping; and BufferReader for reading from a
buffer. Use these with the various table readers.
Factory
The $create() factory methods instantiate the InputStream object and
take the following arguments, depending on the subclass:
- pathFor- ReadableFile, a character file name
- xFor- BufferReader, a Buffer or an object that can be made into a buffer via- buffer().
To instantiate a MemoryMappedFile, call mmap_open().
Methods
- $GetSize():
- $supports_zero_copy(): Logical
- $seek(position): go to that position in the stream
- $tell(): return the position in the stream
- $close(): close the stream
- $Read(nbytes): read data from the stream, either a specified- nbytesor all, if- nbytesis not provided
- $ReadAt(position, nbytes): similar to- $seek(position)$Read(nbytes)
- $Resize(size): for a- MemoryMappedFilethat is writeable