public interface PageHeader
Modifier and Type | Method and Description |
---|---|
byte[] |
asByteArray()
Return the header as byte array
|
int |
getPageSize()
Returns the size of a page in Bytes.
|
int |
getReservedPages()
Returns the number of pages necessary for the header
|
void |
readHeader(byte[] data)
Initializes this header from the specified file.
|
void |
readHeader(java.io.RandomAccessFile file)
Initializes this header from the specified file.
|
int |
size()
Returns the size of this header in Bytes.
|
void |
writeHeader(java.io.RandomAccessFile file)
Writes this header to the specified file.
|
int size()
void readHeader(java.io.RandomAccessFile file) throws java.io.IOException
file
- the file to which this header belongsjava.io.IOException
- if an I/O-error occurs during readingvoid readHeader(byte[] data)
data
- byte array with the page data.void writeHeader(java.io.RandomAccessFile file) throws java.io.IOException
file
- the file to which this header belongsjava.io.IOException
- IOException if an I/O-error occurs during writingbyte[] asByteArray()
int getPageSize()
int getReservedPages()
Copyright © 2019 ELKI Development Team. License information.