OnWorks favicon

gnatstub - Online in the Cloud

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

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



gnatstub - Generate skeletons for Ada package bodies


gnatstub [OPTION]... filename [directory]


gnatstub is an Ada library unit body sample generator. It takes a source file containing
the source of an Ada library unit declaration and generates the sample body for this unit
in another source file. Sample body is a kind of "minimal", but compilable body for a
given unit declaration.

gnatstub is an ASIS application developed on top of the ASIS implementation for GNAT. The
important thing to know about gnatstub is that to create a body, gnatstub first compiles
the spec to create in your current directory the tree output file (or, simply, a tree
file). After creating a body, gnatstub deletes this tree file (the tree file may be kept
by setting the corresponding option). Therefore, if you have some other ASIS-based tools
built on top of ASIS-for-GNAT, working on the tree files located in your current
directory, be aware of possible changes in the set of tree files as a result of using


-f Replace an existing body file (if any) with a body sample. If destination directory
contains a file which should be considered as the body for filename according to
the GNAT file name conventions, gnatstub treats this file as a body for filename,
and it does not create a sample body if '-f' option is not set;

-hs Put in body sample the comment header from the source of the library unit
declaration contained in filename ("comment header" is all the comments preceding
the compilation unit).

-hg Put in body sample a sample comment header.


-I- These options have just the same meaning as in calls to gnatgcc or gnatmake. They
are used to define the source search path in the call to gnatgcc issued by gnatstub
to create the tree file. Note, that to create a body, gnatstub needs a legal Ada
unit, therefore if filename depends on some unit located in another directory, '-I'
should be used to provide the path to this unit.

-in (n is a decimal natural number) Sets the indentation level in a body sample to n,
'-i0' means "no indentation", the default indentation is 3;

-k Do not remove the tree file: as default, gnatstub removes from the current
directory the tree file created for filename after creating the body sampler. '-k'
prevents deleting the tree file.

-ln (n is a decimal positive number) Sets maximum line length in a body sample to n,
the default line length is 78;

-q Quiet mode: gnatstub does not generate a confirmation when a body is successfully
created or a message when a body is not required for an argument unit.

-t Overwrite the existing tree file: if the current directory already contains the
file which, according to the GNAT file name rules should be considered as a tree
file for filename, gnatstub will refuse to create the tree file needed to create a
body sampler, unless '-t' option is set.

-v Verbose mode: gnatstub generates version information.

Use gnatstub online using onworks.net services

Free Servers & Workstations

Download Windows & Linux apps

  • 1
    LAME (Lame Aint an MP3 Encoder)
    LAME (Lame Aint an MP3 Encoder)
    LAME is an educational tool to be used
    for learning about MP3 encoding. The
    goal of the LAME project is to improve
    the psycho acoustics, quality and speed
    of MP...
    Download LAME (Lame Aint an MP3 Encoder)
  • 2
    A set of Python extension modules that
    wrap the cross-platform GUI classes from
    wxWidgets.. Audience: Developers. User
    interface: X Window System (X11), Win32 ...
    Download wxPython
  • 3
    This is the Total War pack file manager
    project, starting from version 1.7. A
    short introduction into Warscape
    modding: ...
    Download packfilemanager
  • 4
    A network traffic tool for measuring
    TCP and UDP performance with metrics
    around both throughput and latency. The
    goals include maintaining an active
    iperf cod...
    Download IPerf2
  • 5
    fre:ac - free audio converter
    fre:ac - free audio converter
    fre:ac is a free audio converter and CD
    ripper for various formats and encoders.
    It features MP3, MP4/M4A, WMA, Ogg
    Vorbis, FLAC, AAC, and Bonk format
    support, ...
    Download fre:ac - free audio converter
  • 6
    Matplotlib is a comprehensive library
    for creating static, animated, and
    interactive visualizations in Python.
    Matplotlib makes easy things easy and
    hard thing...
    Download Matplotlib
  • 7
    Write your chatbot logic once and
    connect it to one of the available
    messaging services, including Amazon
    Alexa, Facebook Messenger, Slack,
    Telegram or even yo...
    Download BotMan
  • More »

Linux commands