adactl - Ada rules controller

       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.

       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.

       adactl - Ada rules controller

-d     Enable debug mode.

       -e     Treat warnings (Search) as errors (Check)

       -E     Print only errors (Check).

       -ffile
              Use file for the specification of rules

       -FGNAT|GNAT_SHORT|CSV|CSV_SHORT|CSVX|CSVX_SHORT|NONE
              Choose output format.

       -Gnone|check|search
              Select level of fixing commands.

       -i     Ignore local deactivations.

       -lrule...
              Process with the specified rules; see below.

       -ofile
              Send output to the specified file.

       -pfile
              Specify an emacs ada-mode project file (.adp)

       -r     Recursive

       -s     Only process Ada unit specifications

       -Slevel
              Produce statistics; level is an integer in the range 0 .. 4.

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

       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

       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                                             2014-08-19                                          adactl(1)

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

       -hrule
              Describe rule.

       -hall Describe all rules.

       -hcommands|license|options|version
              Describe all commands, the licence (GPL), the options or the version number.

       -hlist
              List the rules in a format suitable for use inside the GNAT Programming Studio.

       -hrules
              List the rules in a normal format.

       -I     Interactive mode.  Accepts all options.

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

       adactl-hrule ... | all | commands | license | list | options | rules | version