From: Robert Eachus <rieachus@comcast.net>
Subject: Re: interfaces and limited/controlled/limited-controlled types
Date: Thu, 25 Jan 2018 14:00:20 -0800 (PST)
Date: 2018-01-25T14:00:20-08:00 [thread overview]
Message-ID: <4b5de2e4-b5d6-4118-a99c-39dbc38ee13d@googlegroups.com> (raw)
In-Reply-To: <ea190839-2f83-4dbb-9064-8d6f535cc1d0@googlegroups.com>
On Thursday, January 25, 2018 at 11:21:11 AM UTC-5, Mehdi Saada wrote:
> Is it only because of history and compatibility issues, that Limited_Controlled and Controlled aren't rewrote as interfaces ?
> Like: T_type is limited new Ancestor_type with Controlled
> or T_type is new Ancestor_type with Limited_Controlled
>
> Or is there a semantic issue too ?
There is "stuff" in the private part and body of these packages, which needs to be inherited by all controlled types. It is sort of irrelevant whether these package bodies (and private parts) can be written in "pure" Ada. These packages have been around since before Ada 83, when Ada compilers were not written in Ada anyway, and interfaces did not exist.
next prev parent reply other threads:[~2018-01-25 22:00 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-01-25 16:21 interfaces and limited/controlled/limited-controlled types Mehdi Saada
2018-01-25 22:00 ` Robert Eachus [this message]
2018-01-26 4:58 ` Randy Brukardt
2018-01-26 8:28 ` Dmitry A. Kazakov
2018-01-26 11:17 ` Alejandro R. Mosteo
2018-01-27 7:12 ` Randy Brukardt
2018-01-27 14:04 ` Jere
2018-01-27 14:38 ` Dmitry A. Kazakov
2018-01-27 18:28 ` Jere
2018-01-29 23:05 ` Randy Brukardt
2018-01-29 23:03 ` Randy Brukardt
2018-01-31 11:54 ` Alejandro R. Mosteo
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox