[ Source: asis ]
Package: asis-programs (2019-5)
Links for asis-programs
Debian Resources:
Download Source Package asis:
Maintainers:
External Resources:
- Homepage [www.adacore.com]
Similar packages:
Ada Semantic Interface Specification (ASIS) - eksempler på programmer
ASIS (Ada Semantic Interface Specification) giver dig mulighed for at udvikle programmer til at gennemgå kilderne for dine Ada-programmer og undersøge de semantiske konstruktioner.
* assistenten er et interaktivt kommandolinjeværktøj til at udforske ASIS-fortolkningstræet for et program. * gnatcheck verificerer overholdelsen af kildetekst for at kode konventioner. * gnatelim finder ubrugte programmer og eliminerer dem. * gantmetric beregner målinger såsom kodekompleksitet. * gnatpp er en pretty-printer som formaterer ADA-kildetekst igen jævnfør en standard eller en brugerspecificeret stilvejledning. * gnatstub opretter en tom tekstklump, der kan kompileres, for en given specifikation. * gnattest opretter AUnit-testskeletter og beskyttelse for et projekt (gnattest kræver at udviklingspakken libaunit er installeret)
Other Packages Related to asis-programs
|
|
|
|
-
- dep: gnat
- GNU Ada-kompiler
-
- dep: gnat-10
- GNU Ada-kompiler
-
- dep: libasis2019.1 (>= 2019)
- Ada Semantic Interface Specification (ASIS) - kørselstidsbibliotek
-
- dep: libc6 (>= 2.28)
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
-
- dep: libgnat-util10 (>= 10.2.1-1)
- GNU Ada-kompilervalgte komponenter - delt bibliotek
-
- dep: libgnatcoll19 (>= 21.0.0)
- GNATColl, alment Adabibliotek - kørselstid
-
- dep: libgnatprj8 (>= 2021.0.0.0778b109)
- Understøttelse for programmer der behandler GNAT-projekter - kørselstid
-
- dep: libxmlada-dom7 (>= 21.0.0)
- XML/Ada, en fuld XML-pakke for Ada-programmører - kørselstid for dom
-
- dep: libxmlada-input7 (>= 21.0.0)
- XML/Ada, en fuld XML-pakke for Ada-programmører - kørselstid for inddatakilder
-
- dep: libxmlada-sax7 (>= 21.0.0)
- XML/Ada, en fuld XML-pakke for Ada-programmører - kørselstid for sax
-
- dep: libxmlada-schema7 (>= 21.0.0)
- XML/Ada, en fuld XML-pakke for Ada-programmører - kørselstid for skema
-
- dep: libxmlada-unicode7 (>= 21.0.0)
- XML/Ada, en fuld XML-pakke for Ada-programmører - kørselstid for unicode
-
- dep: libxmlezout7 (>= 1.06.2)
- Easy-to-use library for emitting XML from Ada programs, runtime
-
- rec: libaunit20-dev
- AUnit, a unit testing framework for Ada: development
Download asis-programs
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 4,413.3 kB | 24,447.0 kB | [list of files] |
| arm64 | 3,607.8 kB | 23,349.0 kB | [list of files] |
| armel | 3,371.3 kB | 20,932.0 kB | [list of files] |
| armhf | 3,442.3 kB | 16,516.0 kB | [list of files] |
| i386 | 4,955.3 kB | 27,233.0 kB | [list of files] |
| mips64el | 4,106.0 kB | 32,023.0 kB | [list of files] |
| mipsel | 3,992.2 kB | 29,790.0 kB | [list of files] |
| ppc64el | 4,229.0 kB | 30,084.0 kB | [list of files] |
| s390x | 3,657.8 kB | 25,382.0 kB | [list of files] |