25a3e224f5
Adacontrol is a tool that analyzes language constructs in Ada programs. It can be used as a standalone tool, or integrated into other tools. An example of integration can be seen with the upcoming devel/ahven port. Approved by: bapt (mentor)
15 lines
894 B
Text
15 lines
894 B
Text
AdaControl is a free (GMGPL) tool that detects the use of various kinds of
|
|
constructs in Ada programs. Its first goal is to control proper usage of
|
|
style or programming rules, but it can also be used as a powerful tool to
|
|
search for use (or non-use) of various forms of programming styles or design
|
|
patterns. Searched elements range from very simple, like the occurrence of
|
|
certaine entities, declarations, or statements, to very sophisticated, like
|
|
verifying that certain programming patterns are being obeyed..
|
|
|
|
Which elements or constructs are searched is defined by a set of rules; the
|
|
following table gives a short summary of rules currently checked by
|
|
AdaControl. The number in parentheses after the rule name gives the number
|
|
of subrules, if any. Considering all possible rules and subrules, this makes
|
|
452 tests that can be performed currently by AdaControl!
|
|
|
|
WWW: http://www.adalog.fr
|