EnglishFrenchSpanish

Ad


OnWorks favicon

adactl - Online in the Cloud

Run adactl in OnWorks free hosting provider over Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

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


Free Servers & Workstations

Download Windows & Linux apps

  • 1
    SMPlayer
    SMPlayer
    SMPlayer is a free media player for
    Windows and Linux with built-in codecs
    that can also play YouTube videos. One
    of the most interesting features of
    SMPlayer:...
    Download SMPlayer
  • 2
    AAX to MP3
    AAX to MP3
    Usage: - Install the Audible Manager
    and open a file of your account. - Sign
    in into your audible account (in the
    application). Now the program can
    convert you...
    Download AAX to MP3
  • 3
    TestLink
    TestLink
    TestLink is a web based Test Management
    tool. The application provides Test
    specification, Test plans and execution,
    Reporting, Requirements specification
    and ...
    Download TestLink
  • 4
    XDXF - XML Dictionary Exchange Format
    XDXF - XML Dictionary Exchange Format
    XDXF is a project to unite all existing
    open dictionaries and provide both users
    and developers with universal XML-based
    format, convertible from and to other ...
    Download XDXF - XML Dictionary Exchange Format
  • 5
    Transmission Remote GUI
    Transmission Remote GUI
    Transmission Remote GUI is a feature
    rich cross platform front-end to
    remotely control a Transmission
    Bit-Torrent client daemon via its RPC
    protocol. Transmissi...
    Download Transmission Remote GUI
  • 6
    s3cmd
    s3cmd
    Open-source tool to access Amazon S3
    file storage. S3cmd is a free command
    line tool and client for uploading,
    retrieving and managing data in Amazon
    S3 and ot...
    Download s3cmd
  • More »

Linux commands

Ad