mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-28 05:29:48 +00:00
16 lines
893 B
Plaintext
16 lines
893 B
Plaintext
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
|
|
certain 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
|