This is the command adactl that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator
PROGRAM:
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 [email protected].
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
Use adactl online using onworks.net services
