Ada Semantic Interface Specification (ASIS) example programs
ASIS (Ada Semantic Interface Specification) lets you develop applications
to walk through the sources of your Ada programs and examine the semantic
* 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.
For doing this part of the ASIS tutorial, you should have the
executable of the asistant tool built, and this executable 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
The initial version of the style checker should check the following
coding style rule:
All subprograms should have separate declarations;
Add to the initial version of the style checker checks for the
All the generic instantiation should contain only named generic
Any declaration should define exactly one entity (that is,
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
1. What is gnatpp
2. GNATPP parameters
4. Formatting rules
3. Related information
1. What is gnatsync?
2. gnatsync parameters
3. Project support
4. Currently imple
This file describes the structure and the contents of the ASIS-for-GNAT
distribution and explains ho
ASISTANT(1) ASIS Tools ASISTANT(1)
asistant - inter
GNATCHECK(1) ASIS Tools GNATCHECK(1)
gnatcheck - The
Browse inside asis-programs_2010-5_ia64.deb
Results 1 - 1 of 1Search over 15 billion files
© 1997-2017 FileWatcher.com