Paquet : adacontrol (1.21r6b-7) [debports]

Liens pour adacontrol

Ressources Debian :

Rapports de bogues

Télécharger le paquet source :

Introuvable

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

dépendances

recommandations

suggestions

enhances

dep: libasis2019.1 (>= 2019)

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

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
dep: libc6.1 (>= 2.31) [ia64]

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6.1-udeb
dep: libgcc-s1 (>= 3.0) [riscv64]

bibliothèque de prise en charge de GCC

dep: libgcc-s1 (>= 4.2) [ia64]
dep: libgnat-10 (>= 10.2.0) [riscv64]

exécutable pour les applications compilées avec GNAT –⋅bibliothèque partagée

dep: libgnat-10 (>= 10.2.1) [ia64]
dep: libgnat-util10 (>= 10.2.0-23) [riscv64]

GNU Ada compiler selected components (shared library)

dep: libgnat-util10 (>= 10.2.1-1) [ia64]
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: libunwind8 [ia64]

bibliothèque pour déterminer la chaîne d'appel d'un programme –⋅exécutable
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

Paquet indisponible

enh: gnat-gps

integrated development environment for C and Ada
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
ia64 (portage non officiel)	1 950,1 ko	13 282,0 ko	[liste des fichiers]
riscv64 (portage non officiel)	1 472,0 ko	5 350,0 ko	[liste des fichiers]