Package: asis-programs (2019-5) [debports]

Links for asis-programs

Debian Resources:

Bug Reports

Download Source Package :

Not found

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

depends

recommends

suggests

enhances

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) [riscv64]

Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
dep: libc6.1 (>= 2.31) [ia64]

Libreria C GNU: librerie condivise
also a virtual package provided by libc6.1-udeb
dep: libgnat-util10 (>= 10.2.0-23) [riscv64]

componenti selezionati del compilatore GNU Ada (libreria condivisa)

dep: libgnat-util10 (>= 10.2.1-1) [ia64]
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

Download for all available architectures
Architecture	Package Size	Installed Size	Files
ia64 (unofficial port)	6,650.6 kB	54,376.0 kB	[list of files]
riscv64 (unofficial port)	4,215.6 kB	21,042.0 kB	[list of files]