Paquet : adacontrol (1.21r6b-7)

Liens pour adacontrol

Ressources 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.

Étiquettes: Développement de logiciel: Programmation Ada, Mis en œuvre en: Ada, Interface utilisateur: interface::commandline, role::program, Champ d'application: Utilitaire, But: use::checking, works-with::software:source

Autres paquets associés à adacontrol

dépendances

recommandations

suggestions

enhances

dep: libasis2019.1 (>= 2019)

Ada Semantic Interface Specification (ASIS) — bibliothèque d'exécution
dep: libc6 (>= 2.14) [amd64]

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb

dep: libc6 (>= 2.17) [arm64, ppc64el]

dep: libc6 (>= 2.4) [non amd64, arm64, ppc64el]
dep: libgcc-s1 (>= 3.0) [non armel, armhf, i386, mipsel]

bibliothèque de prise en charge de GCC

dep: libgcc-s1 (>= 3.5) [armel, armhf]

dep: libgcc-s1 (>= 4.2) [i386, mipsel]
dep: libgnat-10 (>= 10.2.1)

exécutable pour les applications compilées avec GNAT –⋅bibliothèque partagée
dep: libgnat-util10 (>= 10.2.1-1)

GNU Ada compiler selected components (shared library)
dep: libgnatcoll19 (>= 21.0.0)

GNATColl, general purpose Ada library (runtime)
dep: libgnatprj8 (>= 2021.0.0.0778b109)

support for programs processing GNAT projects (runtime)
dep: libxmlada-dom7 (>= 21.0.0)

XML/Ada, a full XML suite for Ada programmers (dom runtime)
dep: libxmlada-input7 (>= 21.0.0)

XML/Ada, a full XML suite for Ada programmers (input sources runtime)
dep: libxmlada-sax7 (>= 21.0.0)

XML/Ada, a full XML suite for Ada programmers (sax runtime)
dep: libxmlada-schema7 (>= 21.0.0)

XML/Ada, a full XML suite for Ada programmers (schema runtime)
dep: libxmlada-unicode7 (>= 21.0.0)

XML/Ada, a full XML suite for Ada programmers (unicode runtime)

sug: adacontrol-doc

vérificateur de règles Ada – documentation

enh: gnat-gps

Paquet indisponible
enh: gprbuild

multi-language extensible build tool

Télécharger adacontrol

Télécharger pour toutes les architectures proposées
Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	1 620,0 ko	6 298,0 ko	[liste des fichiers]
arm64	1 302,5 ko	5 655,0 ko	[liste des fichiers]
armel	1 349,5 ko	5 652,0 ko	[liste des fichiers]
armhf	1 415,1 ko	4 400,0 ko	[liste des fichiers]
i386	1 725,3 ko	7 220,0 ko	[liste des fichiers]
mips64el	1 246,2 ko	7 624,0 ko	[liste des fichiers]
mipsel	1 270,9 ko	7 482,0 ko	[liste des fichiers]
ppc64el	1 389,5 ko	7 153,0 ko	[liste des fichiers]
s390x	1 333,7 ko	6 226,0 ko	[liste des fichiers]