From: Simon Wright <simon@pushface.org>
Subject: Re: Declaring constants for a abstract tagged type and concrete sub classes
Date: Tue, 07 Jul 2015 21:14:35 +0100
Date: 2015-07-07T21:14:35+01:00 [thread overview]
Message-ID: <lyegkjn2s4.fsf@pushface.org> (raw)
In-Reply-To: 87b318bc-9534-413a-ad3c-dc2a12855ef2@googlegroups.com
Serge Robyns <serge.robyns@gmail.com> writes:
> On Tuesday, 7 July 2015 19:21:46 UTC+2, G.B. wrote:
>> On 07.07.15 18:27, Serge Robyns wrote:
>>
>> > Now I'm facing my other issue, how to "merge" the root and child
>> > part in a new No_Element ... This is about valid Ada syntax.
>>
>> > No_Element : constant T_Concrete := ( T_Root.No_Element, 789);
>>
>> If the derived type stays within the package hierarchy,
>> i.e. in a child package (that's Abstract_Root.No_Element
>> in the extension aggregate):
>>
>> ...
>> private
>> No_Element : constant Non_Abstract :=
>> Non_Abstract'(No_Element with
>> Abc => -42);
>>
>
> This one did the trick! I'm marveled by the syntax and the meaning of
> the standalone tick (').
In this case you really don't need the Non_Abstract'; as evidenced by
my post in this thread yesterday, which I wouldn't have posted had it
not compiled.
with Abstract_Root;
package Concrete is
type T_Concrete is new Abstract_Root.T_Root with private;
No_Element : constant T_Concrete;
private
type T_Concrete is new Abstract_Root.T_Root with record
ABC : Integer;
end record;
No_Element : constant T_Concrete :=
(Abstract_Root.T_Root with ABC => -42);
end Concrete;
next prev parent reply other threads:[~2015-07-07 20:14 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-07-06 10:10 Declaring constants for a abstract tagged type and concrete sub classes Serge Robyns
2015-07-06 11:55 ` G.B.
2015-07-06 13:49 ` Serge Robyns
2015-07-06 17:36 ` G.B.
2015-07-07 16:27 ` Serge Robyns
2015-07-07 17:21 ` G.B.
2015-07-07 19:51 ` Serge Robyns
2015-07-07 20:14 ` Simon Wright [this message]
2015-07-07 20:18 ` Jeffrey R. Carter
2015-07-06 15:42 ` Simon Wright
2015-07-06 16:35 ` Serge Robyns
2015-07-06 17:02 ` Bob Duff
2015-07-06 21:16 ` Serge Robyns
2015-07-06 17:30 ` gautier_niouzes
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox