From: Jeffrey Carter <spam@spam.com>
Subject: Re: Access1 := new Accessed_Type; Access1 = Access2 ...?!
Date: Sat, 27 Nov 2004 20:42:41 GMT
Date: 2004-11-27T20:42:41+00:00 [thread overview]
Message-ID: <5F5qd.5043$NU3.2996@newsread1.news.pas.earthlink.net> (raw)
In-Reply-To: <30r96lF34a891U1@uni-berlin.de>
Florian Haag wrote:
> if State_Access /= null then
Not responding to your question, but State_Access can never be null
here. "new" either returns a non-null access value or an exception is
raised (usually Storage_Error). See ARM 4.8 and 13.11.
--
Jeff Carter
"Many times we're given rhymes that are quite unsingable."
Monty Python and the Holy Grail
57
next prev parent reply other threads:[~2004-11-27 20:42 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-11-27 12:12 Access1 := new Accessed_Type; Access1 = Access2 ...?! Florian Haag
2004-11-27 13:58 ` Jeff C r e e.m
2004-11-28 9:56 ` Florian Haag
2004-11-27 20:42 ` Jeffrey Carter [this message]
-- strict thread matches above, loose matches on Subject: below --
2004-11-29 6:51 Christoph Karl Walter Grein
2004-11-29 17:54 ` Florian Haag
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox