adactl(1)

NAME
adactl - Ada rules controller

SYNOPSIS

adactl [options] unit [[+|-]unit | [@]file] ... [-- ASIS options]

adactl -h rule ... | 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 industrial 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.

-G none | check | search
    Select level of fixing commands.

-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 under contract with 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 General 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.