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: 1108a1,9a0ff0bffdf63657
X-Google-Attributes: gid1108a1,public
X-Google-Thread: 103376,4b06f8f15f01a568
X-Google-Attributes: gid103376,public
X-Google-Thread: f43e6,9a0ff0bffdf63657
X-Google-Attributes: gidf43e6,public
From: Charles Hixson <charleshixsn@earthlink.net>
Subject: Re: Software landmines (loops)
Date: 1998/09/06
Message-ID: <35F2E907.594CD023@earthlink.net>#1/1
X-Deja-AN: 388480684
Content-Transfer-Encoding: 7bit
References: <35DBDD24.D003404D@calfp.co.uk> <m3ogt3qgca.fsf@mheaney.ni.net>
 <6sbuod$fra$1@hirame.wwa.com> <35f51e53.48044143@
 <904556531.666222@miso.it.uq.edu.au> <6sgror$je8$3@news.indigo.ie>
 <6sh3qn$9p2$1@hirame.wwa.com> <Oi4H1.219$qj1.315418@newsread.com>
 <6simjo$jnh$1@hirame.wwa.com> <m3lno372be.fsf@mheaney.ni.net>
 <6sjk3p$4tc$1@hirame.wwa.com> <m34suq7qra.fsf@mheaney.ni.net>
 <6skgn4$3gq$1@hirame.wwa.com> <m3ogsy5che.fsf@mheaney.ni.net>
 <6sm6md$3fh$1@hirame.wwa.com> <35f1375e.6237208@news.erols.com>
 <35F074C9.E10C3265@s054.aone.net.au>
X-Posted-Path-Was: not-for-mail
Content-Type: text/plain; charset=us-ascii
X-ELN-Date: Sun Sep  6 12:54:00 1998
Organization: Mandala Fluteworks
Mime-Version: 1.0
Newsgroups: comp.lang.eiffel,comp.object,comp.software-eng,comp.lang.ada
Date: 1998-09-06T00:00:00+00:00
List-Id: <comp.lang.ada>

Loryn Jenkins wrote:
... 
> This is an interesting approach to DBC: specify your preconditions and
> write your function to ensure the preconditions are met, else bail.
> 
> However, I think Meyer's approach to DBC is more powerful than this.
> Basically, Meyer's approach is to make the calling routine check the
> preconditions, not the called routine.
...
> Loryn Jenkins

But frequently the programmer does not have the choice of what language
is to be used.  E.g., most of my work for the last couple of years has
been in various flavors of Visual Basic.  (At least it's lots better
than Dartmouth Basic).