EnglishFrenchSpanish

Ad


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

PROGRAM:

NAME


gnatstub - Generate skeletons for Ada package bodies

SYNOPSIS


gnatstub [OPTION]... filename [directory]

DESCRIPTION


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
gnatstub.

OPTIONS


-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.

-Idir

-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
    Phaser
    Phaser
    Phaser is a fast, free, and fun open
    source HTML5 game framework that offers
    WebGL and Canvas rendering across
    desktop and mobile web browsers. Games
    can be co...
    Download Phaser
  • 2
    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
  • 3
    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
  • 4
    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
  • 5
    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
  • 6
    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
  • More »

Linux commands

  • 1
    abidiff
    abidiff
    abidiff - compare ABIs of ELF files
    abidiff compares the Application Binary
    Interfaces (ABI) of two shared libraries
    in ELF format. It emits a meaningful
    repor...
    Run abidiff
  • 2
    abidw
    abidw
    abidw - serialize the ABI of an ELF
    file abidw reads a shared library in ELF
    format and emits an XML representation
    of its ABI to standard output. The
    emitted ...
    Run abidw
  • 3
    copac2xml
    copac2xml
    bibutils - bibliography conversion
    utilities ...
    Run copac2xml
  • 4
    copt
    copt
    copt - peephole optimizer SYSNOPIS:
    copt file.. DESCRIPTION: copt is a
    general-purpose peephole optimizer. It
    reads code from its standard input and
    writes an ...
    Run copt
  • 5
    gather_stx_titles
    gather_stx_titles
    gather_stx_titles - gather title
    declarations from Stx documents ...
    Run gather_stx_titles
  • 6
    gatling-bench
    gatling-bench
    bench - http benchmark ...
    Run gatling-bench
  • More »

Ad