Provided by: adacontrol_1.17r3.1-1_amd64 bug

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