Re: Two 'Output questions

["Alex R. Mosteo" <devnull@mailinator.com>]

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.