Filewatcher File Search File Search
Catalog
Content Search
» » » » »

adacontrol

Ada rules controller

Variants:
AdaControl verifies that Ada software meets the requirements of a number of parameterizable rules. It is not intended to supplement checks made by the compiler, but rather to search for particular violations of good-practice rules, or to check that some rules are obeyed project-wide. This package also contains the following utilities:

* pfni: Print Full Name Image - expands any identifier to a fully-qualified name * ptree: Prints a graphic representation of an ASIS tree with corresponding source

Homepage:
Package version:1.12r4-3
Architecture:i386
Distribution:Debian
Filename:adacontrol_1.12r4-3_i386.deb

/usr/share/man/man1/adactl.1.gz

adactl(1)                Programmer's Manual               adactl(1)



NAME
       adactl - Ada rules controller

SYNOPSIS
       adactl [options] unit[+|-unit]|[@]file ...  [-- ASIS_options]

       adactl  -h  [rule  id...  | all | commands | license | list |
              options | rules | version]

DESCRIPTION
       AdaControl is an Ada rules controller. It is used to  control
       that  A
more»

/usr/share/man/man1/pfni.1.gz

pfni(1)                  Programmer's Manual                 pfni(1)



NAME
       pfni - Print Full Name Image of an Ada entity

SYNOPSIS
       pfni [-sofd] [-p project-file] unit[:line-number[:column-num‐
              ber]] [-- ASIS options]

       pfni -h



DESCRIPTION
       pfni is a companion program to adactl(1).  It prints the full
       expanded  name of entities declared or refer
more»

/usr/share/man/man1/ptree.1.gz

ptree(1)                 Programmer's Manual                ptree(1)



NAME
       ptree  - Prints a graphic representation of an ASIS tree with
       corresponding source

SYNOPSIS
       ptree [-sS] [-p project-file]  unit[:line-number[:column-num‐
              ber]] [-- ASIS options]

       ptree -h



DESCRIPTION
       ptree is a companion program to adactl(1).

       Commercial  suppo
more»

/usr/share/doc/adacontrol/changelog.Debian.gz

adacontrol (1.12r4-3) unstable; urgency=low

  * Lintian cleaning.
  * debian/copyright: DEP-5.
  * 
more»

/usr/share/doc/adacontrol/changelog.gz

=============
== V1.12r4 ==
=============

General:
--------
Recompiled executable versions for GNAT
more»

/usr/share/doc/adacontrol/copyright

Format: http://anonscm.debian.org/viewvc/dep/web/deps/dep5.mdwn?revision=174
Upstream-Name: AdaContr
more»

Browse inside adacontrol_1.12r4-3_i386.deb

         [DIR]DEBIAN/ (1)  65535+ mirrors
         [DIR]usr/ (2)  65535+ mirrors

Download adacontrol_1.12r4-3_i386.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com