|
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface PageHeader

Defines the requirements for a header of a persistent page file. A header must at least store the size of a page in Bytes.
| Method Summary | |
|---|---|
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. |
| Method Detail |
|---|
int size()
void readHeader(RandomAccessFile file)
throws IOException
file - the file to which this header belongs
IOException - 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 belongs
IOException - IOException if an I/O-error occurs during writingbyte[] asByteArray()
int getPageSize()
int getReservedPages()
|
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||||