adacontrol

Ada rules controller

Description

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
 * adactl_fix: automatically fix some violations.

Upload more screenshots

Please help extend the collection of screenshots. Just make a screenshot and upload it here. You don't need to register or anything.

Upload a screenshot

Hint: upload an image here from your clipboard with Ctrl-V


Homepage

http://www.adalog.fr/en/adacontrol.html


Install this software package

If the package is available for the distribution you are currently using on your computer then install the software by clicking on…

Install adacontrol