Package: adacontrol (1.21r6b-7)

[ Source: adacontrol  ]

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.

Tags: Software Development: Ada Development, Implemented in: Ada, User Interface: interface::commandline, role::program, Scope: Utility, Purpose: use::checking, works-with::software:source

Other Packages Related to adacontrol

• dep: libasis2019.1 (>= 2019)

  libreria runtime di ASIS (Ada Semantic Interface Specification)

• dep: libc6 (>= 2.4)

  Libreria C GNU: librerie condivise
  also a virtual package provided by libc6-udeb

• dep: libgcc-s1 (>= 4.2)

  libreria di supporto a GCC

• 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

  integrated development environment for C and Ada

• enh: gprbuild

  strumento di compilazione estensibile multilinguaggio

Download adacontrol

Download for all available architectures

Architecture	Package Size	Installed Size	Files
i386	1,725.3 kB	7,220.0 kB	[list of files]