------------------------------------------------------------------------------
--                                                                          --
--                              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.