|
Distribution |
Debian testing |
Abteilung |
devel |
Quelle |
asis |
Version |
2008-4 |
Maintainer |
Ludovic Brenta <lbrenta@debian.org>
|
Beschreibung |
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.
|
Abhängig von | gnat, gnat-4.4, libasis2008, libc6 (>= 2.2.5), libgcc1 (>= 1:4.1.1), libgnat-4.4 (>= 4.4.3-1), libgnatvsn4.4 (>= 4.4.3-1) |
Offizielle Seiten |
Paket
Entwicklerinformationen
Bugs (Binärpaket)
Bugs (Quellpaket) |
Download |
amd64 |
|
|
|