EnglishFrenchSpanish

OnWorks favicon

pfni - Online in the Cloud

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

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


pfni - Print Full Name Image of an Ada entity

SYNOPSIS


pfni [-sofd] [-p project-file] unit[:line-number[:column-number]] [-- ASIS options]

pfni -h

DESCRIPTION


pfni is a companion program to adactl(1). It prints the full expanded name of entities
declared or referenced by a specified Ada compilation unit. This makes it easier to
designate the entities when writing new rules for AdaControl.

Commercial support is available for AdaControl, see file
/usr/share/doc/adacontrol/support.txt. If you plan to use AdaControl for industrial
projects, or if you want it to be customized or extended to match your own needs, please
contact Adalog at [email protected].

OPTIONS


-d Enable debug mode.

-f Full output: display all entities declared and referenced by unit. The default is
to only display entities declared in unit.

-h Prints a general help message.

-o Also print overloading information. If you are calling a subprogram that has
several overloadings and you are not sure which one is called, use pfni with the -o
option on that line: the program will tell you the full name and profile of the
called subprogram.

-p project-file
Use the specified Emacs ada-mode (*.adp) project file.

-s Process the specification of unit; the default is to process the body.

line-number
Only display entities declared on that line.

line-number:column-number
Only display the entity at that line and column, if any.

Use pfni online using onworks.net services


Free Servers & Workstations

Download Windows & Linux apps

  • 1
    Eclipse Checkstyle Plug-in
    Eclipse Checkstyle Plug-in
    The Eclipse Checkstyle plug-in
    integrates the Checkstyle Java code
    auditor into the Eclipse IDE. The
    plug-in provides real-time feedback to
    the user about viol...
    Download Eclipse Checkstyle Plug-in
  • 2
    AstrOrzPlayer
    AstrOrzPlayer
    AstrOrz Player is a free media player
    software, part based on WMP and VLC. The
    player is in a minimalist style, with
    more than ten theme colors, and can also
    b...
    Download AstrOrzPlayer
  • 3
    movistartv
    movistartv
    Kodi Movistar+ TV es un ADDON para XBMC/
    Kodi que permite disponer de un
    decodificador de los servicios IPTV de
    Movistar integrado en uno de los
    mediacenters ma...
    Download movistartv
  • 4
    Code::Blocks
    Code::Blocks
    Code::Blocks is a free, open-source,
    cross-platform C, C++ and Fortran IDE
    built to meet the most demanding needs
    of its users. It is designed to be very
    extens...
    Download Code::Blocks
  • 5
    Amidst
    Amidst
    Amidst or Advanced Minecraft Interface
    and Data/Structure Tracking is a tool to
    display an overview of a Minecraft
    world, without actually creating it. It
    can ...
    Download Amidst
  • 6
    MSYS2
    MSYS2
    MSYS2 is a collection of tools and
    libraries providing you with an
    easy-to-use environment for building,
    installing and running native Windows
    software. It con...
    Download MSYS2
  • More »

Linux commands

Ad