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.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,583275b6950bf4e6
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-05-15 10:48:54 PST
Path: archiver1.google.com!postnews1.google.com!not-for-mail
From: jimmaureenrogers@worldnet.att.net (Jim Rogers)
Newsgroups: comp.lang.ada
Subject: Re: Quality systems (Was: Using Ada for device drivers? (Was: the
   Ada mandate, and why it collapsed and died))
Date: 15 May 2003 10:48:53 -0700
Organization: http://groups.google.com/
Message-ID: <82347202.0305150948.1a023f61@posting.google.com>
References: <9fa75d42.0305091549.48b9c5d9@posting.google.com>
 <ZpGva.13$1Q1.6@read3.inet.fi>
 <7507f79d.0305121629.5b8b7369@posting.google.com>
 <ln0wa.54$a03.44@read3.inet.fi>
 <9fa75d42.0305130543.60381450@posting.google.com>
 <slrnbc1tum.62g.randhol+abuse@kiuk0152.chembio.ntnu.no>
 <b9tcov$u6q$1@slb3.atl.mindspring.net>
 <slrnbc4ne1.8if.randhol+abuse@kiuk0152.chembio.ntnu.no>
 <1052931043.822632@master.nyc.kbcfp.com>
 <b9u2te$n7g67$1@ID-175126.news.dfncis.de>
NNTP-Posting-Host: 209.194.156.4
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: posting.google.com 1053020934 27810 127.0.0.1 (15 May 2003 17:48:54
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: 15 May 2003 17:48:54 GMT
Xref: archiver1.google.com comp.lang.ada:37359
Date: 2003-05-15T17:48:54+00:00
List-Id: <comp.lang.ada>

Vinzent Hoefler <ada.rocks@jlfencey.com> wrote in message news:<b9u2te$n7g67$1@ID-175126.news.dfncis.de>...
> Hyman Rosen <hyrosen@mail.com> wrote:
> 
> >the debugger can give you insight as to what's going on. This
> >doesn't mean that I'm using the debugger to track down buffer
> >overruns or those other Ada-checked things.
> 
> Well, I had to use it two days before[0]. Two parameters to a function
> call that took a lot of ints were accidentally swapped. Yeah, of
> course I could have taken a more deeper look into the function
> specification but I was still sleeping and missed my morning coffee.
> 
> With some distinct types for the parameters an Ada compiler *could*
> have catched this. Of course, one has to make *use* of the strong type
> system, then.

You could also have avoided this problem in Ada using named 
notation on your function call. With named notation the actual
parameters are explicitly associated with the formal parameters,
regardless of the ordering of the parameters.

Jim Rogers