comp.lang.ada
 help / color / mirror / Atom feed
From: jws@hpcljws.HP.COM (John Stafford)
Subject: Re: Exceptions raised by I/O operations
Date: 5 Jan 89 18:10:34 GMT	[thread overview]
Message-ID: <920007@hpcljws.HP.COM> (raw)
In-Reply-To: 8104@aw.sei.cmu.edu

The information that is accumulating is all useful, but as usual, it
seems that the more I learn the more questions I have.

John Goodenough indicates that his interpretation is that NAME should
not raise NAME_ERROR and if the name cannot be determined that USE_ERROR
be raised.  I'm sorry that it isn't clear to me whether he means that
the OPEN/CREATE call should raise USE_ERROR if it determines that the
NAME will not be determinable or that NAME should raise USE_ERROR.

If OPEN/CREATE should raise USE_ERROR it seems to unfairly penalize the
user, who may not ever want or need the name, but who can open and use
the file.  If NAME should raise USE_ERROR then I can't find strong
objection to it raising NAME_ERROR either, as STATUS_ERROR is the only
exception that it is specified as being able to raise (granted neither
USE_ERROR nor NAME_ERROR really indicates what is wrong and perhaps
USE_ERROR is a "closer" error than NAME_ERROR and hence is to be
preferred).  In either case, I suspect that Appendix F should indicate
that whatever exception is raised can be due to an inability to
determine the name even though the file may be perfectly accessible to
the user.

Thanks to John Goodenough for pointing out 14.1(11) which actually makes
these waters slightly muddier as well.  One could interpret "the
situations in which they can be raised are described, ..., or in
Appendix F in the case of error situations that are
implementation-dependent" as indicating that any I/O call could raise
any I/O exception in an "implementation dependent error situation".  Is
that a potentially reasonable interpretation?

--
John Stafford -- Hewlett Packard California Language Lab
{allegra,decvax,ihnp4,ucbvax}!hplabs!hpda!jws
{fortune,sun,thirdi,ucbvax}  !hpda  !jws

  reply	other threads:[~1989-01-05 18:10 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1989-01-04 16:02 Exceptions raised by I/O operations John Goodenough
1989-01-05 18:10 ` John Stafford [this message]
  -- strict thread matches above, loose matches on Subject: below --
1989-01-06 16:52 John Goodenough
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox