From: Petter Fryklund <petter.fryklund@atero.se>
Subject: Re: constructor in abstract tagged types
Date: Thu, 9 May 2019 21:46:05 -0700 (PDT)
Date: 2019-05-09T21:46:05-07:00 [thread overview]
Message-ID: <ed8dcda6-f8c1-41e4-8cfb-379e1d175e35@googlegroups.com> (raw)
In-Reply-To: <82417f9e-295d-4368-91ec-e79ce5349193@googlegroups.com>
Den torsdag 9 maj 2019 kl. 16:40:28 UTC+2 skrev AdaMagica:
> 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;
Adding keyword overriding will generate compiler error:
overriding procedure F_Forced_to_do_it;
which helps.
next prev parent reply other threads:[~2019-05-10 4:46 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 [this message]
2019-05-18 11:35 ` Daniel
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