comp.lang.ada
 help / color / mirror / Atom feed
From: vnet.IBM.COM@uunet.uu.net
Subject: Re: lint tool for Ada?
Date: 1 Jul 93 17:48:46 GMT	[thread overview]
Message-ID: <19930701.105001.319@almaden.ibm.com> (raw)

>How about it compiler vendors? The only third-party tool that responded needed
 POSIX
>and ASIS compliance. Either the compilers need to go this route so that third-
party
>software can make Ada programmers lives less miserable, or provide toolsets th
at
>actually provided the functionality we need.

There was a panel discussion on tools like this at WADAS yesterday.  I
gather that for any meaningful analysis of the code ASIS is needed (or
it will have to be compiler specific) because you need to get at the
sublib to determine things like unused withs etc.  Ada Assured was
another interesting tool that does some of this kind of thing.  Mostly
based around a language sensitive editor.  It probably also requires
ASIS but I don't know about POSIX.

There were five guys on this panel each from a different company.
Ada Mat, Ada Assured, AQT (which is not a commercial product),
a company called Little Tree (don't remember the product name).
I forget the last.  Apparently there is a market out there.

********************************************************************
* These opinions are mine only.                     John Nestoriak *
********************************************************************

             reply	other threads:[~1993-07-01 17:48 UTC|newest]

Thread overview: 10+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1993-07-01 17:48 vnet.IBM.COM [this message]
  -- strict thread matches above, loose matches on Subject: below --
1993-07-04  8:59 lint tool for Ada? Erik Magnuson
1993-07-01 21:11 cis.ohio-state.edu!math.ohio-state.edu!sdd.hp.com!saimiri.primate.wisc.ed
1993-07-01 12:56 agate!howland.reston.ans.net!darwin.sura.net!europa.eng.gtefsd.com!slc17!
1993-07-01  1:08 cis.ohio-state.edu!news.sei.cmu.edu!ajpo.sei.cmu.edu!wellerd
1993-06-30 20:14 David Helken
1993-06-29 19:03 Alex Blakemore
1993-06-28 20:45 Jon Wilson, PRC
1993-06-28 20:35 Bill Yow
1993-06-28 19:59 Jon Wilson, PRC
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox