OnWorks favicon

gnatcheck - Online in the Cloud

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

This is the command gnatcheck 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



gnatcheck - GNAT rule checking tool


gnatcheck [OPTION]... filename [-cargs gcc_switches] [-rules rule_switches]

gnatcheck [OPTION]... -files=filename [-cargs gcc_switches] [-rules rule_switches]


gnatcheck checks the conformance of Ada source text with rules and produces a report file
for later analysis as well as on standard output.

In the first form, gnatcheck examines the specified Ada source files (wildcards are

In the second form, gnatcheck examines the Ada source files listed in the specified file.

gnatcheck is an ASIS application developed on top of the ASIS implementation for GNAT. As
such, it reads tree files (*.adt) produced by the compiler to accomplish its goals, and
invokes gnatgcc for this.


-a Process RTL units.

-cargs gcc_switches
Pass gcc_switches to GCC when producing the tree files.

-d Debug mode.

-dd Progress indicator mode, for use in the GNAT Programming Studio.

-h Print the list of built-in rules.

-l Full source location chains in report file.

-q Quiet mode: do not report detections on standard output.

-rules rule_switches
rule_switches can be any combination of the following:

Read rule options from file

+ALL Turn all rules on.

-ALL Turn all rules off.

Turn the specified rule on, passing it optional parameters.

Turn the specified rule off.

Turn off some of the checks for the specified rule.

rule_id is any of the rules listed with the -h option.

-s Short form of the report file.

-sn Include only section n (n in 1 .. 3) in the report file.

-v Verbose mode.

Use gnatcheck online using onworks.net services

Free Servers & Workstations

Download Windows & Linux apps

  • 1
    Laravel is a free, open-source PHP web
    framework. Features:Expressive,
    beautiful syntax.Database agnostic
    migrationsSchema builderPainless
    routingPowerful queu...
    Download Laravel
  • 2
    nmon for Linux
    nmon for Linux
    nmon is short for Nigel's
    Performance Monitor It either shows you
    the stats on-screen updating once a
    second or saves the data to a CSV file
    for later anal...
    Download nmon for Linux
  • 3
    VBA-M (Archived - Now on Github)
    VBA-M (Archived - Now on Github)
    Project has moved to
    Features:Cheat creationsave statesmulti
    system, supports gba, gbc, gb, sgb,
    Download VBA-M (Archived - Now on Github)
  • 4
    Linux System Optimizer and Monitoring
    Github Repository:
    Audience: End Users/Desktop. User
    interface: Qt. Programming La...
    Download Stacer
  • 5
    Fork of TeamWinRecoveryProject(TWRP)
    with many additional functions, redesign
    and more Features:Supports Treble and
    non-Treble ROMsUp-to-date Oreo kernel,
    Download OrangeFox
  • 6
    itop - ITSM  CMDB OpenSource
    itop - ITSM CMDB OpenSource
    IT Operations Portal: a complete open
    source, ITIL, web based service
    management tool including a fully
    customizable CMDB, a helpdesk system and
    a document man...
    Download itop - ITSM CMDB OpenSource
  • 7
    Clementine is a multi-platform music
    player and library organizer inspired by
    Amarok 1.4. It has a fast and
    easy-to-use interface, and allows you to
    search and ...
    Download Clementine
  • More »

Linux commands