|
|
Units of measurement for Ada 2.7 (Default branch)
07-02-2008
The library provides an implementation of dimensioned values for Ada. Unit checks are made at run-time, if not optimized out by the compiler. SI and irregular measurement units are supported. Shifted units like degrees Celsius are supported too. Conversions from and back to strings are provided for all various irregular units. An extensive set of GTK widgets for dealing with dimensioned values is included, though use of GTK is not mandatory for the rest of the library. License: GNAT Modified GPL (GMGPL) Changes:|
|
adactl(1) Programmer's Manual adactl(1) 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 indus- trial 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 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. Debian 2008-05-13 adactl(1)