comp.lang.ada
 help / color / mirror / Atom feed
From: Robert A Duff <bobduff@shell01.TheWorld.com>
Subject: Re: Garbage Collection ???
Date: Sat, 14 Apr 2012 14:21:17 -0400
Date: 2012-04-14T14:21:17-04:00	[thread overview]
Message-ID: <wccy5pymaxu.fsf@shell01.TheWorld.com> (raw)
In-Reply-To: 4f88ed79$0$2660$703f8584@news.kpn.nl

"ldries46" <bertus.dries@planet.nl> writes:

> I would declare these variables as not null access whatever, ...

In Ada 2012, you can say:

    type T_Ptr_Opt is access all T;
    subtype T_Ptr is T_Ptr_Opt with
        Dynamic_Predicate => T_Ptr /= null;

Or in GNAT, "Predicate =>" instead of "Dynamic_Predicate =>".

- Bob



  reply	other threads:[~2012-04-14 18:21 UTC|newest]

Thread overview: 16+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2012-04-13 12:14 Garbage Collection ??? ldries46
2012-04-13 13:20 ` Dmitry A. Kazakov
2012-04-13 19:27   ` ldries46
2012-04-13 20:06     ` Dmitry A. Kazakov
2012-04-13 22:49     ` Brian Drummond
2012-04-14  3:21       ` ldries46
2012-04-14 18:21         ` Robert A Duff [this message]
2012-04-18  9:07           ` Julian Leyh
2012-04-19 14:36             ` Robert A Duff
2012-04-19 20:26               ` Randy Brukardt
2012-04-20  7:11                 ` Dmitry A. Kazakov
2012-04-21  0:46                   ` Randy Brukardt
  -- strict thread matches above, loose matches on Subject: below --
1992-04-22 18:55 Garbage collection? dog.ee.lbl.gov!overload.lbl.gov!agate!spool.mu.edu!yale.edu!jvnc.net!darw
1992-04-21 23:48 Robert I. Eachus
1992-04-21 23:02 Rick Hudson
1992-04-21 21:09 titan.ksc.nasa.gov!mcroberts
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox