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

Package: asis-programs (2019-5)

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-10
    GNU Ada compiler
  • dep: libasis2019.1 (>= 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: libgnat-util10 (>= 10.2.1-1ubuntu1)
    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, a unit testing framework for Ada: development

Download asis-programs

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 4,408.7 kB24474 kB [list of files]
arm64 3,607.4 kB23344 kB [list of files]
armhf 3,439.2 kB16535 kB [list of files]
ppc64el 4,473.2 kB31427 kB [list of files]