From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: fac41,9a0ff0bffdf63657
X-Google-Attributes: gidfac41,public
X-Google-Thread: 103376,4b06f8f15f01a568
X-Google-Attributes: gid103376,public
X-Google-Thread: f43e6,9a0ff0bffdf63657
X-Google-Attributes: gidf43e6,public
X-Google-Thread: 1108a1,9a0ff0bffdf63657
X-Google-Attributes: gid1108a1,public
From: "Gene Gajewski" <ggajewsk@earthlink.net>
Subject: Re: Software landmines (loops)
Date: 1998/08/31
Message-ID: <6sfr9t$9ka$1@birch.prod.itd.earthlink.net>#1/1
X-Deja-AN: 386669628
References: <slrn6sopmg.4fg.jdege@jdege.visi.com>
 <6sbuod$fra$1@hirame.wwa.com> <35f51e53.48044143@news.erols.c
 <m3af4mq7f4.fsf@mheaney.ni.net> <EyKFxq.1LL@ecf.toronto.edu>
X-Posted-Path-Was: not-for-mail
X-MimeOLE: Produced By Microsoft MimeOLE V4.72.3155.0
X-ELN-Date: Mon Aug 31 20:56:45 1998
Organization: EarthLink Network, Inc.
Newsgroups: comp.lang.eiffel,comp.object,comp.software-eng,comp.lang.ada
Date: 1998-08-31T00:00:00+00:00
List-Id: <comp.lang.ada>


Patrick Doyle wrote in message ...

<snip>

>Doubles the number of states, compared to what?  The *only* difference
>is that the exit-in-the-middle code has one of the exit conditions
>hidden inside the loop, instead of being stated explicitly at the
>top or bottom.

Each time you enter a block of code, you carry forward all the assumptions
(exit conditions) of that block, and any of those it is nested in. All of
these, assumptions or exit conditions must be held in mind in observance as
the code is created. Reducing the number of assumptions, or predicates as
some like to call them, allows a cleaner process thought process. It is not
coducive to analysis by exit points. Analysis by predicates requires that
you actually follow the code.