Paquet : adacontrol (1.20r7-3)
Liens pour adacontrol
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source adacontrol :
Responsables :
Ressources externes :
- Page d'accueil [www.adalog.fr]
Paquets similaires :
vérificateur de règles Ada
AdaControl vérifie qu’un logiciel en Ada applique un certain nombre de règles paramétrables. Il n'est pas destiné à enrichir les vérifications effectuées par le compilateur mais est plutôt destiné à rechercher les violations des meilleures règles de pratique ou de vérifier que certaines règles sont suivies à travers le projet tout entier.
Ce paquet fournit aussi les utilitaires suivants :
–⋅pfni⋅: Print Full Name Image, extension de tout identifiant en son nom complètement qualifié⋅; –⋅ptree⋅: affichage d’une représentation graphique d'un arbre ASIS avec le source correspondant⋅; –⋅adactl_fix⋅: correction automatique de certaines violations.
Autres paquets associés à adacontrol
|
|
|
|
-
- dep: libasis2018
- Ada Semantic Interface Specification (ASIS) — bibliothèque d'exécution
-
- dep: libc6 (>= 2.4)
- bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
-
- dep: libgcc1 (>= 1:3.5)
- bibliothèque de prise en charge de GCC
-
- dep: libgnat-8 (>= 8.3.0)
- exécutable pour les applications compilées avec GNAT –⋅bibliothèque partagée
-
- dep: libgnatcoll17 (>= 18)
- GNATColl, general purpose Ada library (runtime)
-
- dep: libgnatvsn8 (>= 8.3.0-6)
- composants sélectionnés du compilateur compilateur Ada GNU –⋅bibliothèque partagée
-
- dep: libgpr18
- support for programs processing GNAT projects (runtime)
-
- dep: libxmlada-dom5
- XML/Ada, a full XML suite for Ada programmers (dom runtime)
-
- dep: libxmlada-input5
- XML/Ada, a full XML suite for Ada programmers (input sources runtime)
-
- dep: libxmlada-sax5
- XML/Ada, a full XML suite for Ada programmers (sax runtime)
-
- dep: libxmlada-schema5
- XML/Ada, a full XML suite for Ada programmers (schema runtime)
-
- dep: libxmlada-unicode5
- XML/Ada, a full XML suite for Ada programmers (unicode runtime)
-
- sug: adacontrol-doc
- vérificateur de règles Ada – documentation
Télécharger adacontrol
Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|
armhf | 1 377,5 ko | 4 160,0 ko | [liste des fichiers] |