
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. | 
| int | setPageID(P page)Sets the id of the given page. | 
| int | writePage(P page)Writes a page into this file. | 
getInnerStatistics, getReadOperations, getWriteOperations, resetPageAccessint 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