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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,bee5d5a3a775c92e,start
X-Google-Attributes: gid103376,public
From: Vitali Kaufman <vitali.kaufman@kolumbus.fi>
Subject: ASIS based the Ada rule checking tool gch for GNAT is available
Date: 1999/05/12
Message-ID: <3739AA19.C775CE76@kolumbus.fi>#1/1
X-Deja-AN: 477058514
Content-Transfer-Encoding: 7bit
Content-Type: text/plain; charset=koi8-r
Mime-Version: 1.0
Newsgroups: comp.lang.ada
Date: 1999-05-12T00:00:00+00:00
List-Id: <comp.lang.ada>

Dear All,

The pilot version of the Ada rule checking tool gch (from Gnat CHecker)
is
available from  http://www.kolumbus.fi/vitali.kaufman/gch. The tool is
built on top of the ASIS implementation for GNAT and can be used with
the
latest public version of the GNAT/ASIS technology 3.11p available from
ftp://cs.nyu.edu/pub/gnat.

gch is available in the source form and it is distributed as free
software.

This tool checks Ada code against a given set of rules. In the current
gch version a subset of rules from Ada 95 Quality and Style is
implemented.
The file http://www.kolumbus.fi/vitali.kaufman/gch/gnat_tests.txt (155K) 
contains an output of checking all Ada sources from gnat_3.11p-src by
the gch.
It takes nearly 15 min on Pentium II 260 MHz, 64MB.

Our plans for the near future are to extend the set of rules checked by
gch
and to provide the means that would allow a user having some experience
with
ASIS programming to add checks for new rules with minimal changes in the
gch
code.

gch may be used as a basis for developing different kinds of rule
checking
tools.

I would appreciate any comments and bug reports sent to
Vitali.Kaufman@iname.com .

Sincerely yours,

Vitali Kaufman

***************************************************************
Dr. Vitali Sh. Kaufman     e-mail: Vitali.Kaufman@iname.com
Tel: (358)-9-388-1095      GSM: 050-5810298
http://www.kolumbus.fi/vitali.kaufman     
***************************************************************