next up previous contents index
Next: InputType Up: Input/Output Previous: FileException   Contents   Index


FileExceptionType


Usage

FileExceptionType: Category


Description

FileExceptionType is the category of exceptions thrown by file operations.


Manuel Bronstein 2004-06-28