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 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.
Commercial support is available for AdaControl, see file /usr/share/doc/adacontrol/support.txt. If you plan to use AdaControl for indus-
trial projects, or if you want it to be customized or extended to match your own needs, please contact Adalog at info@adalog.fr.
SPECIAL MODES
-C Check rules syntax only. Accepts -d, -f, -l, -v, -x.
-D Generate dependencies. Accepts -o, -p, -r, -s, -w, -x.
-h Prints a general help message.
-h rule
Describe rule.
-h all Describe all rules.
-h commands|license|options|version
Describe all commands, the licence (GPL), the options or the version number.
-h list
List the rules in a format suitable for use inside the GNAT Programming Studio.
-h rules
List the rules in a normal format.
-I Interactive mode. Accepts all options.
OPTIONS
-d Enable debug mode.
-e Treat warnings (Search) as errors (Check)
-E Print only errors (Check).
-f file
Use file for the specification of rules
-F GNAT | GNAT_SHORT | CSV | CSV_SHORT | CSVX | CSVX_SHORT | NONE
Choose output format.
-i Ignore local deactivations.
-l rule...
Process with the specified rules; see below.
-o file
Send output to the specified file.
-p file
Specify an emacs ada-mode project file (.adp)
-r Recursive
-s Only process Ada unit specifications
-S level
Produce statistics; level is an integer in the range 0 .. 4.
-t trace_file
Send a trace to the specified file.
-T Report execution time of rules.
-u Treat all parameters as Ada units
-v Enable verbose mode.
-w Overwrite output file (works with -o)
-x Exit when internal error
RULES
The following rules are available for the -l option:
Abnormal_Function_Return Allocators
Array_Declarations Barrier_Expressions
Case_Statement Characters
Declarations Default_Parameter
Directly_Accessed_Globals Duplicate_Initialization_Calls
Entities Entity_Inside_Exception
Exception_Propagation Expressions
Global_References Header_Comments
Improper_Initialization Instantiations
Insufficient_Parameters Local_Hiding
Max_Blank_Lines Max_Call_Depth
Max_Line_Length Max_Nesting
Max_Size Max_Statement_Nesting
Movable_Accept_Statements Multiple_Assignments
Naming_Convention Non_Static
Not_Elaboration_Calls Not_Selected_Name
No_Operator_Usage Object_Declarations
Other_Dependencies Parameter_Aliasing
Parameter_Declarations Potentially_Blocking_Operations
Pragmas Reduceable_Scope
Representation_Clauses Return_Type
Side_Effect_Parameters Silent_Exceptions
Simplifiable_Expressions Simplifiable_Statements
Special_Comments Statements
Style Terminating_Tasks
Type_Initial_Values Uncheckable
Units Unnecessary_Use_Clause
Unsafe_Paired_Calls Unsafe_Unchecked_Conversion
Usage Use_Clauses
With_Clauses
AUTHOR
AdaControl was developed by Adalog <http://www.adalog.fr> under contract with Eurocontrol <http://www.eurocontrol.int>. The copyright is
jointly owned by Adalog and Eurocontrol.
This manual page was written by Ludovic Brenta <lbrenta@debian.org> and is licensed under terms of the GNU Public License.
SEE ALSO
AdaControl User's Guide, available in Info, PDF, and HTML in /usr/share/doc/adacontrol.
AdaControl Programmer's Guide, available in Info, PDF, and HTML in /usr/share/doc/adacontrol.
Debian 2008-05-13 adactl(1)