From: rharwood@east.pima.edu
Subject: Re: WANTED: lint for ada
Date: 31 Jan 93 23:02:48 GMT [thread overview]
Message-ID: <1993Jan31.160248.1@east.pima.edu> (raw)
In article <1993Jan29.010657.7304@dale.ksc.nasa.gov>,
rhill@dale.ksc.nasa.gov (Russ Hill) writes:
> lint for ada. Is there any such beast?
> sorry for the stupid question.
Hmmm, I think it's called "an Ada compiler".
According to my copy of "The C Programmer's Handbook" (c) 1985 by Bell Labs,
"lint provides strong type checking and shows many possibly nonportable
constructions." Also: "There is not run-time check on the number or types of
arguments passed to a function. You can use [lint] to perform such checks
before the program is compiled."
The Ada compiler performs these functions as mandated by the LRM.
Sorry to answer by post instead of EMail, but I think this is a point often
missed by those just getting to know the language, and worthy of "general
view."
-----
Ray Harwood |Data Basix |Adjunct Faculty, East Campus,
Voice: (602)721-1988 |PO Box 18324 | Pima Community College
FAX: (602)721-7240 |Tucson, AZ 85731 |Instructor in Ada and Pascal
CompuServe: 76645,1370|AppleLink: DATA.BASIX|Internet: rharwood@east.pima.edu
next reply other threads:[~1993-01-31 23:02 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
1993-01-31 23:02 rharwood [this message]
-- strict thread matches above, loose matches on Subject: below --
1993-02-03 20:40 WANTED: lint for ada Bob Kitzberger
1993-02-02 20:33 agate!usenet.ins.cwru.edu!howland.reston.ans.net!zaphod.mps.ohio-state.ed
1993-01-30 2:45 Richard Wallace
1993-01-29 1:06 Russ Hill
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox