Uses of Class
diskmgr.InvalidRunSizeException

Packages that use InvalidRunSizeException

diskmgr

Uses of InvalidRunSizeException in diskmgr

Methods in diskmgr that throw InvalidRunSizeException

void	DiskMgr.add_file_entry(java.lang.String fname, PageId start_page_num) Adds a file entry to the header page(s).