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,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: 103376,ff8a65471f12b057,start
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: "Alex R. Mosteo" <devnull@mailinator.com>
Newsgroups: comp.lang.ada
Subject: Two 'Output questions
Date: Thu, 30 Jun 2005 20:34:48 +0200
Message-ID: <42C43B48.1040802@mailinator.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: individual.net cvistvsSdKr2lDT9+cqbpQYW59VZfWwnWoXk75io2spy5gYT4=
User-Agent: Mozilla Thunderbird 1.0.2 (X11/20050317)
X-Accept-Language: en-us, en
Xref: g2news1.google.com comp.lang.ada:11768
Date: 2005-06-30T20:34:48+02:00
List-Id: <comp.lang.ada>

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. 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.

b) Is there any way to call the default 'Output attribute once you have 
redefined it? The reason for this is that I have a variant record in 
which just one of the variations needs special treatment... I have ideas 
for workarounds but I'm now just curious.

Thanks!