From: Daniel <danielnorberto@gmail.com>
Subject: Re: constructor in abstract tagged types
Date: Sat, 18 May 2019 04:35:16 -0700 (PDT)
Date: 2019-05-18T04:35:16-07:00 [thread overview]
Message-ID: <71326cfb-9a77-4f19-bd28-8b47cbe3e816@googlegroups.com> (raw)
In-Reply-To: <82417f9e-295d-4368-91ec-e79ce5349193@googlegroups.com>
El jueves, 9 de mayo de 2019, 16:40:28 (UTC+2), AdaMagica escribió:
> Am Mittwoch, 8. Mai 2019 20:37:25 UTC+2 schrieb Daniel:
> Dmitry's solution is the way to do it.
>
> > procedure F_forced_to_do_it is abstract;
>
> This is not a primitive operation of Fathers.
> Declaring it abstract makes it uncallable. So why define it at all.
>
> > package FATHERS.SONS is
> > procedure F_Forced_to_do_it;
>
> This is not inherited, so does not override the abstract operation definied in Fathers.
> It's also not a primitive operation.
>
> > end FATHERS.SONS;
I declare it as an obligated "interface". I want that any children that extend father has to implement it.
next prev parent reply other threads:[~2019-05-18 11:35 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-05-08 18:37 constructor in abstract tagged types Daniel
2019-05-08 19:26 ` Dmitry A. Kazakov
2019-05-18 11:31 ` Daniel
2019-05-08 20:50 ` Jere
2019-05-10 22:35 ` Randy Brukardt
2019-05-09 14:40 ` AdaMagica
2019-05-10 4:46 ` Petter Fryklund
2019-05-18 11:35 ` Daniel [this message]
2019-05-10 22:40 ` Randy Brukardt
2019-05-18 11:43 ` Daniel
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox