public class FilePageManager extends Object implements PageManager
| Constructor and Description |
|---|
FilePageManager() |
FilePageManager(File file) |
| Modifier and Type | Method and Description |
|---|---|
Page |
createPage() |
Page |
createTempPage() |
int |
getNumPages() |
Page |
getPage(int index) |
int |
getPageSize() |
void |
releasePage(Page page) |
void |
removePage(Page page) |
void |
write(Page page) |
public FilePageManager()
public FilePageManager(File file)
public Page createPage()
createPage in interface PageManagerpublic Page createTempPage()
createTempPage in interface PageManagerpublic int getNumPages()
getNumPages in interface PageManagerpublic Page getPage(int index)
getPage in interface PageManagerpublic int getPageSize()
getPageSize in interface PageManagerpublic void releasePage(Page page)
releasePage in interface PageManagerpublic void removePage(Page page)
removePage in interface PageManagerpublic void write(Page page)
write in interface PageManagerCopyright © 2015 Revolution Systems Inc.. All rights reserved.