[ ソース: adacontrol ]
パッケージ: adacontrol (1.19r10-2)
adacontrol に関するリンク
Trisquel の資源:
adacontrol ソースパッケージをダウンロード:
メンテナ:
Original Maintainers:
- Ludovic Brenta
- Nicolas Boulenguez
外部の資源:
- ホームページ [www.adalog.fr]
類似のパッケージ:
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: libasis2017
- Ada Semantic Interface Specification (ASIS) runtime library
-
- dep: libc6 (>= 2.14) [amd64]
- GNU C Library: Shared libraries
以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb
- dep: libc6 (>= 2.4) [i386]
-
- dep: libgcc1 (>= 1:3.0) [amd64]
- GCC support library
- dep: libgcc1 (>= 1:4.2) [i386]
-
- dep: libgnat-7 (>= 7.2.0-18ubuntu2)
- runtime for applications compiled with GNAT (shared library)
-
- dep: libgnatcoll16.1.0
- GNATColl, general purpose Ada library (runtime)
-
- dep: libgnatvsn7 (>= 7.2.0-18ubuntu2)
- GNU Ada compiler selected components (shared library)
-
- dep: libgpr16.1.2016
- support for programs processing GNAT projects (runtime)
-
- dep: libxmlada-dom4.6
- XML/Ada, a full XML suite for Ada programmers (dom runtime)
-
- dep: libxmlada-input4.6
- XML/Ada, a full XML suite for Ada programmers (input sources runtime)
-
- dep: libxmlada-sax4.6.2016
- XML/Ada, a full XML suite for Ada programmers (sax runtime)
-
- dep: libxmlada-schema4.6.2016
- XML/Ada, a full XML suite for Ada programmers (schema runtime)
-
- dep: libxmlada-unicode4.6.2016
- XML/Ada, a full XML suite for Ada programmers (unicode runtime)
-
- sug: adacontrol-doc
- Ada rules controller (documentation)