Interchange Perl DBI MySQL



  Box of Rain
  Caithness Energy, LLC
  COBOLT NetServices
  Gish Network
  IIP/IR Vienna
  L & D Computer
  LinSoft IT
  M & D
  Media Business Software
  Medical Business Solutions
  Net Stores
  Transfair-Net GmbH
  West Branch Angler
  Wintime IT Solutions

asis-programs: Ada Semantic Interface Specification (ASIS) example programs

Distribution Debian unstable
Abteilung devel
Quelle asis
Version 2008-4
Maintainer Ludovic Brenta <>
Beschreibung ASIS (Ada Semantic Interface Specification) lets you develop applications
to walk through the sources of your Ada programs and examine the semantic
* asistant is an interactive command-line tool to explore the ASIS parse tree
of a program.
* gnatcheck verifies the conformance of source text to coding conventions
* gnatelim finds out unused subprograms and eliminates them.
* gnatmetric calculates metrics such as code complexity.
* gnatpp is a pretty-printer which reformats Ada source text according to
a default or user-specified style guide.
* gnatstub generates an empty but compilable body for a given specification.
* gnatsync analyzes multitasking programs to find possible race conditions.
Abhängig vongnat, gnat-4.4, libasis2008, libc6 (>= 2.2.5), libgcc1 (>= 1:4.1.1), libgnat-4.4 (>= 4.4.3-1), libgnatvsn4.4 (>= 4.4.3-1)
Offizielle Seiten Paket Entwicklerinformationen Bugs (Binärpaket) Bugs (Quellpaket)
Download amd64


 Marktplatz für Musikinstrumente und Zubehör
 Mehr erfahren ...


 Systemadministration für Internetagentur
 Mehr erfahren ...


 Reengineering e-procurement System
 Mehr erfahren ...


 Marktplatz für elektronische Bauelemente
 Mehr erfahren ...


 Foreign Service National Training Database
 Mehr erfahren ...