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

Package: 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.

Other Packages Related to adacontrol

  • depends
  • recommends
  • suggests
  • dep: libasis2019.1 (>= 2019)
    Ada Semantic Interface Specification (ASIS) runtime library
  • dep: libc6 (>= 2.14) [amd64]
    GNU C Library: Shared libraries
    also a virtual package provided by libc6-udeb
    dep: libc6 (>= 2.17) [arm64, ppc64el]
    dep: libc6 (>= 2.4) [armhf]
  • dep: libgcc-s1 (>= 3.0) [not 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
    Package not available
  • enh: gprbuild
    multi-language extensible build tool

Download adacontrol

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 1,600.9 kB6283 kB [list of files]
arm64 1,280.7 kB5640 kB [list of files]
armhf 1,395.9 kB4385 kB [list of files]
ppc64el 1,508.3 kB7650 kB [list of files]