toutes les options
buster  ] [  bullseye  ] [  sid  ]
[ Paquet source : adacontrol  ]

Paquet : adacontrol (1.21r6b-7)

Liens pour adacontrol

Screenshot

Ressources Debian :

Télécharger le paquet source adacontrol :

Responsables :

Ressources externes :

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

Télécharger adacontrol

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
s390x 1 333,7 ko6 226,0 ko [liste des fichiers]