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

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

Links for asis-programs

Screenshot

Debian Resources:

Download Source Package :

Not found

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)

Other Packages Related to asis-programs

  • depends
  • recommends
  • suggests
  • enhances

Download asis-programs

Download for all available architectures
Architecture Package Size Installed Size Files
alpha (unofficial port) 4,529.2 kB28,930.0 kB [list of files]