[ 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:
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
- compilatore GNU Ada
-
- dep: libasis2019.1 (>= 2019)
- libreria runtime di ASIS (Ada Semantic Interface Specification)
-
- dep: libc6 (>= 2.28)
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
-
- dep: libgnat-util10 (>= 10.2.1-1)
- componenti selezionati del compilatore GNU Ada (libreria condivisa)
-
- dep: libgnatcoll19 (>= 21.0.0)
- GNATColl, libreria Ada di uso generale (runtime)
-
- dep: libgnatprj8 (>= 2021.0.0.0778b109)
- support for programs processing GNAT projects (runtime)
-
- dep: libxmlada-dom7 (>= 21.0.0)
- XML/Ada, suite XML completa per programmatori Ada (runtime dom)
-
- dep: libxmlada-input7 (>= 21.0.0)
- XML/Ada, suite XML completa per programmatori Ada (runtime input sources)
-
- dep: libxmlada-sax7 (>= 21.0.0)
- XML/Ada, suite XML completa per programmatori Ada (runtime sax)
-
- dep: libxmlada-schema7 (>= 21.0.0)
- XML/Ada, suite XML completa per programmatori Ada (runtime schema)
-
- dep: libxmlada-unicode7 (>= 21.0.0)
- XML/Ada, suite XML completa per programmatori Ada (runtime 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] |