gnatsync(1) [debian 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)
Check Out this Related Man Page
GNATPP(1) ASIS Tools GNATPP(1) NAME
gnatpp - Ada pretty-printer SYNOPSIS
gnatpp [options] {filename | -files filename} [gcc_switches] DESCRIPTION
gnatpp recreates the source text of the specified Ada units from GNAT's parse tree. Along the way, it reformats the source text according to the many options. The defaults are suitable for the GNAT style guide. OPTIONS
-A(0|1|2|3|4|5) set alignment, all the alignments are set ON by default 0 set the default for all the alignments OFF 1 align colons in declarations 2 align assignments in declarations 3 align assignments in assignment statements 4 align arrow delimiters in associations 5 align 'AT' keywords in component clauses -a(L|U|M) set attribute casing L lower case U upper case M mixed case (set as default) -c(0|1|2|3|4) comments layout 0 do not format comments 1 GNAT style comment line indentation (set as default) 2 standard comment line indentation 3 GNAT style comment beginning 4 reformat comment blocks -clnnn indentation level for continuation lines, nnn from 1 .. 9 -Dfile set file as the dictionary file defining casing exceptions -D- do not use RM95-defined casing for predefined names, use casing defined by -n parameter and dictionary file(s) instead -e do not set missed end/exit labels -ff put Form Feed after a pragma Page -gnatecpath the same as GNAT -gnatec option -innn indentation level, nnn from 1 .. 9, the default value is 3 -Idir the same as GNAT -I option -I- the same as GNAT -I- option -k(L|U) set keyword casing L lower case (set as default) U upper case -l(1|2|3) set construct layout 1 GNAT style layout (set as default) 2 compact layout 3 uncompact layout -Mnnn set maximum line length, nnn from 32 .. 256, the default value is 79 -n(D|U|L|M) set name casing (for both defining and usage occurrences) D as declared (set as default) U all in upper case L all in lower case M mixed -N no tabulation in comments -p(L|U|M) L lower case U upper case M mixed case (set as default) --RTS=dir the same as GNAT --RTS option -Tnnn do not use additional indentation level for case alternatives and variants if their number is nnn or more (the default value is 10) -q quiet mode -v verbose mode -dd progress indicator verbose mode -w warnings ON Output file control -pipe send the output into stdout -o output_file write the output into output_file. Give up if output_file already exists -of output_file write the output into output_file, overriding the existing file -r replace the argument source with the pretty-printed source and copy the argument source into filename.npp. Give up if filename.npp already exists. -rf replace the argument source with the pretty-printed source and copy the argument source into filename.npp, overriding the existing file -rnb replace the argument source with the pretty-printed source and do not create the back-up copy of the argument source Input files filename the name of the Ada source file to be reformatted. Wildcards are allowed. -files filename the name of the text file containing a list of Ada source files to reformat GCC switches gcc_switches Passed to gnatgcc as "-cargs gcc_switches". AUTHOR
ASIS-for-GNAT was originally developed by the ASIS-for-GNAT team at the Software Engineering Laboratory of the Swiss Federal Institute 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 Engineer- ing Sciences. ASIS-for-GNAT is now maintained by AdaCore (http://www.adacore.com). This manual page was written by Ludovic Brenta <ludovic@ludovic-brenta.org> for the Debian project, from the gnatpp sources. COPYRIGHT
Copyright (c) 1995-2006, Free Software Foundation, Inc. SEE ALSO
asistant(1), gnat(1), gnatcheck(1), gnatelim(1), gnatmetric(1), gnatstub(1) /usr/share/doc/asis-programs/README.gnatpp info asis_ug ASIS-for-GNAT User's Guide, provided by by package libasis-doc in the Info system, and in text, PDF and HTML formats in /usr/share/doc/libasis-doc. (asis-doc is in the non-free sec- tion of Debian). info asis_rm ASIS-for-GNAT Reference Manual, same package. GNU Ada Tools June 2006 GNATPP(1)