| Paketname | asis-programs |
| Beschreibung | Ada Semantic Interface Specification (ASIS) example programs |
| Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
| Version | 2008-5 |
| Sektion | devel |
| Priorität | optional |
| Installierte Größe | 3404 Byte |
| Hängt ab von | ada-compiler, gnat, gnat-4.4, libasis2008, libc6 (>= 2.0), libgcc1 (>= 1:4.1.1), libgnat-4.4 (>= 4.4 |
| Empfohlene Pakete | |
| Paketbetreuer | Ludovic Brenta |
| Quelle | asis |
| Paketgröße | 1328312 Byte |
| Prüfsumme MD5 | b90927ab4cb96e85328d089a3fe829c5 |
| Prüfsumme SHA1 | 745c294813b18c4b52a34c407c54a824009a2ec4 |
| Prüfsumme SHA256 | 3d945708380b8b36937a400717060cbb82367bbbbd65a4d9558bf154ea371b57 |
| Link zum Herunterladen | asis-programs_2008-5_i386.deb |
| Ausführliche 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.
|