Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.

com) See below for the copying conditions. How To Get (More) PWL Documentation =================================== Do you have all the documentation you need? If you don't or if you are unsure, the following is for you. There are two versions of the Parma Watchdog Library's documentation: + a `user' manual, containing all and only the information needed by people wishing to use the library; + a `devref' (developer reference) manual, also containing details about the library implementation. Each of these versions can be obtained in several formats: + a PDF file suitable for browsing on the screen; + a (gzipped) PostScript file suitable for printing; + a (tarred and gzipped) collection of HTML pages suitable for browsing. The Documentation You May Already Have ====================================== First of all, you may already have some documentation and all you need to do is to find it. If you have downloaded a source (tar or zip) archive for PWL version X.Y.Z, you will find in the doc subdirectory the following set of user manuals: pwl-user-X.Y.Z.pdf pwl-user-X.Y.Z.ps.gz If you have installed a binary RPM package, then you have the same set of manuals. You can find them with the command `rpm -ql pwl' which will print, among other things, something like /usr/share/doc/pwl-X.Y.Z /usr/share/doc/pwl-X.Y.Z/README /usr/share/doc/pwl-X.Y.Z/pwl-user-X.Y.Z.pdf /usr/share/doc/pwl-X.Y.Z/pwl-user-X.Y.Z.ps.gz The Documentation You May Download ================================== If you are using the latest released version of the library, you will find all the documentation in all formats at http://www.cs.unipr.it/pwl/Documentation/ . The Documentation You May Build Yourself ======================================== When all else fails (which is the case, for example, when you are using a CVS version [1]) then you may build the documentation by

yourself. In order to do that, you should have a recent version of Doxygen [2] and, if you want to build the HTML documentation, a recent version of Graphviz [3]. When you have all the tools installed and running, you should follow the following procedure. First, you should determine which version of the library you are working with. The safest way is to go to the top source directory of the library and to locate the unique line in the file configure.ac containing the string "AC_INIT". This will look like AC_INIT([the Parma Watchdog Library], 0.6.3pre4, pwl-devel@cs.unipr.it, pwl) from which you determine that the version is 0.6.3pre4 (a.k.a. the 4th beta version before release 0.6.3). Then, if you have not yet done it, build the library itself (see the building instructions in the file INSTALL [4] in the top source directory. The default build process, while essential in order to produce the documentation, will not generate it directly. For this reason you should go to the doc subdirectory of your build directory (i.e., the one where you compiled the library) and build all the documents you want by executing a command of the form make doc1 doc2 ... Here, doc1, doc2 and so forth are the names of the documents to be built. Document names may be obtained from the following list by replacing X.Y.Z with the version number you have already determined, and by replacing KIND with either `user' or `devref': pwl-KIND-X.Y.Z.pdf pwl-KIND-X.Y.Z.ps.gz pwl-KIND-X.Y.Z-html.tar.gz For example, the command make pwl-user-0.6.3pre4.pdf pwl-devref-0.6.3pre4.pdf will build both kinds of manuals in a PDF format. Alternatively, the command `make world' will build all the available documentation in all of the above formats. -------[1] http://www.cs.unipr.it/pwl/Download/cvs [2] http://www.doxygen.org/ [3] http://www.research.att.com/sw/tools/graphviz/ -------Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com) This document describes the Parma Watchdog Library (PWL). Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.

The license is included, in various formats, in the `doc' subdirectory of each distribution of the PWL in files called `fdl.*'. The PWL 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 3 of the License, or (at your option) any later version. The license is included, in various formats, in the `doc' subdirectory of each distribution of the PWL in files are called `gpl.*'. The PWL 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. If you have not received a copy of one or both the above mentioned licenses along with the PWL, write to the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. For the most up-to-date information see the Parma Watchdog Library site: http://www.cs.unipr.it/pwl/ .