From: "Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>
Subject: Re: Access types - what's happening here?
Date: Wed, 26 May 2010 01:33:42 +0200
Date: 2010-05-26T01:33:42+02:00 [thread overview]
Message-ID: <op.vdabqgn9xmjfy8@garhos> (raw)
In-Reply-To: be7c9ee2-1c1e-4046-9d08-d25a9ca433d5@z15g2000prh.googlegroups.com
Le Wed, 26 May 2010 00:47:24 +0200, KK6GM <mjsilva@scriptoriumdesigns.com>
a écrit:
> On May 25, 3:39 pm, Yannick Duchêne (Hibou57)
> <yannick_duch...@yahoo.fr> wrote:
>> Le Wed, 26 May 2010 00:38:03 +0200, Yannick Duchêne (Hibou57)
>
>> Old_Serial_Number := Serial_Number("Lovelace, Ada");
>> Old_Serial_Number.all := New_Serial_Number;
>
> Yes, after a few more minutes thinking about it I see what's
> happening. The value of New_Serial_Number is being stored via the
> unnamed access value returned by Serial_Number().
You got it!
And welcome to/aboard Ada
--
There is even better than a pragma Assert: a SPARK --# check.
prev parent reply other threads:[~2010-05-25 23:33 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-05-25 22:27 Access types - what's happening here? KK6GM
2010-05-25 22:38 ` Yannick Duchêne (Hibou57)
2010-05-25 22:39 ` Yannick Duchêne (Hibou57)
2010-05-25 22:47 ` KK6GM
2010-05-25 23:33 ` Yannick Duchêne (Hibou57) [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox