EnglishFrenchSpanish

Ad


OnWorks favicon

gnatinspect - Online in the Cloud

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

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


gnatinspect - Query cross-references on source code

SYNOPSIS


gnatinspect -Pproject [switches]

DESCRIPTION


The reference source of information about gnatinspect, the GNATColl manual, should be
available in various formats under the /usr/share/doc/libgnatcoll-doc directory. Else,
please install the libgnatcoll-doc package.

When manipulating source code, programmers needs to know where the various symbols are
defined, where they are used, and so on. Computing this information is tricky, especially
for languages that support overloading of subprograms. By definition, a compiler
understands the program and where each part comes from. Some compilers like GNAT and gcc
can then generate extra output files (.ali and .gli respectively) which contain this
information.

The GNATCOLL.Xref Ada library can aggregate all those files into a single sqlite database,
answering queries such as: Give me the declaration for this entity, List all places where
this entity is used, Show all subprograms that could be called in practice at this
dispatching call, What files does this file depend on, Show me the call graph for this
application... Instead of a direct access to the sqlite database, gnatinspect displays an
interactive prompt that lets you perform various queries.

gnatinspect --help will display the list of commands and their syntax.

Use gnatinspect online using onworks.net services


Free Servers & Workstations

Download Windows & Linux apps

  • 1
    Laravel
    Laravel
    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
    zsh
    zsh
    zsh is a shell probably most similar to
    ksh, but with countless enhancements and
    differences.. Features:Advanced command
    line interfaceAdaptable line editingPo...
    Download zsh
  • 4
    VBA-M (Archived - Now on Github)
    VBA-M (Archived - Now on Github)
    Project has moved to
    https://github.com/visualboyadvance-m/visualboyadvance-m
    Features:Cheat creationsave statesmulti
    system, supports gba, gbc, gb, sgb,
    sgb2Tu...
    Download VBA-M (Archived - Now on Github)
  • 5
    Stacer
    Stacer
    Linux System Optimizer and Monitoring
    Github Repository:
    https://github.com/oguzhaninan/Stacer.
    Audience: End Users/Desktop. User
    interface: Qt. Programming La...
    Download Stacer
  • 6
    OrangeFox
    OrangeFox
    Fork of TeamWinRecoveryProject(TWRP)
    with many additional functions, redesign
    and more Features:Supports Treble and
    non-Treble ROMsUp-to-date Oreo kernel,
    built...
    Download OrangeFox
  • 7
    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
  • More »

Linux commands

  • 1
    aajm
    aajm
    aajm - ascii art jugglemaster ...
    Run aajm
  • 2
    aalib-config
    aalib-config
    aalib-config - script to get
    information about the installed version
    of aalib ...
    Run aalib-config
  • 3
    coqmktop
    coqmktop
    coqmktop - The Coq Proof Assistant
    user-tactics linker ...
    Run coqmktop
  • 4
    coqtop
    coqtop
    coqtop - The Coq Proof Assistant
    toplevel system ...
    Run coqtop
  • 5
    gatos
    gatos
    Gatos - ATI-TV for GNU/Linux
    DESCRIPTION: The GATOS (General ATI TV
    and Overlay Software) is an effort to
    create standard drivers for all
    currently unsupported...
    Run gatos
  • 6
    gattrib
    gattrib
    gattrib - gEDA/gaf Schematic Attribute
    Editor ...
    Run gattrib
  • More »

Ad