Paketname | adacontrol |
Beschreibung | An Ada rules controller |
Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
Version | 1.12r4-1 |
Sektion | devel |
Priorität | optional |
Installierte Größe | 4688 Byte |
Hängt ab von | gnat-4.4, libasis2008, libc6 (>= 2.0), libgcc1 (>= 1:4.1.1), libgnat-4.4 (>= 4.4.4-5), libgnatvsn4.4 |
Empfohlene Pakete | |
Paketbetreuer | Ludovic Brenta |
Quelle | |
Paketgröße | 1618852 Byte |
Prüfsumme MD5 | 799039416ab7f9051b1669332df6e4ff |
Prüfsumme SHA1 | 67bf57b7b65cfb316b61c46b4f35d50349c0ad52 |
Prüfsumme SHA256 | 3e9d652d85e09cf0e7dfe6d487d0b96f9fda2b523816683b5a0b8ebf0a28a1f1 |
Link zum Herunterladen | adacontrol_1.12r4-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
|