toutes les options
stretch  ] [  buster  ] [  bullseye  ] [  sid  ]
[ Paquet source : asis  ]

Paquet : asis-programs (2015-1 et autres)

Liens pour asis-programs

Screenshot

Ressources Debian :

Télécharger le paquet source asis :

Responsables :

Ressources externes :

Paquets similaires :

Ada Semantic Interface Specification (ASIS) − programmes exemples

ASIS (« Ada Semantic Interface Specification ») permet de développer des applications pour naviguer dans les sources de programmes Ada et examiner les constructions sémantiques.

 − ASIStant est un outil interactif en ligne de commande pour explorer l'arbre
   d'analyse ASIS d'un programme ;
 − gnatcheck vérifie la conformité d'un texte source aux conventions de
   codage ;
 − gnatelim trouve les sous-programmes non utilisés et les élimine ;
 − gnatmetric calcule des métriques comme la complexité du code ;
 − gnatpp est un enjoliveur qui reformate le texte source Ada suivant un
   style par défaut ou défini par l'utilisateur ;
 − gnatstub génère un squelette vide mais compilable pour une spécification
   donnée ;
 − gnattest crée des squelettes et un cadriciel de tests AUnit pour un projet
   (gnattest nécessite l'installation du paquet de développement libaunit).

Étiquettes: Développement de logiciel: Exemples, Programmation Ada, Mis en œuvre en: implemented-in::ada, interface::commandline, Rôle: Programme, Champ d'application: Utilitaire

Autres paquets associés à asis-programs

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger asis-programs

Télécharger pour toutes les architectures proposées
Architecture Version Taille du paquet Espace occupé une fois installé Fichiers
amd64 2015-1+b4 1 504,0 ko7 566,0 ko [liste des fichiers]
arm64 2015-1+b4 1 363,3 ko7 675,0 ko [liste des fichiers]
armel 2015-1+b4 1 245,1 ko6 669,0 ko [liste des fichiers]
armhf 2015-1+b4 1 281,1 ko5 085,0 ko [liste des fichiers]
i386 2015-1+b4 1 596,7 ko7 914,0 ko [liste des fichiers]
mips 2015-1+b4 1 372,5 ko9 419,0 ko [liste des fichiers]
mips64el 2015-1+b4 1 427,1 ko10 203,0 ko [liste des fichiers]
mipsel 2015-1+b4 1 418,0 ko9 415,0 ko [liste des fichiers]
ppc64el 2015-1+b4 1 418,7 ko9 223,0 ko [liste des fichiers]
s390x 2015-1+b4 1 415,6 ko8 883,0 ko [liste des fichiers]