table of contents
- buster 1.20r7-3
- testing 1.21r6b-5
- unstable 1.21r6b-7
- experimental 1.21r6b-6
adactl(1) | Programmer's Manual | adactl(1) |
NAME¶
adactl - Ada rules controllerSYNOPSIS¶
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.
- -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_ClausesAUTHOR¶
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 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.
2014-08-19 | Debian |