The standard library Io_Exceptions api defines access to exceptions generated during basic file input/output functionality.
The Io_Exceptions api is implemented by the io_exceptions package.
The Io_Exceptions api source code is in src/lib/std/src/io/io-exceptions.api.
The above information is manually maintained and may contain errors.
api {
exception IO {cause:Exception, name:String, op:String};
exception BLOCKING_IO_NOT_SUPPORTED;
exception RANDOM_ACCESS_IO_NOT_SUPPORTED;
exception TERMINATED_INPUT_STREAM;
exception CLOSED_IO_STREAM;
Buffering_Mode = BLOCK_BUFFERING | LINE_BUFFERING | NO_BUFFERING;};