From: AdaMagica <christ-usch.grein@t-online.de>
Subject: Re: Use of abstract tagged types without access types
Date: Fri, 10 Jun 2011 02:42:54 -0700 (PDT)
Date: 2011-06-10T02:42:54-07:00 [thread overview]
Message-ID: <a3682a81-4b32-4de3-a38c-ce8a59b9e903@e35g2000yqc.googlegroups.com> (raw)
In-Reply-To: m21uz240kj.fsf@pushface.org
On 10 Jun., 09:17, Simon Wright <si...@pushface.org> wrote:
> AdaMagica <christ-usch.gr...@t-online.de> writes:
> > type Parent_Type (Child: access Child_Type'Class)
> > is new Ada.Finalization.Controlled with null record;
>
> Does that have to be (Child : not null access Child_Type'Class)
> nowadays?
Not necessarily, only if you would prevent null values.
next prev parent reply other threads:[~2011-06-10 9:42 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-06-09 17:44 Use of abstract tagged types without access types Prof. Dr. Carl Weierstrass
2011-06-10 6:53 ` AdaMagica
2011-06-10 7:17 ` Simon Wright
2011-06-10 9:42 ` AdaMagica [this message]
2011-06-12 5:51 ` Yannick Duchêne (Hibou57)
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox