Uses of Class
diskmgr.OutOfSpaceException

Packages that use OutOfSpaceException

diskmgr

Uses of OutOfSpaceException in diskmgr

Methods in diskmgr that throw OutOfSpaceException

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