From: "Peter C. Chapin" <PChapin@vtc.vsc.edu>
Subject: Re: Question about out parameters of unconstrained array type.
Date: Sun, 26 Feb 2012 10:29:48 -0500
Date: 2012-02-26T10:29:48-05:00 [thread overview]
Message-ID: <-sudnTwlb8Jl0tfS4p2dnAA@giganews.com> (raw)
In-Reply-To: <MPG.29b4086bef3313be98968b@news.zen.co.uk>
On 2012-02-26 04:14, Phil Thornley wrote:
> Note that it is valid to reference A'Length in the precondition.
Thanks.
The initialization doesn't bother me too much. I have to write something
useful into every element of the out parameter anyway. In this
particular case the "real" data might not be as long as the given array
so just blanket initializing the whole array right up front is satisfactory.
I do see, however, how this issue might be seen as an unnecessary
limitation of SPARK.
Peter
prev parent reply other threads:[~2012-02-26 15:30 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-02-25 15:19 Question about out parameters of unconstrained array type Peter C. Chapin
2012-02-25 15:33 ` Dmitry A. Kazakov
2012-02-25 18:20 ` Phil Thornley
2012-02-25 20:01 ` Simon Wright
2012-02-25 22:44 ` Phil Thornley
2012-02-27 13:48 ` Mark Lorenzen
2012-02-27 15:32 ` Phil Thornley
2012-02-25 23:37 ` Alexander Senier
2012-02-26 1:16 ` Peter C. Chapin
2012-02-26 9:14 ` Phil Thornley
2012-02-26 12:25 ` Alexander Senier
2012-02-26 13:20 ` Phil Thornley
2012-02-26 14:25 ` Niklas Holsti
2012-02-26 17:32 ` Jeffrey Carter
2012-02-26 15:29 ` Peter C. Chapin [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