comp.lang.ada
 help / color / mirror / Atom feed
From: Alan Copeland <acopeland01@gmail.com>
Subject: Re: Preventing Unchecked_Deallocation?
Date: Tue, 7 Feb 2012 15:06:10 -0800 (PST)
Date: 2012-02-07T15:06:10-08:00	[thread overview]
Message-ID: <ac4ac2b3-602e-4733-b231-f800fc508a02@y10g2000vbn.googlegroups.com> (raw)
In-Reply-To: wcczkcu2uxh.fsf@shell01.TheWorld.com

On Feb 7, 4:30 pm, Robert A Duff <bobd...@shell01.TheWorld.com> wrote:
> I don't understand that last sentence.  You don't need pointers
> (access types) to call primitive operations.

Sure, but from a practical standpoint, what other choice is there?
You can't save the actual object Z off into an element of both X and Y
(otherwise you would have two separate objects), so you have to save
an access value.  That way primitive ops of X and Y can both call
primitive ops on the same Z.  Unless I'm missing something...


-sb



  parent reply	other threads:[~2012-02-07 23:06 UTC|newest]

Thread overview: 37+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2012-02-02 23:41 Preventing Unchecked_Deallocation? Simon Belmont
2012-02-04 14:40 ` AdaMagica
2012-02-05 16:42   ` Simon Belmont
2012-02-06 12:52     ` Julian Leyh
2012-02-06 16:05       ` Adam Beneschan
2012-02-06 16:21     ` Adam Beneschan
2012-02-06 18:34       ` AdaMagica
2012-02-07  0:14       ` Simon Belmont
2012-02-07  2:19         ` Shark8
2012-02-07 16:39           ` Robert A Duff
2012-02-07 11:42         ` Gautier write-only
2012-02-07 21:11           ` Simon Belmont
2012-02-07 21:30             ` Robert A Duff
2012-02-07 22:23               ` Simon Wright
2012-02-07 23:07                 ` Robert A Duff
2012-02-08  8:43                   ` Simon Wright
2012-02-08 15:06                     ` Robert A Duff
2012-02-09  2:22                     ` Randy Brukardt
2012-02-09  7:28                       ` Simon Wright
2012-02-07 23:06               ` Alan Copeland [this message]
2012-02-07 23:10                 ` Robert A Duff
2012-02-09  2:49         ` Randy Brukardt
2012-02-09  3:39           ` Jeffrey Carter
2012-02-09 15:47             ` Adam Beneschan
2012-02-09 19:16               ` Jeffrey Carter
2012-02-09  7:37           ` Simon Wright
2012-02-10  1:08             ` Randy Brukardt
2012-02-10  7:35               ` Simon Wright
2012-02-07  6:26     ` Jeffrey Carter
2012-02-08  8:49       ` Maciej Sobczak
2012-02-08 23:40         ` BrianG
2012-02-09  2:57         ` Randy Brukardt
2012-02-09  7:13           ` Pascal Obry
2012-02-10  1:12             ` Randy Brukardt
2012-02-09  8:08           ` Maciej Sobczak
2012-02-10  1:18             ` Randy Brukardt
2012-02-07 16:27     ` Robert A Duff
replies disabled

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