comp.lang.ada
 help / color / mirror / Atom feed
From: Phil Thornley <phil.jpthornley@gmail.com>
Subject: Re: Question about SPARK flow error.
Date: Sat, 19 Jun 2010 12:24:12 -0700 (PDT)
Date: 2010-06-19T12:24:12-07:00	[thread overview]
Message-ID: <381eb3e7-71e2-4405-85bd-c02b7e41b44e@h13g2000yqm.googlegroups.com> (raw)
In-Reply-To: 884g9oF462U1@mid.individual.net

On 19 June, 19:23, "Gavino" <inva...@invalid.invalid> wrote:
> "Phil Thornley" <phil.jpthorn...@gmail.com> wrote in message
>
> news:fd3e54b4-bff0-470a-8409-f48c3289a2f3@x27g2000yqb.googlegroups.com...
>
> > One way to get rid of the error is to introduce a 'Local_Index' that
> > is set in the loop; then set Index to that value after the loop if
> > Found is True (and your existing code if False).
>
> Doesn't that just push the flow error onto Local_Index?
> After all, the loop body itself may (in principle) never be executed.

Ummm, yes, you're probably right :-(

(Just shows that I should have stuck to my normal policy of not
pronouncing on what the Examiner will do without checking it first on
real code).

Cheers,

Phil



  reply	other threads:[~2010-06-19 19:24 UTC|newest]

Thread overview: 9+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-06-19 16:58 Question about SPARK flow error Peter C. Chapin
2010-06-19 18:03 ` Phil Thornley
2010-06-19 18:23   ` Gavino
2010-06-19 19:24     ` Phil Thornley [this message]
2010-06-19 18:14 ` Gavino
2010-06-19 19:29   ` Phil Thornley
2010-06-19 23:28 ` Phil Thornley
2010-06-20  0:37   ` Peter C. Chapin
2010-06-20  8:42     ` Phil Thornley
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox