Skip to content
Sections
>> Trisquel >> 软件包 >> aramo >> devel >> adacontrol
etiona  ] [  nabia  ] [  aramo  ]
[ 源代码: adacontrol  ]

软件包: 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.

其他与 adacontrol 有关的软件包

  • 依赖
  • 推荐
  • 建议
  • dep: libasis2019.1 (>= 2019)
    Ada Semantic Interface Specification (ASIS) runtime library
  • dep: libc6 (>= 2.14) [amd64]
    GNU C Library: Shared libraries
    同时作为一个虚包由这些包填实: libc6-udeb
    dep: libc6 (>= 2.17) [arm64, ppc64el]
    dep: libc6 (>= 2.4) [armhf]
  • dep: libgcc-s1 (>= 3.0) [除 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
    软件包暂时不可用
  • enh: gprbuild
    multi-language extensible build tool

下载 adacontrol

下载可用于所有硬件架构的
硬件架构 软件包大小 安装后大小 文件
amd64 1,600.9 kB6283 kB [文件列表]
arm64 1,280.7 kB5640 kB [文件列表]
armhf 1,395.9 kB4385 kB [文件列表]
ppc64el 1,508.3 kB7650 kB [文件列表]