Paketname | adacontrol |
Beschreibung | An Ada rules controller |
Archiv/Repository | Offizielles Ubuntu Archiv lucid (universe) |
Version | 1.12~b1-1 |
Sektion | universe/devel |
Priorität | optional |
Installierte Größe | 5284 Byte |
Hängt ab von | gnat-4.4, libasis2008, libc6 (>= 2.0), libgcc1 (>= 1:4.1.1), libgnat-4.4 (>= 4.4.3-1ubuntu1), libgna |
Empfohlene Pakete | |
Paketbetreuer | Ubuntu Developers |
Quelle | |
Paketgröße | 2231984 Byte |
Prüfsumme MD5 | bc49abec582e24ffb6b1136e5c6c8727 |
Prüfsumme SHA1 | 398cd062138d3214140794b3e742a8827d37eec8 |
Prüfsumme SHA256 | 0d0083bb46dd64d070e31ef22587e79751e38f6e0b16d62c2fc9e89623725787 |
Link zum Herunterladen | adacontrol_1.12~b1-1_i386.deb |
Ausführliche Beschreibung | AdaControl verifies that Ada software meets the requirements of a
number of parameterizable rules. It is not intended to supplement
checks made by the compiler, but rather to search for particular
violations of good-practice rules, or to check that some rules are
obeyed project-wide. This package also contains the following utilities:
.
* pfni: Print Full Name Image - expands any identifier to a fully-qualified
name
* ptree: Prints a graphic representation of an ASIS tree with corresponding
source
|