Uses of Class
diskmgr.DuplicateEntryException

Packages that use DuplicateEntryException

diskmgr

Uses of DuplicateEntryException in diskmgr

Methods in diskmgr that throw DuplicateEntryException

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