1
------------------------------------------------------------------------------
5
-- A S I S I N F O . T X T --
7
-- Copyright (c) 1995-1997, Free Software Foundation, Inc. --
9
-- ASIS-for-GNAT is free software; you can redistribute it and/or modify it --
10
-- under terms of the GNU General Public License as published by the Free --
11
-- Software Foundation; either version 2, or (at your option) any later --
12
-- version. ASIS-for-GNAT is distributed in the hope that it will be use- --
13
-- ful, but WITHOUT ANY WARRANTY; without even the implied warranty of MER- --
14
-- CHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General --
15
-- Public License for more details. You should have received a copy of the --
16
-- GNU General Public License distributed with ASIS-for-GNAT; see file --
17
-- COPYING. If not, write to the Free Software Foundation, 59 Temple Place --
18
-- - Suite 330, Boston, MA 02111-1307, USA. --
20
-- ASIS-for-GNAT was originally developed by the ASIS-for-GNAT team at the --
21
-- Software Engineering Laboratory of the Swiss Federal Institute of --
22
-- Technology (LGL-EPFL) in Lausanne, Switzerland, in cooperation with the --
23
-- Scientific Research Computer Center of Moscow State University (SRCC --
24
-- MSU), Russia, with funding partially provided by grants from the Swiss --
25
-- National Science Foundation and the Swiss Academy of Engineering --
26
-- Sciences. ASIS-for-GNAT is now maintained by Ada Core Technologies Inc --
27
-- (http://www.gnat.com). --
29
------------------------------------------------------------------------------
31
For information about commercial support of the ASIS implementation for GNAT
32
(ASIS-for-GNAT) from Ada Core Technologies send email to sales@gnat.com or
33
visit our home page at http://www.gnat.com
35
In Europe information about commercial support of ASIS-for-GNAT should be sent
36
to sales@act-europe.fr or visit the ACT Europe (The European GNAT Company)
37
home page at http://www.act-europe.fr
39
All bug reports and technical correspondence should be sent to
45
The Documentation for Asis-for-GNAT consists of three parts: ASIS-for-GNAT
46
Installation Guide (presented as README file), ASIS-for-GNAT User's
47
Guide and ASIS-for-GNAT Reference Manual. Now they are available only in ASCII
48
format, but they will be available in a number of formats (ASCII, HTML,
49
PostScript and info) soon.
51
Copyright and Licensing Considerations
52
======================================
54
The ASIS-for-GNAT code consists of two parts - the first part is the code
55
specially developed to implement ASIS for the GNAT Ada 95 compiler, and the
56
second part consists of the GNAT components needed by the code from the first
59
All the ASIS-for-GNAT code is licensed using a modified version of the General
60
Public License (GPL) which allows unlimited distribution without license fees,
61
and incorporation into any program executable without restriction. In
62
particular, ASIS-for-GNAT can be used for building proprietary or classified
63
ASIS-based tools and applications, and in no way restricts the desired
64
licensing or distribution of such programs.
66
The source code of all the ASIS applications included as examples of
67
ASIS-based tools in the ASIS-for-GNAT distribution the GPL. This means that
68
this code is freely redistributable, and you may freely modify these
69
applications for your own use, but if you redistribute modified versions of
70
these ASIS applications, then they must themselves be distributed under the
71
terms of the GPL, and in particular you cannot incorporate the code of these
72
applications into proprietary programs.
74
For more information on the licensing provisions, consult the headers of the
75
appropriate source files.
77
Submitting Bug Reports
78
======================
80
We welcome bug reports, they are of course a vital part of the process of the
81
continuing improvement of ASIS-for-GNAT. You will help us (and make it more
82
likely that we will look at your report in a timely manner) if you follow
83
these guidelines. We process all bug reports from both users supported by Ada
84
Core Technologies, and from unsupported users. Naturally supported users have
85
our priority attention. We will acknowledge all reports from unsupported users
86
and eventually correct any problems that are clearly reported, but we cannot
87
enter into correspondence regarding such reports.
89
We only receive bug reports by internet, addressed to asis-report@gnat.com.
91
Please report each bug in a separate message, and add a short but specific
92
subject (a general subject like "ASIS bug" is useless, a title like "bug in
93
Corresponding_Called_Function" is more useful). Some users find it useful to
94
assign unique identifying numbers to bug reports.
96
Please include full sources. We can't duplicate errors without the full
97
sources. Include all sources in the single email message with appropriate
98
indications in the multiple file cases, see below. Also say exactly what you
99
saw, do not assume that we can guess what you saw, or duplicate the behavior
102
Note, that in case of ASIS problem we generally need two components to
103
investigate a bug: first - an ASIS application which shows the problem, and
104
second, a set of compilation units making up an ASIS Context on which the
105
problem shows up. If you may reproduce the problem using asistant, you may
106
send a set of asistant commands instead of the ASIS application, it is even
109
All sources must be sent in plain ASCII form. Please include COMPLETE
110
identification of the version of the system you are running.
112
To be maximally helpful, for a report that contains multiple separate
113
compilation units, and hence multiple files, submit them in the form of a
114
single file that is acceptable input to gnatchop, i.e. contains no non-Ada
115
text. If you use banners to separate the files, make sure they are composed
116
entirely of blank lines or Ada comments. The first line of sources should be
117
marked with an Ada comment line, and the sources should extend to the end of
118
the message. If you must include a signature, make it look like an Ada
121
Also, it is helpful if you try to reduce your example to a simple one but do
122
not spend too much time doing this.
b'\\ No newline at end of file'