Skip to content
Sections
>> Trisquel >> Paketit >> aramo >> devel >> adacontrol
etiona  ] [  nabia  ] [  aramo  ]
[ Source: adacontrol  ]

Paketti: adacontrol (1.21r6b-7)

Ada rules controller

AdaControl verifies that Ada software meets the requirements of a number of parameterizable rules. It is not intended to supplement checks made by the compiler, but rather to search for particular violations of good-practice rules, or to check that some rules are obeyed project-wide.

This package also contains the following utilities:

 * pfni: Print Full Name Image - expands any identifier to a fully-qualified
   name
 * ptree: Prints a graphic representation of an ASIS tree with corresponding
   source
 * adactl_fix: automatically fix some violations.

Muut pakettiin adacontrol liittyvät paketit

  • depends
  • recommends
  • suggests
  • dep: libasis2019.1 (>= 2019)
    Ada Semantic Interface Specification (ASIS) runtime library
  • dep: libc6 (>= 2.14) [amd64]
    GNU C Library: Shared libraries
    myös näennäispaketti, jonka toteuttaa libc6-udeb
    dep: libc6 (>= 2.17) [arm64, ppc64el]
    dep: libc6 (>= 2.4) [armhf]
  • dep: libgcc-s1 (>= 3.0) [ei armhf]
    GCC support library
    dep: libgcc-s1 (>= 3.5) [armhf]
  • dep: libgnat-10 (>= 10.2.1)
    runtime for applications compiled with GNAT (shared library)
  • 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)
  • enh: gnat-gps
    Paketti ei saatavilla
  • enh: gprbuild
    multi-language extensible build tool

Imuroi adacontrol

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
amd64 1,600.9 kt6283 kt [tiedostoluettelo]
arm64 1,280.7 kt5640 kt [tiedostoluettelo]
armhf 1,395.9 kt4385 kt [tiedostoluettelo]
ppc64el 1,508.3 kt7650 kt [tiedostoluettelo]