P
- Page filepublic interface PageFile<P extends Page> extends PageFileStatistics
Modifier and Type | Method and Description |
---|---|
void |
clear()
Clears this PageFile.
|
void |
close()
Closes this file.
|
void |
deletePage(int pageID)
Deletes the node with the specified id from this file.
|
int |
getNextPageID()
Returns the next page id.
|
int |
getPageSize()
Get the page size of this page file.
|
boolean |
initialize(PageHeader header)
Initialize the page file with the given header - return "true" if the file
already existed.
|
P |
readPage(int pageID)
Reads the page with the given id from this file.
|
void |
setNextPageID(int nextPageID)
Sets the next page id.
|
Integer |
setPageID(P page)
Sets the id of the given page.
|
int |
writePage(P page)
Writes a page into this file.
|
getInnerStatistics, getReadOperations, getWriteOperations, resetPageAccess
Integer setPageID(P page)
page
- the page to set the idint writePage(P page)
page
- the page to be writtenP readPage(int pageID)
pageID
- the id of the page to be returnedvoid deletePage(int pageID)
pageID
- the id of the node to be deletedvoid close()
void clear()
int getNextPageID()
void setNextPageID(int nextPageID)
nextPageID
- the next page id to be setint getPageSize()
boolean initialize(PageHeader header)
header
- Header