معرفی شرکت ها

adacontrol_1.19r10-2_amd64.deb

Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

Ada rules controller
ویژگی مقدار
سیستم عامل Linux
توزیع Ubuntu Bionic-18.04
مخزن Ubuntu universe amd64
نام بسته adacontrol
نام فایل بسته adacontrol_1.19r10-2_amd64.deb
نسخه بسته 1.19r10
انتشار بسته 2
معماری بسته amd64
نگهدارنده Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://www.adalog.fr/en/adacontrol.html
مجوز -
حجم دانلود 1500892
حجم نصب 5576
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-doc_1.19r10-2_all.deb 1.19r10 all Ubuntu universe
adacontrol_1.19r10-2_i386.deb 1.19r10 i386 Ubuntu universe


نیازمندی

مقدار نام
- libasis2017
>= 2.14 libc6
>= 1:3.0 libgcc1
>= 7.2.0-18ubuntu2 libgnat-7
- libgnatcoll16.1.0
>= 7.2.0-18ubuntu2 libgnatvsn7
- libgpr16.1.2016
- libxmlada-dom4.6
- libxmlada-input4.6
- libxmlada-sax4.6.2016
- libxmlada-schema4.6.2016
- libxmlada-unicode4.6.2016


نحوه نصب


نصب پکیج deb adacontrol:

    sudo apt-get install adacontrol_1.19r10-2_amd64.deb


فایل ها

مسیرها
./usr/bin/adactl
./usr/bin/adactl_fix
./usr/bin/pfni
./usr/bin/ptree
./usr/share/adacontrol/SQALE.aru
./usr/share/adacontrol/gnatcheck.aru
./usr/share/adacontrol/nasa.aru
./usr/share/adacontrol/no_83_unit_name.aru
./usr/share/adacontrol/no_annex_c.aru
./usr/share/adacontrol/no_annex_d.aru
./usr/share/adacontrol/no_annex_e.aru
./usr/share/adacontrol/no_annex_f.aru
./usr/share/adacontrol/no_annex_g.aru
./usr/share/adacontrol/no_annex_h.aru
./usr/share/adacontrol/no_gnat_attribute.aru
./usr/share/adacontrol/no_io.aru
./usr/share/adacontrol/no_obsolescent_features.aru
./usr/share/adacontrol/no_standard_entity.aru
./usr/share/adacontrol/no_standard_unit.aru
./usr/share/adacontrol/no_system_entity.aru
./usr/share/adacontrol/ravenscar.aru
./usr/share/adacontrol/reserved_2005.aru
./usr/share/adacontrol/verif.aru
./usr/share/doc/adacontrol/changelog.Debian.gz
./usr/share/doc/adacontrol/copyright
./usr/share/gprconfig/adacontrol.xml
./usr/share/gps/plug-ins/adacontrol.xml
./usr/share/gps/plug-ins/adactl-ask.gif
./usr/share/gps/plug-ins/adactl-ask.svg
./usr/share/gps/plug-ins/adactl-file.gif
./usr/share/gps/plug-ins/adactl-file.svg
./usr/share/gps/plug-ins/adactl.py
./usr/share/gps/plug-ins/pfni.py
./usr/share/gps/plug-ins/pfni.xml
./usr/share/gps/plug-ins/zadactl.xml
./usr/share/man/man1/adactl.1.gz
./usr/share/man/man1/adactl_fix.1.gz
./usr/share/man/man1/pfni.1.gz
./usr/share/man/man1/ptree.1.gz