|
|
|||||||||||||||||||||
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 | |
---|---|
int |
getPageSize()
Returns the size of a page in Bytes. |
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
void writeHeader(RandomAccessFile file) throws IOException
file
- the file to which this header belongs
IOException
int getPageSize()
|
|
||||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |