Uses of Class
diskmgr.FileIOException

Packages that use FileIOException

diskmgr

Uses of FileIOException in diskmgr

Methods in diskmgr that throw FileIOException

void	DiskMgr.add_file_entry(java.lang.String fname, PageId start_page_num) Adds a file entry to the header page(s).
void	DiskMgr.delete_file_entry(java.lang.String fname) Delete the entry corresponding to a file from the header page(s).
void	DiskMgr.dump_space_map() Print out the space map of the database.
PageId	DiskMgr.get_file_entry(java.lang.String name) Get the entry corresponding to the given file.
void	DiskMgr.openDB(java.lang.String fname) Open the database with the given name.
void	DiskMgr.read_page(PageId pageno, Page apage) Read the contents of the specified page into a Page object
void	DiskMgr.write_page(PageId pageno, Page apage) Write the contents in a page object to the specified page.