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=-0.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM,
	FREEMAIL_REPLY autolearn=no 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!news3.google.com!news2.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: Re: Two 'Output questions
Date: Fri, 01 Jul 2005 11:09:13 +0200
Message-ID: <42C50839.6020302@mailinator.com>
References: <42C43B48.1040802@mailinator.com>
 <gYCdnSO97OH431nfRVn-og@megapath.net>
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: individual.net uD772hpuFh1/ja0S7qEIaQSaza8uqZdEHVviXVbPGZog8ZWFM=
User-Agent: Mozilla Thunderbird 1.0.2 (X11/20050317)
X-Accept-Language: en-us, en
In-Reply-To: <gYCdnSO97OH431nfRVn-og@megapath.net>
Xref: g2news1.google.com comp.lang.ada:11810
Date: 2005-07-01T11:09:13+02:00
List-Id: <comp.lang.ada>

Randy Brukardt wrote:
> "Alex R. Mosteo" <devnull@mailinator.com> wrote in message
> news:42C43B48.1040802@mailinator.com...
> 
>>Hello everybody,
>>
>>a) Is there any guarantee that 'Output is implemented like...?
>>
>>    1. Write bounds/Tag
>>    2. Call to 'Write
> 
> 
> No, because it might be inherited (untagged types only) or redefined. But if
> it is not, the default implementation is described by 13.13.2(25-27), and it
> says the same as the above.

Shame on me, I managed to read two times that section skipping the 
clarification in parentheses.

>>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.
> 
> 
> If the type is derived, you can call the operation of the parent type in the
> obvious way. You might be able to rename the original operation before the
> redefinition (the "squirreling away" type of rename, which certainly works
> for overriding). But otherwise it is gone.

As I thought.

Thanks for all the answers.