Uses of Class
diskmgr.DiskMgrException

Packages that use DiskMgrException

diskmgr

Uses of DiskMgrException in diskmgr

Methods in diskmgr that throw DiskMgrException

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.