Package: adacontrol (1.12r4-3)

[ Source: adacontrol  ]

vérificateur de règles Ada

AdaControl vérifie que les programmes Ada satisfont les pré-requis d'un jeu de règles configurables. Il n'est pas destiné à remplacer les contrôles effectués par le compilateur mais à rechercher certaines violations des bonnes pratiques ou à contrôler certaines règles sur l'ensemble d'un projet. Ce paquet fournit aussi les utilitaires suivants :

 - pfni : Print Full Name Image - étend tout identifiant en son nom

complètement qualifié ;

 - ptree : affiche une représentation graphique d'un arbre ASIS avec la

source correspondante.

Tags: Software Development: Ada Development, Implemented in: Ada

Other Packages Related to adacontrol

• dep: dpkg (>= 1.15.4)

  système de gestion des paquets Debian

  or install-info

  gestion de la documentation installée au format info

• dep: gnat-4.6

  GNU Ada compiler

• dep: libasis2010

  Ada Semantic Interface Specification (ASIS) runtime library

• dep: libc6 (>= 2.0)

  bibliothèque C GNU embarquée : bibliothèques partagées
  also a virtual package provided by libc6-udeb

• dep: libgcc1 (>= 1:4.1.1)

  Bibliothèque de support GCC

• dep: libgnat-4.6 (>= 4.6.2-3)

  runtime for applications compiled with GNAT (shared library)

• dep: libgnatvsn4.6 (>= 4.6.2-3)

  GNU Ada compiler selected components (shared library)

Download adacontrol

Download for all available architectures

Architecture	Package Size	Installed Size	Files
s390	1,322.7 kB	3,528.0 kB	[list of files]