pfni(1) [debian man page]
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
GNATSYNC(1) ASIS Tools GNATSYNC(1) NAME
gnatsync - The GNAT global dependency detector SYNOPSIS
gnatsync [OPTION]... filename [-cargs gcc_switches] gnatsync [OPTION]... -files=filename [-cargs gcc_switches] DESCRIPTION
gnatsync is the GNAT static analysis tool that helps to detect potential race conditions in multitasking programs, by exposing the global data that is accessed in unsynchronized manner by independent threads or Ada tasks. Input to gnatsync is a set of compilable Ada sources that constitutes a complete program. As it output, the tool prints out a list of a data objects for which potential unsynchronized access is detected, and for each such object the tool provides a list of threads that access this object. Each access is specified by a full sequence of subprograms calls when a given thread does not reference the object directly. gnatsync is an ASIS-based tool. It compiles the given sources to create the corresponding tree files. All these compilations take place in a temporary directory, which is created in the beginning of a gnatsync run and is deleted when the processing of the argument sources is completed. If a source file specified as gnatsync argument does not contain a legal Ada program unit, that is to say if the program has syntactic of semantic errors, gnatsync cannot process it. If the specified source contains an Ada unit which depends on Ada units located in other directories, the user can either specify the source search path by means of a -I option in '-cargs' section of gnatsync parame- ters, in the same way as the source search path can be specified for GNAT. This is not needed if gnatsync is called from the GNAT driver with the corresponding project file. In the first form, gnatsync examines the specified Ada source files (wildcards are allowed). In the second form, gnatsync examines the Ada source files listed in the specified file. OPTIONS
-a Process RTL units. -cargs gcc_switches Pass gcc_switches to GCC when producing the tree files. -d Debug mode. -dd Progress indicator mode, for use in the GNAT Programming Studio. -main=filename Specify file containing main subprogram -o(s|m|f) Output detail level: s=short, m=medium (the default), f=full. -out_file=filename Send output to filename. -q Quiet mode: do not report detections on standard output. -t Output execution time. -threads=filename Specify file describing foreign threads -v Verbose mode. -wq Turn warnings off. PROJECT FILE SUPPORT
gnasync can be applied to any set of sources, but it can produce useful and complete results when called to a set of sources that make up a complete program. The most convenient way to specify such a set of sources is a project file. gnatsync can be called from the GNAT driver as other tools, so the most practical way of invoking the tool is: gnat sync -Pproj -U [options] AUTHOR
gnatsync was written by AdaCore (http://www.adacore.com). This manual page was written by Ludovic Brenta <lbrenta@debian.org> for the Debian project, from gnatsync's README file. COPYRIGHT
gnatsync is Copyright (c) 2007-2009 AdaCore This manual page is Copyright (C) 2009 Ludovic Brenta <lbrenta@debian.org>. SEE ALSO
asistant(1), gnat(1), gnatcheck(1), gnatelim(1), gnatmetric(1), gnatpp(1) The full documentation for gnatsync in /usr/share/doc/asis-programs/README.gnatsync. info asis_ug ASIS-for-GNAT User's Guide info asis_rm ASIS-for-GNAT Reference Manual GNU Ada Tools November 2009 GNATSYNC(1)