From: adam@irvine.com (Adam Beneschan)
Subject: Re: Puzzling question
Date: 1997/05/08
Date: 1997-05-08T00:00:00+00:00 [thread overview]
Message-ID: <5ktmck$lcp$1@krusty.irvine.com> (raw)
In-Reply-To: 337209D7.4D25@aisf.com
"Chris Sparks (Mr. Ada)" <sparks@AISF.COM> writes:
>with System;
>
>package body T is
>
> procedure R (V : in System.Address) is begin
>
> null;
>
> end R;
>
> procedure S (U : out Rec_Type) is begin
>
> U.A := 1;
> U.B := 2;
>
> R (V => U.A'Address); -- Why is this valid????????????????
>
> end S;
>
>end T;
6.2(5) says "Reading the bounds and discriminants of the formal
parameter and of its subcomponents is allowed, but no other reading."
I don't know whether "reading" is defined explicitly in the Ada83 RM,
but I would suspect that taking the 'ADDRESS of a parameter is not
considered "reading".
-- Adam
next prev parent reply other threads:[~1997-05-08 0:00 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-05-08 0:00 Puzzling question Chris Sparks (Mr. Ada)
1997-05-08 0:00 ` Adam Beneschan [this message]
1997-05-10 0:00 ` Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox