Linux Certif

Toute la documentation sur la certification Linux LPI

adactl

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 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.

-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 <URL: http://www.adalog.fr > under contract with Eurocontrol <URL: 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.