Skip to content
Sections
>> Trisquel >> Paquets >> nabia >> devel >> asis-programs
[  etiona  ] [  nabia  ] [  aramo  ]
[ Paquet source : asis  ]

Paquet : asis-programs (2019-2)

Liens pour asis-programs

asis-programs

Ressources Trisquel :

Télécharger le paquet source asis :

Responsable :

Original Maintainers:

  • Ludovic Brenta
  • Xavier Grave
  • Nicolas Boulenguez

Ressources externes :

Paquets similaires :

Ada Semantic Interface Specification (ASIS) example programs

ASIS (Ada Semantic Interface Specification) lets you develop applications to walk through the sources of your Ada programs and examine the semantic constructs. 

 * asistant is an interactive command-line tool to explore the ASIS parse tree
   of a program.
 * gnatcheck verifies the conformance of source text to coding conventions
 * gnatelim finds out unused subprograms and eliminates them.
 * gnatmetric calculates metrics such as code complexity.
 * gnatpp is a pretty-printer which reformats Ada source text according to
   a default or user-specified style guide.
 * gnatstub generates an empty but compilable body for a given specification.
 * gnattest creates AUnit test skeletons and harness for a project
   (gnattest requires the libaunit development package to be installed)

Autres paquets associés à asis-programs

  • dépendances
  • recommandations
  • suggestions
  • dep: gnat
    GNU Ada compiler
  • dep: gnat-9
    GNU Ada compiler
  • dep: libasis2019 (>= 2019)
    Ada Semantic Interface Specification (ASIS) runtime library
  • dep: libc6 (>= 2.28)
    GNU C Library: Shared libraries
    un paquet virtuel est également fourni par libc6-udeb
  • dep: libgnatcoll18 (>= 19)
    GNATColl, general purpose Ada library (runtime)
  • dep: libgnatprj7 (>= 2019)
    support for programs processing GNAT projects (runtime)
  • dep: libgnatvsn9 (>= 9.2.1-29ubuntu1) [armhf]
    GNU Ada compiler selected components (shared library)
    dep: libgnatvsn9 (>= 9.2.1-30ubuntu1) [amd64]
  • dep: libxmlada-dom6 (>= 19)
    XML/Ada, a full XML suite for Ada programmers (dom runtime)
  • dep: libxmlada-input6 (>= 19)
    XML/Ada, a full XML suite for Ada programmers (input sources runtime)
  • dep: libxmlada-sax6 (>= 19)
    XML/Ada, a full XML suite for Ada programmers (sax runtime)
  • dep: libxmlada-schema6 (>= 19)
    XML/Ada, a full XML suite for Ada programmers (schema runtime)
  • dep: libxmlada-unicode6 (>= 19)
    XML/Ada, a full XML suite for Ada programmers (unicode runtime)
  • dep: libxmlezout6 (>= 1.06.2)
    Easy-to-use library for emitting XML from Ada programs, runtime
  • rec: libaunit19-dev
    AUnit, a unit testing framework for Ada: development

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 237,4 ko23507 ko [liste des fichiers]
armhf 3 256,2 ko15579 ko [liste des fichiers]