comp.lang.ada
 help / color / mirror / Atom feed
From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Prologue and epilogue aspects
Date: Mon, 29 Jan 2018 17:08:44 -0600
Date: 2018-01-29T17:08:44-06:00	[thread overview]
Message-ID: <p4o9ht$tja$1@franka.jacob-sparre.dk> (raw)
In-Reply-To: p4hh1n$1qao$1@gioia.aioe.org

You mean sort of like "universal_controlled"? As previously noted, that 
might work for streams (and maybe pools),but controlled usually carries 
components along as well, so an interface (which cannot have components) is 
a bad match.

                       Randy.

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
news:p4hh1n$1qao$1@gioia.aioe.org...
> On 2018-01-27 08:17, Randy Brukardt wrote:
>> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
>> news:p4g15r$1s60$1@gioia.aioe.org...
>> ...
>>>     type Controlled is abstract new <anonymous> with private;
>>
>> This unfortunately doesn't fix anything. An interface never can be hidden
>> (only in the private part), and deriving a concrete type from an 
>> interface
>> doesn't change that.
>
> But the interface is anonymous, it cannot be referenced in any way 
> anywhere. It is mentioned only to be inherited from by a named interface.
>
>         <anonymous>
>           /     \
>   Controlled   Controlled_Interface
>
> -- 
> Regards,
> Dmitry A. Kazakov
> http://www.dmitry-kazakov.de 


  reply	other threads:[~2018-01-29 23:08 UTC|newest]

Thread overview: 15+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2018-01-26 19:56 Prologue and epilogue aspects Dmitry A. Kazakov
2018-01-27  7:17 ` Randy Brukardt
2018-01-27  9:33   ` Dmitry A. Kazakov
2018-01-29 23:08     ` Randy Brukardt [this message]
2018-01-30  8:31       ` Dmitry A. Kazakov
2018-01-30 22:02         ` Randy Brukardt
2018-01-31 15:05           ` Dmitry A. Kazakov
2018-02-01  0:17             ` Randy Brukardt
2018-02-01  9:03               ` Dmitry A. Kazakov
2018-02-01 23:47                 ` Randy Brukardt
2018-02-02  6:59                   ` Niklas Holsti
2018-02-02 22:20                     ` Randy Brukardt
2018-02-02  8:46                   ` Dmitry A. Kazakov
2018-02-02  9:31                     ` Niklas Holsti
2018-02-02 10:21                       ` Dmitry A. Kazakov
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox