all options
stretch  ] [  buster  ] [  bullseye  ] [  sid  ]
[ Source: asis  ]

Package: asis-programs (2015-1 and others)

Links for asis-programs

Screenshot

Debian Resources:

Download Source Package asis:

Maintainers:

External Resources:

Similar packages:

Ada Semantic Interface Specification (ASIS) - eksempler på programmer

ASIS (Ada Semantic Interface Specification) giver dig mulighed for at udvikle programmer til at gennemgå kilderne for dine Ada-programmer og undersøge de semantiske konstruktioner.

 * assistenten er et interaktivt kommandolinjeværktøj til at udforske
   ASIS-fortolkningstræet for et program.
 * gnatcheck verificerer overholdelsen af kildetekst for at kode
   konventioner.
 * gnatelim finder ubrugte programmer og eliminerer dem.
 * gantmetric beregner målinger såsom kodekompleksitet.
 * gnatpp er en pretty-printer som formaterer ADA-kildetekst igen jævnfør
   en standard eller en brugerspecificeret stilvejledning.
 * gnatstub opretter en tom tekstklump, der kan kompileres, for en given
   specifikation.
 * gnattest opretter AUnit-testskeletter og beskyttelse for et projekt
   (gnattest kræver at udviklingspakken libaunit er installeret)

Tags: Software Development: Examples, Ada Development, Implemented in: implemented-in::ada, interface::commandline, Role: Program, Scope: Utility

Other Packages Related to asis-programs

  • depends
  • recommends
  • suggests
  • enhances

Download asis-programs

Download for all available architectures
Architecture Version Package Size Installed Size Files
amd64 2015-1+b4 1,504.0 kB7,566.0 kB [list of files]
arm64 2015-1+b4 1,363.3 kB7,675.0 kB [list of files]
armel 2015-1+b4 1,245.1 kB6,669.0 kB [list of files]
armhf 2015-1+b4 1,281.1 kB5,085.0 kB [list of files]
i386 2015-1+b4 1,596.7 kB7,914.0 kB [list of files]
mips 2015-1+b4 1,372.5 kB9,419.0 kB [list of files]
mips64el 2015-1+b4 1,427.1 kB10,203.0 kB [list of files]
mipsel 2015-1+b4 1,418.0 kB9,415.0 kB [list of files]
ppc64el 2015-1+b4 1,418.7 kB9,223.0 kB [list of files]
s390x 2015-1+b4 1,415.6 kB8,883.0 kB [list of files]