next up previous contents index
Next: FileExceptionType Up: Input/Output Previous: uniqueName   Contents   Index


FileException


Usage

throw FileException
try ...catch E in { E has FileExceptionType $=>$ ...}


Description

FileException is an exception type thrown by file operations.



Manuel Bronstein 2004-06-28