Filewatcher File Search File Search
Catalog
Content Search
» » » » »

asis-programs

Ada Semantic Interface Specification (ASIS) example programs

Variants:
ASIS (Ada Semantic Interface Specification) lets you develop applications to walk through the sources of your Ada programs and examine the semantic constructs.

* asistant is an interactive command-line tool to explore the ASIS parse tree of a program. * gnatcheck verifies the conformance of source text to coding conventions * gnatelim finds out unused subprograms and eliminates them. * gnatmetric calculates metrics such as code complexity. * gnatpp is a pretty-printer which reformats Ada source text according to a default or user-specified style guide. * gnatstub generates an empty but compilable body for a given specification. * gnatsync analyzes multitasking programs to find possible race conditions.

Homepage:-
Package version:2008-5
Architecture:amd64
Distribution:Debian
Filename:asis-programs_2008-5_amd64.deb

/usr/share/doc/asis-programs/README.asistant

For doing this part of the ASIS tutorial, you should have the
executable of the asistant tool built, and this execitanle should be
on your path. asistant is built as a part of the standard ASIS
installation procedure. (If you do not have asistant built, refer to
the ASIS-for-GNAT Installation Guide - the top-level README file -
how to built it yourself).

It would be nice if you would have read th
more»

/usr/share/doc/asis-programs/README.gnatcheck

Task 1:
======
The initial version of the style checker should check the following
coding style rule:

   All subprograms should have separate declarations;

Task 2:
======
Add to the initial version of the style checker checks for the
following rules:

   All the generic instantiation should contain only named generic
   associations;

   Any declaration should define exactly one entity (that is,
more»

/usr/share/doc/asis-programs/README.gnatmetric.gz

Contents
--------

1. What is gnatmetric
2. gnatmetric parameters
3. Metrics computed by gnatmetric
   3.1 Source files and program units
   3.2 Line metrics
   3.3. Syntax metrics
        3.3.1 Counting declarations and statements.
        3.3.2 Counting subprograms and types
        3.3.3 Counting program unit nesting level
        3.3.4 Computing Complexity metrics
4. Using projects with gnatme
more»

/usr/share/doc/asis-programs/README.gnatpp.gz

Contents
--------

1. What is gnatpp
2. GNATPP parameters
4. Formatting rules
3. Related information
more»

/usr/share/doc/asis-programs/README.gnatsync.gz

Contents
--------

1. What is gnatsync?
2. gnatsync parameters
3. Project support
4. Currently imple
more»

/usr/share/doc/asis-programs/README.gz

This file describes the structure and the contents of the ASIS-for-GNAT
distribution and explains ho
more»

/usr/share/man/man1/asistant.1.gz

ASISTANT(1)                  ASIS Tools                  ASISTANT(1)



NAME
       asistant - inter
more»

/usr/share/man/man1/gnatcheck.1.gz

GNATCHECK(1)                 ASIS Tools                 GNATCHECK(1)



NAME
       gnatcheck - The 
more»

Browse inside asis-programs_2008-5_amd64.deb

         [DIR]DEBIAN/ (2)  65535+ mirrors
         [DIR]usr/ (2)  65535+ mirrors

Download asis-programs_2008-5_amd64.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com