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=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,ff8a65471f12b057
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!news.glorb.com!newsfeeds.sol.net!posts.news.twtelecom.net!nnrp2.twtelecom.net!not-for-mail
Date: Thu, 30 Jun 2005 14:58:07 -0400
From: Matthew Heaney <mheaney@on2.com>
Organization: On2 Technologies, Inc
User-Agent: Mozilla Thunderbird 1.0 (Windows/20041206)
X-Accept-Language: en-us, en
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Two 'Output questions
References: <42C43B48.1040802@mailinator.com>
In-Reply-To: <42C43B48.1040802@mailinator.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <42c440be$0$32193$39cecf19@news.twtelecom.net>
NNTP-Posting-Date: 30 Jun 2005 18:58:07 GMT
NNTP-Posting-Host: d26f6e4b.news.twtelecom.net
X-Trace: 
 DXC=>;Q:lZTA\RengZ=SdGQOKiC_A=>8kQj6m=_1NR_H?JPmMOnPQP8MggddYZAA8S:<l`Ca`8abOZBX`
X-Complaints-To: abuse@twtelecom.net
Xref: g2news1.google.com comp.lang.ada:11773
Date: 2005-06-30T18:58:07+00:00
List-Id: <comp.lang.ada>

Alex R. Mosteo wrote:
> Hello everybody,
> 
> a) Is there any guarantee that 'Output is implemented like...?
> 
>    1. Write bounds/Tag
>    2. Call to 'Write
> 
> I see that the containers provided with gnat gap 2005 have 'write 
> redefined but not 'output.

Yes, because there's no dope for the container types (as there would be 
for an unconstrained array, for example), and hence only 'Write need to 
defined.

(But do note that I do use ET'Output in the implementation of the 'Write 
for the indefinite containers, since there you really do need to write 
out dope.)


> While I don't see reasons to use 'output on 
> definite types (?), I'm guessing gnat does so because of a). I don't see 
> any explanation in the RM, so if I'm right it may be still 
> gnat-dependent. I suppose it's handy too to not have to redefine both 
> 'Output and 'Write when the latter is enough.

There's nothing gnat-specific about what I did for the containers.  I'm 
assuming that the default 'Output is implemented in terms of the 'Write 
defined for the type (but I would have to look this up to be sure).