From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Subject: Re: text_io.Put_line behaviour on failure
Date: Fri, 4 Dec 2015 11:57:04 -0700
Date: 2015-12-04T11:57:04-07:00 [thread overview]
Message-ID: <n3snhe$rsj$1@dont-email.me> (raw)
In-Reply-To: <77de5ee0-3ae1-4bad-ac44-e61619c126b0@googlegroups.com>
On 12/04/2015 07:43 AM, pettylarsony@gmail.com wrote:
> Having searched the ADA documentation and goolged extensively I cannot find
> any definition of how this function behaves under a failure condition or even
> if it can fail.
The language is named for a woman named Ada. It is not an acronym.
The behavior of Put_Line is defined in ARM Annex A. I/O error handling is
defined in ARM A.13:
http://www.adaic.org/resources/add_content/standards/12rm/html/RM-A-13.html
Some of this is, of course, implementation dependent, and you'd need to refer to
the documentation required under "Documentation Requirements" to see how your
implementation handles specific cases. I'd expect Use_Error to be raised for the
examples you cited.
--
Jeff Carter
"Well, a gala day is enough for me. I don't think
I can handle any more."
Duck Soup
93
prev parent reply other threads:[~2015-12-04 18:57 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-12-04 14:43 text_io.Put_line behaviour on failure pettylarsony
2015-12-04 15:12 ` AdaMagica
2015-12-04 15:27 ` G.B.
2015-12-04 18:57 ` Jeffrey R. Carter [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox