|
|
|
Linux temps réel embarqué et outils de développements
|
Technique |
|
|
asis-programs
| asis-programs | Ada Semantic Interface Specification (ASIS) example programs | | Priority | |
| Section | devel |
| Installed size | 1664 |
| Maintainer | Ludovic Brenta <lbrenta@debian.org> |
| Architecture | i386 |
| Version | 2005-5 |
| Depends | gnat-4.1, libasis2005, libc6 (>= 2.3.6-6), libgcc1 (>= 1 |
| Suggests | wmaker | afterstep |
| File name | pool/main/a/asis/asis-programs_2005-5_i386.deb |
| Description | 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. |
|
|
|
Etude RTOS