Package: adacontrol (1.21r6b-7 and others)

[ Source: adacontrol  ]

Ada-regelcontroller

AdaControl verificerer at Ada-programmer overholder kravene for en antal regler med parametre. Programmet er ikke lavet for at supplementere kontroller udført af kompileren, men mere at søge efter bestemte overtrædelser af regler for god praksis, eller at kontrollere at nogle regler overholdes på tværs af projektet.

Denne pakke indeholder også de følgende redskaber:

 * pfni: Print Full Name Image - udvider identifikatorer til et fuldt
   kvalificeret navn
 * ptree: Udskriver en grafisk repræsentation af et ASIS-træ med
   tilsvarende kilde
 * adactl_fix: ret automatisk nogle overtrædelser

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 (>= 2019) [alpha]

  Ada Semantic Interface Specification (ASIS) - kørselstidsbibliotek

• dep: libasis2019.1 (>= 2019) [not alpha]

  Ada Semantic Interface Specification (ASIS) - kørselstidsbibliotek

• dep: libc6 (>= 2.14) [amd64]

  GNU C-bibliotek: Delte biblioteker
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.17) [arm64, ppc64el]

  dep: libc6 (>= 2.2) [hppa]

  dep: libc6 (>= 2.27) [riscv64]

  dep: libc6 (>= 2.31) [sh4]

  dep: libc6 (>= 2.4) [armel, armhf, i386, mips64el, ppc64, s390x, sparc64]

• dep: libc6.1 (>= 2.1.3) [alpha]

  GNU C-bibliotek: Delte biblioteker
  also a virtual package provided by libc6.1-udeb

  dep: libc6.1 (>= 2.31) [ia64]

• dep: libgcc-s1 (>= 3.0) [not armel, armhf, hppa, i386, ia64]

  GCC støttebibliotek

  dep: libgcc-s1 (>= 3.5) [armel, armhf]

  dep: libgcc-s1 (>= 4.2) [i386, ia64]

• dep: libgcc-s4 (>= 4.1.1) [hppa]

  GCC støttebibliotek

• dep: libgnat-10 (>= 10.2.0) [riscv64]

  Kørselstid for programmer kompileret med GNAT - delt bibliotek

  dep: libgnat-10 (>= 10.2.1) [not alpha, riscv64]

• dep: libgnat-9 (>= 9.3.0) [alpha]

  Kørselstid for programmer kompileret med GNAT - delt bibliotek

• dep: libgnat-util10 (>= 10.2.0-23) [riscv64]

  GNU Ada-kompilervalgte komponenter - delt bibliotek

  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, alment Adabibliotek - kørselstid

• dep: libgnatprj7 (>= 2019) [alpha]

  Package not available

• dep: libgnatprj8 (>= 2021.0.0.0778b109) [not alpha]

  Understøttelse for programmer der behandler GNAT-projekter - kørselstid

• dep: libgnatvsn9 (>= 9.3.0-12) [alpha]

  GNU Ada-kompilervalgte komponenter - delt bibliotek

• dep: libunwind8 [ia64]

  Bibliotek til at bestemme call-chain for et program - kørselstid

• dep: libxmlada-dom6 (>= 19) [alpha]

  Package not available

• dep: libxmlada-dom7 (>= 21.0.0) [not alpha]

  XML/Ada, en fuld XML-pakke for Ada-programmører - kørselstid for dom

• dep: libxmlada-input6 (>= 19) [alpha]

  Package not available

• dep: libxmlada-input7 (>= 21.0.0) [not alpha]

  XML/Ada, en fuld XML-pakke for Ada-programmører - kørselstid for inddatakilder

• dep: libxmlada-sax6 (>= 19) [alpha]

  Package not available

• dep: libxmlada-sax7 (>= 21.0.0) [not alpha]

  XML/Ada, en fuld XML-pakke for Ada-programmører - kørselstid for sax

• dep: libxmlada-schema6 (>= 19) [alpha]

  Package not available

• dep: libxmlada-schema7 (>= 21.0.0) [not alpha]

  XML/Ada, en fuld XML-pakke for Ada-programmører - kørselstid for skema

• dep: libxmlada-unicode6 (>= 19) [alpha]

  Package not available

• dep: libxmlada-unicode7 (>= 21.0.0) [not alpha]

  XML/Ada, en fuld XML-pakke for Ada-programmører - kørselstid for unicode

• sug: adacontrol-doc

  Ada-regelcontroller - dokumentation

• enh: gnat-gps

  Integreret udviklingsmiljø for C og Ada

• enh: gprbuild

  Fler-sprogligt udvideligt byggeværktøj

Download adacontrol

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	1.21r6b-5	1,567.6 kB	7,630.0 kB	[list of files]
amd64	1.21r6b-7	1,620.0 kB	6,298.0 kB	[list of files]
arm64	1.21r6b-7	1,302.5 kB	5,655.0 kB	[list of files]
armel	1.21r6b-7	1,349.5 kB	5,652.0 kB	[list of files]
armhf	1.21r6b-7	1,415.1 kB	4,400.0 kB	[list of files]
hppa (unofficial port)	1.21r6b-7	1,379.8 kB	5,892.0 kB	[list of files]
i386	1.21r6b-7	1,725.3 kB	7,220.0 kB	[list of files]
ia64 (unofficial port)	1.21r6b-7	1,950.1 kB	13,282.0 kB	[list of files]
mips64el	1.21r6b-7	1,246.2 kB	7,624.0 kB	[list of files]
ppc64 (unofficial port)	1.21r6b-7	1,365.3 kB	7,729.0 kB	[list of files]
ppc64el	1.21r6b-7	1,389.5 kB	7,153.0 kB	[list of files]
riscv64 (unofficial port)	1.21r6b-7	1,472.0 kB	5,350.0 kB	[list of files]
s390x	1.21r6b-7	1,333.7 kB	6,226.0 kB	[list of files]
sh4 (unofficial port)	1.21r6b-7	1,711.0 kB	6,020.0 kB	[list of files]
sparc64 (unofficial port)	1.21r6b-7	1,208.6 kB	6,060.0 kB	[list of files]