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
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
|
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
"http://www.w3.org/TR/html4/loose.dtd">
<HTML>
<HEAD>
<TITLE>Ada95 - Names</TITLE>
<META NAME="Author" CONTENT="JTC1/SC22/WG9/ARG, by Randall Brukardt, ARG Editor">
<META NAME="GENERATOR" CONTENT="Arm_Form.Exe, Ada Reference Manual generator">
<STYLE type="text/css">
DIV.paranum {position: absolute; font-family: Arial, Helvetica, sans-serif; left: 0.5 em; top: auto}
TT {font-family: "Courier New", monospace}
DT {display: compact}
DIV.Normal {font-family: "Times New Roman", Times, serif; margin-bottom: 0.6em}
DIV.Wide {font-family: "Times New Roman", Times, serif; margin-top: 0.6em; margin-bottom: 0.6em}
DIV.Annotations {font-family: "Times New Roman", Times, serif; margin-left: 4.0em; margin-bottom: 0.6em}
DIV.WideAnnotations {font-family: "Times New Roman", Times, serif; margin-left: 4.0em; margin-top: 0.6em; margin-bottom: 0.6em}
DIV.Index {font-family: "Times New Roman", Times, serif}
DIV.SyntaxSummary {font-family: "Times New Roman", Times, serif; margin-left: 2.0em; margin-bottom: 0.4em}
DIV.Notes {font-family: "Times New Roman", Times, serif; margin-left: 2.0em; margin-bottom: 0.6em}
DIV.NotesHeader {font-family: "Times New Roman", Times, serif; margin-left: 2.0em}
DIV.SyntaxIndented {font-family: "Times New Roman", Times, serif; margin-left: 2.0em; margin-bottom: 0.4em}
DIV.Indented {font-family: "Times New Roman", Times, serif; margin-left: 6.0em; margin-bottom: 0.6em}
DIV.CodeIndented {font-family: "Times New Roman", Times, serif; margin-left: 4.0em; margin-bottom: 0.6em}
DIV.SmallIndented {font-family: "Times New Roman", Times, serif; margin-left: 10.0em; margin-bottom: 0.6em}
DIV.SmallCodeIndented {font-family: "Times New Roman", Times, serif; margin-left: 8.0em; margin-bottom: 0.6em}
DIV.Examples {font-family: "Courier New", monospace; margin-left: 2.0em; margin-bottom: 0.6em}
DIV.SmallExamples {font-family: "Courier New", monospace; font-size: 80%; margin-left: 7.5em; margin-bottom: 0.6em}
DIV.IndentedExamples {font-family: "Courier New", monospace; margin-left: 8.0em; margin-bottom: 0.6em}
DIV.SmallIndentedExamples {font-family: "Courier New", monospace; font-size: 80%; margin-left: 15.0em; margin-bottom: 0.6em}
UL.Bulleted {font-family: "Times New Roman", Times, serif; margin-left: 2.0em; margin-right: 2.0em; margin-top: 0em; margin-bottom: 0.5em}
UL.SmallBulleted {font-family: "Times New Roman", Times, serif; margin-left: 6.0em; margin-right: 6.0em; margin-top: 0em; margin-bottom: 0.5em}
UL.NestedBulleted {font-family: "Times New Roman", Times, serif; margin-left: 4.0em; margin-right: 4.0em; margin-top: 0em; margin-bottom: 0.5em}
UL.SmallNestedBulleted {font-family: "Times New Roman", Times, serif; margin-left: 8.0em; margin-right: 8.0em; margin-top: 0em; margin-bottom: 0.5em}
UL.IndentedBulleted {font-family: "Times New Roman", Times, serif; margin-left: 8.0em; margin-right: 8.0em; margin-top: 0em; margin-bottom: 0.5em}
UL.CodeIndentedBulleted {font-family: "Times New Roman", Times, serif; margin-left: 6.0em; margin-right: 6.0em; margin-top: 0em; margin-bottom: 0.5em}
UL.CodeIndentedNestedBulleted {font-family: "Times New Roman", Times, serif; margin-left: 8.0em; margin-right: 8.0em; margin-top: 0em; margin-bottom: 0.5em}
UL.SyntaxIndentedBulleted {font-family: "Times New Roman", Times, serif; margin-left: 4.0em; margin-right: 4.0em; margin-top: 0em; margin-bottom: 0.5em}
UL.NotesBulleted {font-family: "Times New Roman", Times, serif; margin-left: 4.0em; margin-right: 4.0em; margin-top: 0em; margin-bottom: 0.5em}
UL.NotesNestedBulleted {font-family: "Times New Roman", Times, serif; margin-left: 6.0em; margin-right: 6.0em; margin-top: 0em; margin-bottom: 0.5em}
DL.Hanging {font-family: "Times New Roman", Times, serif; margin-top: 0em; margin-bottom: 0.6em}
DD.Hanging {margin-left: 6.0em}
DL.IndentedHanging {font-family: "Times New Roman", Times, serif; margin-left: 4.0em; margin-top: 0em; margin-bottom: 0.6em}
DD.IndentedHanging {margin-left: 2.0em}
DL.HangingInBulleted {font-family: "Times New Roman", Times, serif; margin-left: 2.0em; margin-right: 2.0em; margin-top: 0em; margin-bottom: 0.5em}
DD.HangingInBulleted {margin-left: 4.0em}
DL.SmallHanging {font-family: "Times New Roman", Times, serif; margin-left: 4.0em; margin-top: 0em; margin-bottom: 0.6em}
DD.SmallHanging {margin-left: 7.5em}
DL.SmallIndentedHanging {font-family: "Times New Roman", Times, serif; margin-left: 8.0em; margin-top: 0em; margin-bottom: 0.6em}
DD.SmallIndentedHanging {margin-left: 2.0em}
DL.SmallHangingInBulleted {font-family: "Times New Roman", Times, serif; margin-left: 6.0em; margin-right: 6.0em; margin-top: 0em; margin-bottom: 0.5em}
DD.SmallHangingInBulleted {margin-left: 5.0em}
DL.Enumerated {font-family: "Times New Roman", Times, serif; margin-right: 0.0em; margin-top: 0em; margin-bottom: 0.5em}
DD.Enumerated {margin-left: 2.0em}
DL.SmallEnumerated {font-family: "Times New Roman", Times, serif; margin-left: 4.0em; margin-right: 4.0em; margin-top: 0em; margin-bottom: 0.5em}
DD.SmallEnumerated {margin-left: 2.5em}
DL.NestedEnumerated {font-family: "Times New Roman", Times, serif; margin-left: 2.0em; margin-right: 2.0em; margin-top: 0em; margin-bottom: 0.5em}
DL.SmallNestedEnumerated {font-family: "Times New Roman", Times, serif; margin-left: 6.0em; margin-right: 6.0em; margin-top: 0em; margin-bottom: 0.5em}
</STYLE>
</HEAD>
<BODY TEXT="#000000" BGCOLOR="#FFFFF0" LINK="#0000FF" VLINK="#800080" ALINK="#FF0000">
<P><A HREF="RM-TOC.html">Contents</A> <A HREF="RM-0-29.html">Index</A> <A HREF="RM-4.html">Previous</A> <A HREF="RM-4-1-1.html">Next</A></P>
<HR>
<H1> 4.1 Names</H1>
<DIV Class="Paranum"><FONT SIZE=-2>1</FONT></DIV>
<DIV Class="Normal"> <FONT FACE="Arial, Helvetica">Name</FONT>s can
denote declared entities, whether declared explicitly or implicitly (see
<A HREF="RM-3-1.html">3.1</A>). <FONT FACE="Arial, Helvetica">Name</FONT>s
can also denote objects or subprograms designated by access values; the
results of <FONT FACE="Arial, Helvetica">type_conversion</FONT>s or <FONT FACE="Arial, Helvetica">function_call</FONT>s;
subcomponents and slices of objects and values; protected subprograms,
single entries, entry families, and entries in families of entries. Finally,
<FONT FACE="Arial, Helvetica">name</FONT>s can denote attributes of any
of the foregoing. </DIV>
<H4 ALIGN=CENTER>Syntax</H4>
<DIV Class="Paranum"><FONT SIZE=-2>2</FONT></DIV>
<DIV Class="SyntaxIndented"><FONT FACE="Arial, Helvetica">name<A NAME="I2153"></A>
::= </FONT><BR>
<A NAME="I2154"></A><FONT FACE="Arial, Helvetica">direct_name</FONT> | <A NAME="I2155"></A><FONT FACE="Arial, Helvetica">explicit_dereference</FONT><BR>
| <A NAME="I2156"></A><FONT FACE="Arial, Helvetica">indexed_component</FONT> | <A NAME="I2157"></A><FONT FACE="Arial, Helvetica">slice</FONT><BR>
| <A NAME="I2158"></A><FONT FACE="Arial, Helvetica">selected_component</FONT> | <A NAME="I2159"></A><FONT FACE="Arial, Helvetica">attribute_reference</FONT><BR>
| <A NAME="I2160"></A><FONT FACE="Arial, Helvetica">type_conversion</FONT> | <A NAME="I2161"></A><FONT FACE="Arial, Helvetica">function_call</FONT><BR>
| <A NAME="I2162"></A><FONT FACE="Arial, Helvetica">character_literal</FONT></DIV>
<DIV Class="Paranum"><FONT SIZE=-2>3</FONT></DIV>
<DIV Class="SyntaxIndented"><FONT FACE="Arial, Helvetica">direct_name<A NAME="I2163"></A>
::= </FONT><A NAME="I2164"></A><FONT FACE="Arial, Helvetica">identifier</FONT> | <A NAME="I2165"></A><FONT FACE="Arial, Helvetica">operator_symbol</FONT></DIV>
<DIV Class="Paranum"><FONT SIZE=-2>4</FONT></DIV>
<DIV Class="SyntaxIndented"><FONT FACE="Arial, Helvetica">prefix<A NAME="I2166"></A>
::= </FONT><A NAME="I2167"></A><FONT FACE="Arial, Helvetica">name</FONT> | <A NAME="I2168"></A><FONT FACE="Arial, Helvetica">implicit_dereference</FONT></DIV>
<DIV Class="Paranum"><FONT SIZE=-2>5</FONT></DIV>
<DIV Class="SyntaxIndented"><FONT FACE="Arial, Helvetica">explicit_dereference<A NAME="I2169"></A>
::= </FONT><A NAME="I2170"></A><FONT FACE="Arial, Helvetica">name</FONT>.<B>all</B></DIV>
<DIV Class="Paranum"><FONT SIZE=-2>6</FONT></DIV>
<DIV Class="SyntaxIndented"><FONT FACE="Arial, Helvetica">implicit_dereference<A NAME="I2171"></A>
::= </FONT><A NAME="I2172"></A><FONT FACE="Arial, Helvetica">name</FONT></DIV>
<DIV Class="Paranum"><FONT SIZE=-2>7</FONT></DIV>
<DIV Class="Normal"> Certain forms of <FONT FACE="Arial, Helvetica">name</FONT>
(<FONT FACE="Arial, Helvetica">indexed_component</FONT>s, <FONT FACE="Arial, Helvetica">selected_component</FONT>s,
<FONT FACE="Arial, Helvetica">slice</FONT>s, and <FONT FACE="Arial, Helvetica">attribute</FONT>s)
include a <FONT FACE="Arial, Helvetica">prefix</FONT> that is either
itself a <FONT FACE="Arial, Helvetica">name</FONT> that denotes some
related entity, or an <FONT FACE="Arial, Helvetica">implicit_dereference</FONT>
of an access value that designates some related entity. </DIV>
<H4 ALIGN=CENTER>Name Resolution Rules</H4>
<DIV Class="Paranum"><FONT SIZE=-2>8</FONT></DIV>
<DIV Class="Normal"> <A NAME="I2173"></A><A NAME="I2174"></A>The <FONT FACE="Arial, Helvetica">name</FONT>
in a <I>dereference</I> (either an <FONT FACE="Arial, Helvetica">implicit_dereference</FONT>
or an <FONT FACE="Arial, Helvetica">explicit_dereference</FONT>) is expected
to be of any access type. </DIV>
<H4 ALIGN=CENTER>Static Semantics</H4>
<DIV Class="Paranum"><FONT SIZE=-2>9</FONT></DIV>
<DIV Class="Normal"> <A NAME="I2175"></A>If the type of the <FONT FACE="Arial, Helvetica">name</FONT>
in a dereference is some access-to-object type <I>T</I>, then the dereference
denotes a view of an object, the <I>nominal subtype</I> of the view being
the designated subtype of <I>T</I>. </DIV>
<DIV Class="Paranum"><FONT SIZE=-2>10</FONT></DIV>
<DIV Class="Normal"> <A NAME="I2176"></A>If the type of the <FONT FACE="Arial, Helvetica">name</FONT>
in a dereference is some access-to-subprogram type <I>S</I>, then the
dereference denotes a view of a subprogram, the <I>profile</I> of the
view being the designated profile of <I>S</I>. </DIV>
<H4 ALIGN=CENTER>Dynamic Semantics</H4>
<DIV Class="Paranum"><FONT SIZE=-2>11</FONT></DIV>
<DIV Class="Normal"> <A NAME="I2177"></A>The evaluation of a <FONT FACE="Arial, Helvetica">name</FONT>
determines the entity denoted by the name. This evaluation has no other
effect for a <FONT FACE="Arial, Helvetica">name</FONT> that is a <FONT FACE="Arial, Helvetica">direct_name</FONT>
or a <FONT FACE="Arial, Helvetica">character_literal</FONT>.</DIV>
<DIV Class="Paranum"><FONT SIZE=-2>12</FONT></DIV>
<DIV Class="Normal"> <A NAME="I2178"></A>The evaluation of a <FONT FACE="Arial, Helvetica">name</FONT>
that has a <FONT FACE="Arial, Helvetica">prefix</FONT> includes the evaluation
of the <FONT FACE="Arial, Helvetica">prefix</FONT>. <A NAME="I2179"></A>The
evaluation of a <FONT FACE="Arial, Helvetica">prefix</FONT> consists
of the evaluation of the <FONT FACE="Arial, Helvetica">name</FONT> or
the <FONT FACE="Arial, Helvetica">implicit_dereference</FONT>. The <FONT FACE="Arial, Helvetica">prefix</FONT>
denotes the entity denoted by the <FONT FACE="Arial, Helvetica">name</FONT>
or the <FONT FACE="Arial, Helvetica">implicit_dereference</FONT>.</DIV>
<DIV Class="Paranum"><FONT SIZE=-2>13</FONT></DIV>
<DIV Class="Normal"> <A NAME="I2180"></A>The evaluation of a dereference
consists of the evaluation of the <FONT FACE="Arial, Helvetica">name</FONT>
and the determination of the object or subprogram that is designated
by the value of the <FONT FACE="Arial, Helvetica">name</FONT>. <A NAME="I2181"></A><A NAME="I2182"></A>A
check is made that the value of the <FONT FACE="Arial, Helvetica">name</FONT>
is not the null access value. <A NAME="I2183"></A>Constraint_Error is
raised if this check fails. The dereference denotes the object or subprogram
designated by the value of the <FONT FACE="Arial, Helvetica">name</FONT>.
</DIV>
<H4 ALIGN=CENTER>Examples</H4>
<DIV Class="Paranum"><FONT SIZE=-2>14</FONT></DIV>
<DIV Class="Normal" Style="margin-bottom: 0.4em"> <I>Examples of
direct names:</I> </DIV>
<DIV Class="Paranum"><FONT SIZE=-2>15</FONT></DIV>
<DIV Class="Examples"><TT>Pi <I>-- the direct name of a number</I> (see <A HREF="RM-3-3-2.html">3.3.2</A>)<BR>
Limit <I>-- the direct name of a constant</I> (see <A HREF="RM-3-3-1.html">3.3.1</A>)<BR>
Count <I>-- the direct name of a scalar variable</I> (see <A HREF="RM-3-3-1.html">3.3.1</A>)<BR>
Board <I>-- the direct name of an array variable</I> (see <A HREF="RM-3-6-1.html">3.6.1</A>)<BR>
Matrix <I>-- the direct name of a type</I> (see <A HREF="RM-3-6.html">3.6</A>)<BR>
Random <I>-- the direct name of a function</I> (see <A HREF="RM-6-1.html">6.1</A>)<BR>
Error <I>-- the direct name of an exception</I> (see <A HREF="RM-11-1.html">11.1</A>)</TT></DIV>
<DIV Class="Paranum"><FONT SIZE=-2>16</FONT></DIV>
<DIV Class="Wide" Style="margin-bottom: 0.4em"> <I>Examples of dereferences:</I>
</DIV>
<DIV Class="Paranum"><FONT SIZE=-2>17</FONT></DIV>
<DIV Class="Examples"><TT>Next_Car.<B>all</B> <I>-- explicit dereference denoting the object designated by</I><BR>
<I>-- the access variable Next_Car (see <A HREF="RM-3-10-1.html">3.10.1</A>)</I><BR>
Next_Car.Owner <I>-- selected component with implicit dereference;</I><BR>
<I>-- same as Next_Car.<B>all</B>.Owner</I></TT></DIV>
<HR>
<P><A HREF="RM-TOC.html">Contents</A> <A HREF="RM-0-29.html">Index</A> <A HREF="RM-4.html">Previous</A> <A HREF="RM-4-1-1.html">Next</A> <A HREF="RM-TTL.html">Legal</A></P>
</BODY>
</HTML>
|
