معرفی شرکت ها

asis-programs_2018-2_amd64.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Ada Semantic Interface Specification (ASIS) example programs
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Buster-10
مخزن Debian main amd64
نام بسته asis-programs
نام فایل بسته asis-programs_2018-2_amd64.deb
نسخه بسته 2018
انتشار بسته 2
معماری بسته amd64
نگهدارنده Ludovic Brenta <lbrenta@debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://www.adacore.com/community
مجوز -
حجم دانلود 4182628
حجم نصب 22595
ASIS (Ada Semantic Interface Specification) lets you develop applications to walk through the sources of your Ada programs and examine the semantic constructs. . * asistant is an interactive command-line tool to explore the ASIS parse tree of a program. * gnatcheck verifies the conformance of source text to coding conventions * gnatelim finds out unused subprograms and eliminates them. * gnatmetric calculates metrics such as code complexity. * gnatpp is a pretty-printer which reformats Ada source text according to a default or user-specified style guide. * gnatstub generates an empty but compilable body for a given specification. * gnattest creates AUnit test skeletons and harness for a project (gnattest requires the libaunit development package to be installed)


جایگزین ها

بسته نسخه معماری مخزن
asis-programs_2018-2_arm64.deb 2018 arm64 Debian main
asis-programs_2018-2_armel.deb 2018 armel Debian main
asis-programs_2018-2_armhf.deb 2018 armhf Debian main
asis-programs_2018-2_i386.deb 2018 i386 Debian main
asis-programs_2018-2_mips.deb 2018 mips Debian main
asis-programs_2018-2_mips64el.deb 2018 mips64el Debian main
asis-programs_2018-2_mipsel.deb 2018 mipsel Debian main
asis-programs_2018-2_ppc64el.deb 2018 ppc64el Debian main
asis-programs_2018-2_s390x.deb 2018 s390x Debian main


نیازمندی

مقدار نام
- gnat
- gnat-8
- libasis2018
>= 2.14 libc6
- libgnatcoll17
>= 8.2.0-9 libgnatvsn8
- libgpr18
- libxmlada-dom5
- libxmlada-input5
- libxmlada-sax5
- libxmlada-schema5
- libxmlada-unicode5


نحوه نصب


نصب پکیج deb asis-programs:

    sudo apt-get install asis-programs_2018-2_amd64.deb


فایل ها

مسیرها
./usr/bin/asistant
./usr/bin/gnat2xml
./usr/bin/gnatcheck
./usr/bin/gnatelim
./usr/bin/gnatmetric
./usr/bin/gnatpp
./usr/bin/gnatstub
./usr/bin/gnattest
./usr/share/doc/asis-programs/changelog.Debian.gz
./usr/share/doc/asis-programs/changelog.gz
./usr/share/doc/asis-programs/copyright
./usr/share/man/man1/asistant.1.gz
./usr/share/man/man1/gnat2xml.1.gz
./usr/share/man/man1/gnatcheck.1.gz
./usr/share/man/man1/gnatelim.1.gz
./usr/share/man/man1/gnatmetric.1.gz
./usr/share/man/man1/gnatpp.1.gz
./usr/share/man/man1/gnatstub.1.gz
./usr/share/man/man1/gnattest.1.gz