From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on ip-172-31-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.5-pre1 Date: 31 Jan 93 23:02:48 GMT From: rharwood@east.pima.edu Subject: Re: WANTED: lint for ada Message-ID: <1993Jan31.160248.1@east.pima.edu> List-Id: 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