From: "Adam Beneschan" <adam@irvine.com>
Subject: Re: Return statements and their scope - guideline
Date: 14 Feb 2007 09:31:18 -0800
Date: 2007-02-14T09:31:18-08:00 [thread overview]
Message-ID: <1171474278.217876.63570@k78g2000cwa.googlegroups.com> (raw)
In-Reply-To: <LYGAh.1196164$084.827457@attbi_s22>
On Feb 14, 8:41 am, "Jeffrey R. Carter" <jrcar...@acm.org> wrote:
> Maciej Sobczak wrote:
> No. This is the rule in SPARK: You have to write
>
> if Some_Condition then
> Result := 0;
> else
> ...
> Result := ...;
> end if;
>
> return Result;
I'm not familiar with SPARK. What does SPARK make you do when the
function result is a string or some other unconstrained array?
-- Adam
next prev parent reply other threads:[~2007-02-14 17:31 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2007-02-14 16:20 Return statements and their scope - guideline Maciej Sobczak
2007-02-14 16:41 ` Jeffrey R. Carter
2007-02-14 17:31 ` Adam Beneschan [this message]
2007-02-15 7:33 ` Maciej Sobczak
2007-02-15 7:37 ` Maciej Sobczak
2007-02-14 16:46 ` Adam Beneschan
2007-02-14 20:06 ` 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