pfni(1) Programmer's Manual pfni(1)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 compila-
tion 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 indus-
trial projects, or if you want it to be customized or extended to match your own needs, please contact Adalog at info@adalog.fr.
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.
AUTHOR
AdaControl was developed by Adalog <http://www.adalog.fr> under contract with Eurocontrol <http://www.eurocontrol.int>. The copyright is
jointly owned by Adalog and Eurocontrol.
This manual page was written by Ludovic Brenta <lbrenta@debian.org> for the Debian project, but it can be used for other purposes as well.
SEE ALSO adactl(1)
AdaControl User's Guide, available in Info, PDF, and HTML in /usr/share/doc/adacontrol.
AdaControl Programmer's Guide, available in Info, PDF, and HTML in /usr/share/doc/adacontrol.
Debian 2006-10-12 pfni(1)
Check Out this Related Man Page
GNATELIM(1) ASIS Tools GNATELIM(1)NAME
gnatelim - eliminate dead code from Ada programs
SYNOPSIS
gnatelim [OPTION]... name
DESCRIPTION
When you are working with a program which shares some set of Ada packages with other programs, it may happen, that your program uses only a
part of subprogram defined in these packages, whereas the code created for unused subprograms increases the size of the executable your
program.
gnatelim is a utility tracking unused subprograms in an Ada program. Its output consists of a list of Eliminate pragmas marking all the
subprograms that are declared, but never called in a given program. Eliminate is a GNAT-specific pragma. By ecompiling your program with
these pragmas, you may decrease the size of its executable, because the compiler will not create the code for unused subprograms.
gnatelim is an ASIS application developed on top of the ASIS implementation for GNAT. It needs a set of tree files representing a program
to analyze and the bind file for its main subprogram to be created in the current directory. For the current version, it is a the user's
responsibility to maintain the consistency of the set of tree files processed by gnatelim, if the user also changes the sources of the Ada
program to be processed.
To produce a list of Eliminate pragmas, gnatelim has to do an extensive analysis and it may take some time. For example, to process itself,
gnatelim takes 4 minutes of CPU time on a Pentium 200.
OPTIONS -v verbose mode: gnatelim version information is printed (in the form of Ada comments) in stdout; the names of the files being pro-
cessed are printed to standard-error.
-vf Same as -v, but in addition various debugging information and information reflecting some details of the analysis done by gnatelim
are printed to standard-error.
-a Process RTL components: by default, gnatelim does not analyze the units which are the components of the GNAT Run-Time Library (RTL),
and it does not generate Eliminate pragmas for subprograms declared in the RTL. If '-a' option is set, RTL components are also ana-
lyzed (except some units, which contains subprograms implicitly called by the compiler).
-m Check missed units: if this option is set, gnatelim checks that all the units which (according to the bind file) has to be analyzed
by gnatelim are really represented by the set of tree files processed by gnatelim (depending on whether or not '-a' option is set).
By default (that is, if '-m' option is not set), gnatelim analyzes a set of units represented by a given set of tree files "as is"
(excluding library packages which require bodies, but for which bodies are not available).
AUTHOR
ASIS-for-GNAT was originally developed by the ASIS-for-GNAT team at the Software Engineering Laboratory of the Swiss Federal Insti-
tute of Technology (LGL-EPFL) in Lausanne, Switzerland, in cooperation with the Scientific Research Computer Center of Moscow State
University (SRCC MSU), Russia, with funding partially provided by grants from the Swiss National Science Foundation and the Swiss
Academy of Engineering Sciences. ASIS-for-GNAT is now maintained by Ada Core Technologies Inc (http://www.gnat.com).
This manual page was written by Ludovic Brenta <ludovic@ludovic-brenta.org> for the Debian project.
COPYRIGHT
Copyright (c) 1995-1997, Free Software Foundation, Inc.
SEE ALSO asistant(1), gnat(1), gnatcheck(1), gnatmetric(1), gnatpp(1), gnatstub(1)
The full documentation for gnatelim in /usr/share/doc/asis-programs/README.gnatelim
info asis_ug ASIS-for-GNAT User's Guide
info asis_rm ASIS-for-GNAT Reference Manual
GNU Ada Tools January 2002 GNATELIM(1)