The unified diff between revisions [1687558b..] and [279e9cee..] is displayed below. It can also be downloaded as a raw diff.
# # # add_file "debian/gnatsync.1" # content [d929073389c7bdb45030b2cec2c988387f84d83b] # ============================================================ --- debian/gnatsync.1 d929073389c7bdb45030b2cec2c988387f84d83b +++ debian/gnatsync.1 d929073389c7bdb45030b2cec2c988387f84d83b @@ -0,0 +1,129 @@ +.\" Hey, Emacs! This is an -*- nroff -*- source file. +.\" +.\" Copyright (C) 2007-2009 AdaCore +.\" Copyright (C) 2009 Ludovic Brenta <lbrenta@debian.org> +.\" +.\" This is free software; you can redistribute it and/or modify it under +.\" the terms of the GNU General Public License as published by the Free +.\" Software Foundation; either version 2, or (at your option) any later +.\" version. +.\" +.\" This is distributed in the hope that it will be useful, but WITHOUT +.\" ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or +.\" FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License +.\" for more details. +.\" +.\" You should have received a copy of the GNU General Public License with +.\" your Debian GNU/Linux system, in /usr/share/common-licenses/GPL, or with the +.\" dpkg source package as the file COPYING. If not, write to the Free +.\" Software Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. +.\" +.TH "GNATSYNC" 1 "November 2009" "GNU Ada Tools" "ASIS Tools" +.SH NAME +gnatsync \- The GNAT global dependency detector +.SH SYNOPSIS +\fBgnatsync\fR [\fIOPTION\fR]... \fIfilename\fR [\fB-cargs\fR \fIgcc_switches\fR] +.PP +\fBgnatsync\fR [\fIOPTION\fR]... -files=\fIfilename\fR [\fB-cargs\fR \fIgcc_switches\fR] +.SH DESCRIPTION +.PP +\fBgnatsync\fR 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 \fBgnatsync\fR 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. + +\fBgnatsync\fR 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 +\fBgnatsync\fR run and is deleted when the processing of the argument +sources is completed. If a source file specified as \fBgnatsync\fR +argument does not contain a legal Ada program unit, that is to say if +the program has syntactic of semantic errors, \fBgnatsync\fR 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 +\fBgnatsync\fR parameters, in the same way as the source search path +can be specified for GNAT. This is not needed if \fBgnatsync\fR is +called from the GNAT driver with the corresponding project file. + +.PP +In the first form, \fBgnatsync\fR examines the specified Ada source +files (wildcards are allowed). +.PP +In the second form, \fBgnatsync\fR examines the Ada source files +listed in the specified file. +.SH OPTIONS +.TP +\fB-a\fR +Process RTL units. +.TP +\fB-cargs\fR \fIgcc_switches\fR +Pass \fIgcc_switches\fR to GCC when producing the tree files. +.TP +\fB-d\fR +Debug mode. +.TP +\fB-dd\fR +Progress indicator mode, for use in the GNAT Programming Studio. +.TP +\fB-main\fR=\fIfilename\fR +Specify file containing main subprogram +.TP +\fB-o(s|m|f)\fR +Output detail level: s=short, m=medium (the default), f=full. +.TP +\fB-out_file\fR=\fIfilename\fR +Send output to \fIfilename\fR. +.TP +\fB-q\fR +Quiet mode: do not report detections on standard output. +.TP +\fB-t\fR +Output execution time. +.TP +\fB-threads\fR=\fIfilename\fR +Specify file describing foreign threads +.TP +\fB-v\fR +Verbose mode. +.TP +\fB-wq\fR +Turn warnings off. +.SH PROJECT FILE SUPPORT +\fBgnasync\fR 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. \fBgnatsync\fR can be called from the +GNAT driver as other tools, so the most practical way of invoking the +tool is: +.TP +\fBgnat sync -P\fR\fIproj\fR \fB-U\fR [\fIoptions\fR] +.SH AUTHOR +.PP +\fBgnatsync\fR was written by AdaCore (http://www.adacore.com). +.PP +This manual page was written by Ludovic Brenta <lbrenta@debian.org> +for the Debian project, from gnatsync's README file. +.SH COPYRIGHT +\fBgnatsync\fR is Copyright (c) 2007-2009 AdaCore +.PP +This manual page is Copyright (C) 2009 Ludovic Brenta +<lbrenta@debian.org>. +.SH SEE ALSO +.PP +asistant(1), gnat(1), gnatcheck(1), gnatelim(1), gnatmetric(1), gnatpp(1) +.PP +The full documentation for \fBgnatsync\fR in +/usr/share/doc/asis-programs/README.gnatsync. +.TP +\fBinfo asis_ug\fR ASIS-for-GNAT User's Guide +.TP +\fBinfo asis_rm\fR ASIS-for-GNAT Reference Manual