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,4d85dafcfa1dcde6 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-05-28 05:59:55 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!opentransit.net!fr.clara.net!heighliner.fr.clara.net!news-raspail.gip.net!news.gsl.net!gip.net!news1.spb.su!srcc!Gamma.RU!not-for-mail From: "Sergey I. Rybin" Newsgroups: comp.lang.ada Subject: Re: GNAT Programming System - Wow Date: Tue, 28 May 2002 17:09:56 +0400 Organization: Gamma NNTP server Moscow Russia Message-ID: <3CF381A4.69ADC4F0@gnat.com> References: <9Y1A8.25350$D%5.3478@sccrnsc01> <3cf35fdd$1@pull.gecm.com> NNTP-Posting-Host: slip1w.dialup.gol.ru Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: news.gamma.ru 1022590794 2315 194.186.254.210 (28 May 2002 12:59:53 GMT) X-Complaints-To: abuse@gamma.ru NNTP-Posting-Date: Tue, 28 May 2002 12:59:53 +0000 (UTC) X-Mailer: Mozilla 4.7 [en-gb] (WinNT; U) X-Accept-Language: ru,en Xref: archiver1.google.com comp.lang.ada:24866 Date: 2002-05-28T17:09:56+04:00 List-Id: > What is "GNSA"? as mentioned in the 90k SLOC lines under GNSA is GNat Semantic Analyzer. Roughly speaking, it is a GNAT front-end which can easily be built from sources, which has the command line interface very similar to GNAT interface and which can be used as a semantic checker for Ada units (and as a means to create the tree files to be used by ASIS and ASIS applications) Sergey Rybin