Skip to content
Sections
>> Trisquel >> Packages >> nabia >> devel >> asis-programs
[  etiona  ] [  nabia  ] [  aramo  ]
[ Source: asis  ]

Package: asis-programs (2019-2)

Links for asis-programs

asis-programs

Trisquel Resources:

Download Source Package asis:

Maintainer:

Original Maintainers:

  • Ludovic Brenta
  • Xavier Grave
  • Nicolas Boulenguez

External Resources:

Similar packages:

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)

Other Packages Related to asis-programs

  • depends
  • recommends
  • suggests
  • 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
    also a virtual package provided by 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

Download asis-programs

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 4,237.4 kB23507 kB [list of files]
armhf 3,256.2 kB15579 kB [list of files]