|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use FileEntryNotFoundException | |
|---|---|
| diskmgr | |
| Uses of FileEntryNotFoundException in diskmgr |
|---|
| Methods in diskmgr that throw FileEntryNotFoundException | |
|---|---|
void |
DiskMgr.delete_file_entry(java.lang.String fname)
Delete the entry corresponding to a file from the header page(s). |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||