Re: I/O - exception handling

["Randy Brukardt" <randy@rrsoftware.com>]

Preben Randhol wrote in message ...
>Sergey Koshcheyev wrote:
>> Since Is_Open is an I/O feature, this means to me that it may raise
one
>> of these exceptions too.
>
>The implementation of Is_Open in Gnat (3.14p) is:
...
>So I don't see that this can raise an exception.


But of course Gnat /= Ada.

While I don't think any implementor would plan to raise an exception
from Is_Open, certainly the standard allows Use_Error or Device_Error
and of course Storage_Error and Program_Error (if there are elaboration
problems). In practice, I think it's safe to ignore that possibility.

            Randy.