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
    VASSAL Engine
    VASSAL Engine
    VASSAL is a game engine for creating
    electronic versions of traditional board
    and card games. It provides support for
    game piece rendering and interaction,
    and...
    Download VASSAL Engine
  • 2
    OpenPDF - Fork of iText
    OpenPDF - Fork of iText
    OpenPDF is a Java library for creating
    and editing PDF files with a LGPL and
    MPL open source license. OpenPDF is the
    LGPL/MPL open source successor of iText,
    a...
    Download OpenPDF - Fork of iText
  • 3
    SAGA GIS
    SAGA GIS
    SAGA - System for Automated
    Geoscientific Analyses - is a Geographic
    Information System (GIS) software with
    immense capabilities for geodata
    processing and ana...
    Download SAGA GIS
  • 4
    Toolbox for Java/JTOpen
    Toolbox for Java/JTOpen
    The IBM Toolbox for Java / JTOpen is a
    library of Java classes supporting the
    client/server and internet programming
    models to a system running OS/400,
    i5/OS, o...
    Download Toolbox for Java/JTOpen
  • 5
    D3.js
    D3.js
    D3.js (or D3 for Data-Driven Documents)
    is a JavaScript library that allows you
    to produce dynamic, interactive data
    visualizations in web browsers. With D3
    you...
    Download D3.js
  • 6
    Shadowsocks
    Shadowsocks
    A fast tunnel proxy that helps you
    bypass firewalls This is an application
    that can also be fetched from
    https://sourceforge.net/projects/shadowsocksgui/.
    It ha...
    Download Shadowsocks
  • More »

Linux commands

Ad