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-14 11:46:08 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!fu-berlin.de!uni-berlin.de!213.200.246.247!not-for-mail
From: Vinzent Hoefler <ada.rocks@jlfencey.com>
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: Wed, 14 May 2003 20:45:08 +0200
Organization: JeLlyFish software
Message-ID: <b9u2te$n7g67$1@ID-175126.news.dfncis.de>
References: <9fa75d42.0305091549.48b9c5d9@posting.google.com>
 <dstanbro-DDA263.20492210052003@mec2.bigpond.net.au>
 <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>
NNTP-Posting-Host: 213.200.246.247
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: quoted-printable
X-Trace: fu-berlin.de 1052937967 24363207 213.200.246.247 (16 [175126])
X-Newsreader: Forte Agent 1.8/32.548
Xref: archiver1.google.com comp.lang.ada:37331
Date: 2003-05-14T20:45:08+02:00
List-Id: <comp.lang.ada>

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.

=46or me I have to say, I use(d) the debugger quite often in C, I still
use it for some stuff in Pascal but with now about a year experience
in doing more and more serious Ada-stuff I never had to use it there.


Vinzent.

[0] Probably I should upgrade it sooner or later. IIRC it said 1992 at
startup... ;)

--=20
Parents strongly cautioned  --  this  posting  is  intended for mature
audiences  over  18.  It  may  contain some material that many parents
would not find suitable for children and may include intense violence,
sexual situations, coarse language and suggestive dialogue.