[ Source: asis ]
Package: asis-programs (2019-5 and others)
Links for asis-programs
Debian Resources:
Download Source Package asis:
Maintainers:
External Resources:
- Homepage [www.adacore.com]
Similar packages:
programmi di esempio per ASIS (Ada Semantic Interface Specification)
ASIS (Ada Semantic Interface Specification) permette di sviluppare applicazioni per navigare nei sorgenti di programmi Ada ed esaminare i costrutti semantici.
* asistant è uno strumento interattivo a riga di comando per esplorare l'albero di analisi ASIS di un programma. * gnatcheck verifica la conformità del testo dei sorgenti con le convenzioni per il codice. * gnatelim trova sottoprogrammi inutilizzati e li elimina. * gnatmetric calcola metriche come la complessità del codice. * gnatpp è uno strumento per belle stampe che riformatta il testo sorgente Ada in base a una guida di stile predefinita o specificata dall'utente. * gnattest crea scheletri di test AUnit e un'infrastruttura per pilotare test per un progetto (gnattest richiede l'installazione del pacchetto di sviluppo di libaunit).
Other Packages Related to asis-programs
|
|
|
|
-
- dep: gnat
- compilatore GNU Ada
-
- dep: gnat-10 [not alpha]
- compilatore GNU Ada
-
- dep: gnat-9 [alpha]
- compilatore GNU Ada
-
- dep: libasis2019 (>= 2019) [alpha]
- libreria runtime di ASIS (Ada Semantic Interface Specification)
-
- dep: libasis2019.1 (>= 2019) [not alpha]
- libreria runtime di ASIS (Ada Semantic Interface Specification)
-
- dep: libc6 (>= 2.28) [not alpha, ia64, sh4]
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.31) [sh4]
-
- dep: libc6.1 (>= 2.28) [alpha]
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6.1-udeb
- dep: libc6.1 (>= 2.31) [ia64]
-
- dep: libgnat-util10 (>= 10.2.0-23) [riscv64]
- componenti selezionati del compilatore GNU Ada (libreria condivisa)
- dep: libgnat-util10 (>= 10.2.1-1) [not alpha, riscv64]
-
- dep: libgnatcoll18 (>= 19) [alpha]
- Package not available
-
- dep: libgnatcoll19 (>= 21.0.0) [not alpha]
- GNATColl, libreria Ada di uso generale (runtime)
-
- dep: libgnatprj7 (>= 2019) [alpha]
- Package not available
-
- dep: libgnatprj8 (>= 2021.0.0.0778b109) [not alpha]
- support for programs processing GNAT projects (runtime)
-
- dep: libgnatvsn9 (>= 9.2.1-28) [alpha]
- componenti selezionati del compilatore GNU Ada (libreria condivisa)
-
- dep: libxmlada-dom6 (>= 19) [alpha]
- Package not available
-
- dep: libxmlada-dom7 (>= 21.0.0) [not alpha]
- XML/Ada, suite XML completa per programmatori Ada (runtime dom)
-
- dep: libxmlada-input6 (>= 19) [alpha]
- Package not available
-
- dep: libxmlada-input7 (>= 21.0.0) [not alpha]
- XML/Ada, suite XML completa per programmatori Ada (runtime input sources)
-
- dep: libxmlada-sax6 (>= 19) [alpha]
- Package not available
-
- dep: libxmlada-sax7 (>= 21.0.0) [not alpha]
- XML/Ada, suite XML completa per programmatori Ada (runtime sax)
-
- dep: libxmlada-schema6 (>= 19) [alpha]
- Package not available
-
- dep: libxmlada-schema7 (>= 21.0.0) [not alpha]
- XML/Ada, suite XML completa per programmatori Ada (runtime schema)
-
- dep: libxmlada-unicode6 (>= 19) [alpha]
- Package not available
-
- dep: libxmlada-unicode7 (>= 21.0.0) [not alpha]
- XML/Ada, suite XML completa per programmatori Ada (runtime unicode)
-
- dep: libxmlezout6 (>= 1.06.2) [alpha]
- Package not available
-
- dep: libxmlezout7 (>= 1.06.2) [not alpha]
- Easy-to-use library for emitting XML from Ada programs, runtime
-
- rec: libaunit19-dev [alpha]
- Package not available
-
- rec: libaunit20-dev [not alpha]
- AUnit, a unit testing framework for Ada: development
Download asis-programs
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| alpha (unofficial port) | 2019-2 | 4,529.2 kB | 28,930.0 kB | [list of files] |
| amd64 | 2019-5 | 4,413.3 kB | 24,447.0 kB | [list of files] |
| arm64 | 2019-5 | 3,607.8 kB | 23,349.0 kB | [list of files] |
| armel | 2019-5 | 3,371.3 kB | 20,932.0 kB | [list of files] |
| armhf | 2019-5 | 3,442.3 kB | 16,516.0 kB | [list of files] |
| hppa (unofficial port) | 2019-5 | 3,760.8 kB | 25,283.0 kB | [list of files] |
| i386 | 2019-5 | 4,955.3 kB | 27,233.0 kB | [list of files] |
| ia64 (unofficial port) | 2019-5 | 6,650.6 kB | 54,376.0 kB | [list of files] |
| mips64el | 2019-5 | 4,106.0 kB | 32,023.0 kB | [list of files] |
| ppc64 (unofficial port) | 2019-5 | 4,373.1 kB | 34,564.0 kB | [list of files] |
| ppc64el | 2019-5 | 4,229.0 kB | 30,084.0 kB | [list of files] |
| riscv64 (unofficial port) | 2019-5 | 4,215.6 kB | 21,042.0 kB | [list of files] |
| s390x | 2019-5 | 3,657.8 kB | 25,382.0 kB | [list of files] |
| sh4 (unofficial port) | 2019-5 | 4,331.2 kB | 23,634.0 kB | [list of files] |
| sparc64 (unofficial port) | 2019-5 | 3,309.0 kB | 24,709.0 kB | [list of files] |