------------------------------------------------------------------------------ -- -- -- ASIS DOCUMENTS -- -- -- -- A S I S I N F O . T X T -- -- -- -- Copyright (c) 1995-1997, Free Software Foundation, Inc. -- -- -- -- ASIS-for-GNAT is free software; you can redistribute it and/or modify it -- -- under terms of the GNU General Public License as published by the Free -- -- Software Foundation; either version 2, or (at your option) any later -- -- version. ASIS-for-GNAT is distributed in the hope that it will be use- -- -- ful, but WITHOUT ANY WARRANTY; without even the implied warranty of MER- -- -- CHANTABILITY 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 distributed with ASIS-for-GNAT; see file -- -- COPYING. If not, write to the Free Software Foundation, 59 Temple Place -- -- - Suite 330, Boston, MA 02111-1307, USA. -- -- -- -- 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 Engineering -- -- Sciences. ASIS-for-GNAT is now maintained by Ada Core Technologies Inc -- -- (http://www.gnat.com). -- -- -- ------------------------------------------------------------------------------ For information about commercial support of the ASIS implementation for GNAT (ASIS-for-GNAT) from Ada Core Technologies send email to sales@gnat.com or visit our home page at http://www.gnat.com In Europe information about commercial support of ASIS-for-GNAT should be sent to sales@act-europe.fr or visit the ACT Europe (The European GNAT Company) home page at http://www.act-europe.fr All bug reports and technical correspondence should be sent to asis-report@gnat.com Documentation ============= The Documentation for Asis-for-GNAT consists of three parts: ASIS-for-GNAT Installation Guide (presented as README file), ASIS-for-GNAT User's Guide and ASIS-for-GNAT Reference Manual. Now they are available only in ASCII format, but they will be available in a number of formats (ASCII, HTML, PostScript and info) soon. Copyright and Licensing Considerations ====================================== The ASIS-for-GNAT code consists of two parts - the first part is the code specially developed to implement ASIS for the GNAT Ada 95 compiler, and the second part consists of the GNAT components needed by the code from the first part. All the ASIS-for-GNAT code is licensed using a modified version of the General Public License (GPL) which allows unlimited distribution without license fees, and incorporation into any program executable without restriction. In particular, ASIS-for-GNAT can be used for building proprietary or classified ASIS-based tools and applications, and in no way restricts the desired licensing or distribution of such programs. The source code of all the ASIS applications included as examples of ASIS-based tools in the ASIS-for-GNAT distribution the GPL. This means that this code is freely redistributable, and you may freely modify these applications for your own use, but if you redistribute modified versions of these ASIS applications, then they must themselves be distributed under the terms of the GPL, and in particular you cannot incorporate the code of these applications into proprietary programs. For more information on the licensing provisions, consult the headers of the appropriate source files. Submitting Bug Reports ====================== We welcome bug reports, they are of course a vital part of the process of the continuing improvement of ASIS-for-GNAT. You will help us (and make it more likely that we will look at your report in a timely manner) if you follow these guidelines. We process all bug reports from both users supported by Ada Core Technologies, and from unsupported users. Naturally supported users have our priority attention. We will acknowledge all reports from unsupported users and eventually correct any problems that are clearly reported, but we cannot enter into correspondence regarding such reports. We only receive bug reports by internet, addressed to asis-report@gnat.com. Please report each bug in a separate message, and add a short but specific subject (a general subject like "ASIS bug" is useless, a title like "bug in Corresponding_Called_Function" is more useful). Some users find it useful to assign unique identifying numbers to bug reports. Please include full sources. We can't duplicate errors without the full sources. Include all sources in the single email message with appropriate indications in the multiple file cases, see below. Also say exactly what you saw, do not assume that we can guess what you saw, or duplicate the behavior you encountered. Note, that in case of ASIS problem we generally need two components to investigate a bug: first - an ASIS application which shows the problem, and second, a set of compilation units making up an ASIS Context on which the problem shows up. If you may reproduce the problem using asistant, you may send a set of asistant commands instead of the ASIS application, it is even better for us. All sources must be sent in plain ASCII form. Please include COMPLETE identification of the version of the system you are running. To be maximally helpful, for a report that contains multiple separate compilation units, and hence multiple files, submit them in the form of a single file that is acceptable input to gnatchop, i.e. contains no non-Ada text. If you use banners to separate the files, make sure they are composed entirely of blank lines or Ada comments. The first line of sources should be marked with an Ada comment line, and the sources should extend to the end of the message. If you must include a signature, make it look like an Ada comment. Also, it is helpful if you try to reduce your example to a simple one but do not spend too much time doing this.