[ Source: adacontrol ]
Package: adacontrol (1.21r6b-7)
Links for adacontrol
Debian Resources:
Download Source Package adacontrol:
Maintainers:
External Resources:
- Homepage [www.adalog.fr]
Similar packages:
controllore di regole Ada
AdaControl verifica che il software Ada soddisfi i requisiti di un insieme di regole parametrizzabili. Non è pensato per aumentare i controlli fatti dal compilatore, ma piuttosto per cercare particolari violazioni delle regole di buone pratiche, o per controllare che alcune regole siano seguite a livello di progetto.
Questo pacchetto contiene anche le seguenti utilità:
* pfni: Print Full Name Image, espande qualunque identificatore in un nome pienamente qualificato; * ptree: stampa una rappresentazione grafica di un albero ASIS con il codice corrispondente; * adactl_fix: corregge automaticamente alcune violazioni.
Other Packages Related to adacontrol
|
|
|
|
-
- dep: libasis2019.1 (>= 2019)
- libreria runtime di ASIS (Ada Semantic Interface Specification)
-
- dep: libc6 (>= 2.14) [amd64]
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.17) [arm64, ppc64el]
- dep: libc6 (>= 2.4) [not amd64, arm64, ppc64el]
-
- dep: libgcc-s1 (>= 3.0) [not armel, armhf, i386, mipsel]
- libreria di supporto a GCC
- dep: libgcc-s1 (>= 3.5) [armel, armhf]
- dep: libgcc-s1 (>= 4.2) [i386, mipsel]
-
- dep: libgnat-10 (>= 10.2.1)
- runtime per le applicazioni compilate con GNAT (libreria condivisa)
-
- 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)
-
- sug: adacontrol-doc
- controllore di regole Ada (documentazione)
-
- enh: gnat-gps
- Package not available
-
- enh: gprbuild
- strumento di compilazione estensibile multilinguaggio
Download adacontrol
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
amd64 | 1,620.0 kB | 6,298.0 kB | [list of files] |
arm64 | 1,302.5 kB | 5,655.0 kB | [list of files] |
armel | 1,349.5 kB | 5,652.0 kB | [list of files] |
armhf | 1,415.1 kB | 4,400.0 kB | [list of files] |
i386 | 1,725.3 kB | 7,220.0 kB | [list of files] |
mips64el | 1,246.2 kB | 7,624.0 kB | [list of files] |
mipsel | 1,270.9 kB | 7,482.0 kB | [list of files] |
ppc64el | 1,389.5 kB | 7,153.0 kB | [list of files] |
s390x | 1,333.7 kB | 6,226.0 kB | [list of files] |