1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
<HTML>
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<!-- Created on May, 22 2008 by texi2html 1.64-gnat-1 -->
<!--
Written by: Lionel Cons <Lionel.Cons@cern.ch> (original author)
Karl Berry <karl@freefriends.org>
Olaf Bachmann <obachman@mathematik.uni-kl.de>
and many others.
Maintained by: Olaf Bachmann <obachman@mathematik.uni-kl.de>
Send bugs and suggestions to <texi2html@mathematik.uni-kl.de>
-->
<HEAD>
<TITLE>ASIS-for-GNAT User's Guide: Footnotes</TITLE>
<META NAME="description" CONTENT="ASIS-for-GNAT User's Guide: Footnotes">
<META NAME="keywords" CONTENT="ASIS-for-GNAT User's Guide: Footnotes">
<META NAME="resource-type" CONTENT="document">
<META NAME="distribution" CONTENT="global">
<META NAME="Generator" CONTENT="texi2html 1.64-gnat-1">
</HEAD>
<BODY LANG="" BGCOLOR="#FFFFFF" TEXT="#000000" LINK="#0000FF" VLINK="#800080" ALINK="#FF0000">
<A NAME="asis_ug_fot.html"></A>
<TABLE CELLPADDING=1 CELLSPACING=1 BORDER=0>
<TR><TD VALIGN="MIDDLE" ALIGN="LEFT">[<A HREF="asis_ug.html#SEC_Top">Top</A>]</TD>
<TD VALIGN="MIDDLE" ALIGN="LEFT">[<A HREF="asis_ug_toc.html#SEC_Contents">Contents</A>]</TD>
<TD VALIGN="MIDDLE" ALIGN="LEFT">[<A HREF="asis_ug_15.html#SEC56">Index</A>]</TD>
<TD VALIGN="MIDDLE" ALIGN="LEFT">[<A HREF="asis_ug_abt.html#SEC_About"> ? </A>]</TD>
</TR></TABLE>
<H1>Footnotes</H1>
<H3><A NAME="FOOT1" HREF="asis_ug_3.html#DOCF1">(1)</A></H3>
<P>
<A NAME="IDX5"></A>
It may seem that an Ada unit such as
<TABLE><tr><td> </td><td class=smallexample><FONT SIZE=+0><pre>package Pack is
type T is array(Positive range <>) of Float;
procedure Proc(X : in out T);
end Pack;
</FONT></pre></td></tr></table>is a package <EM>specification</EM>, but in fact the "specification"
(as defined in the <CITE>Ada Reference Manual</CITE>) comprises all but the final
semicolon. The form with the final semicolon is known as a
"package declaration". Since this official term is not
familiar to most Ada users, the GNAT documentation uses the term
"spec" (for a unit) to mean that unit's <EM>declaration</EM>
- thus a package spec includes the final semicolon.
<H3><A NAME="FOOT2" HREF="asis_ug_3.html#DOCF2">(2)</A></H3>
<P>
The <TT>`.adb'</TT> is optional
<H3><A NAME="FOOT3" HREF="asis_ug_5.html#DOCF3">(3)</A></H3>
<P>This is not a violation of the requirement stated in
the ASIS definition that only ASIS-defined exceptions are allowed to propagate
outside ASIS queries, because in this case you do not have ASIS-for-GNAT
properly installed and therefore you do not have a valid ASIS implementation.
<H3><A NAME="FOOT4" HREF="asis_ug_6.html#DOCF4">(4)</A></H3>
<P>You do not have to do this if you have
installed ASIS from the binary distribution, because the executable for
<CODE>asistant</CODE> has been added to other GNAT executables
<HR SIZE=1>
<BR>
<FONT SIZE="-1">
This document was generated
by <I>Mail Server</I> on <I>May, 22 2008</I>
using <A HREF="http://www.mathematik.uni-kl.de/~obachman/Texi2html/"><I>texi2html</I></A>
</BODY>
</HTML>
|
