
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(RandomAccessFile file)Initializes this header from the specified file. | 
| int | size()Returns the size of this header in Bytes. | 
| void | writeHeader(RandomAccessFile file)Writes this header to the specified file. | 
int size()
void readHeader(RandomAccessFile file) throws IOException
file - the file to which this header belongsIOException - if an I/O-error occurs during readingvoid readHeader(byte[] data)
data - byte array with the page data.void writeHeader(RandomAccessFile file) throws IOException
file - the file to which this header belongsIOException - IOException if an I/O-error occurs during writingbyte[] asByteArray()
int getPageSize()
int getReservedPages()