comp.lang.ada
 help / color / mirror / Atom feed
From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Prologue and epilogue aspects
Date: Sat, 27 Jan 2018 01:17:17 -0600
Date: 2018-01-27T01:17:17-06:00	[thread overview]
Message-ID: <p4h91t$d3t$1@franka.jacob-sparre.dk> (raw)
In-Reply-To: p4g15r$1s60$1@gioia.aioe.org

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

We tried to define a special kind of interface that could be used in the 
private part in exchange for a promise never to add such an interface to a 
descendant of the private type. It didn't work out very well.

                              Randy.


  reply	other threads:[~2018-01-27  7:17 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 [this message]
2018-01-27  9:33   ` Dmitry A. Kazakov
2018-01-29 23:08     ` Randy Brukardt
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