From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Newsgroups: comp.lang.ada
Subject: Re: text_io.Put_line behaviour on failure
Date: Fri, 4 Dec 2015 11:57:04 -0700
Organization: Also freenews.netfront.net; news.tornevall.net;
 news.eternal-september.org
Message-ID: <n3snhe$rsj$1@dont-email.me>
References: <77de5ee0-3ae1-4bad-ac44-e61619c126b0@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=windows-1252
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 4 Dec 2015 18:54:40 -0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="caa759af2a9c666aec02942f6fe5abd6";
	logging-data="28563"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19aMytAmd1hc7gmE3in2k7dqHqCqPlpnAM="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101
 Thunderbird/38.3.0
In-Reply-To: <77de5ee0-3ae1-4bad-ac44-e61619c126b0@googlegroups.com>
X-Mozilla-News-Host: news://freenews.netfront.net
Cancel-Lock: sha1:YTyYqZDG1FMz2wfGZ/uGPNdd3+8=
Xref: news.eternal-september.org comp.lang.ada:28638
Date: 2015-12-04T11:57:04-07:00
List-Id: <comp.lang.ada>

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