Paquet : asis-programs (2019-5)

Liens pour asis-programs

Ressources Debian :

Télécharger le paquet source asis :

Responsables :

Ressources externes :

Page d'accueil [www.adacore.com]

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

dep: gnat

GNU Ada compiler
dep: gnat-10

compilateur Ada GNU
dep: libasis2019.1 (>= 2019)

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

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
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)
dep: libxmlezout7 (>= 1.06.2)

Easy-to-use library for emitting XML from Ada programs, runtime

rec: libaunit20-dev

AUnit, un cadriciel de test unitaire pour Ada — développement

Télécharger asis-programs

Télécharger pour toutes les architectures proposées
Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	4 413,3 ko	24 447,0 ko	[liste des fichiers]