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
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
|
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
"http://www.w3.org/TR/html4/loose.dtd">
<HTML>
<HEAD>
<TITLE>AARM95 - Implementation-Defined Characteristics</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="AA-TOC.html">Contents</A> <A HREF="AA-0-29.html">Index</A> <A HREF="AA-L.html">Previous</A> <A HREF="AA-N.html">Next</A></P>
<HR>
<H1>Annex M</H1>
<H2>(informative)</H2>
<H1>Implementation-Defined Characteristics</H1>
<DIV Class="Paranum"><FONT SIZE=-2>1</FONT></DIV>
<DIV Class="Normal"> <A NAME="I7480"></A>The Ada language allows for
certain machine dependences in a controlled manner. <A NAME="I7481"></A>Each
Ada implementation must document all implementation-defined characteristics:
</DIV>
<DIV Class="Paranum"><FONT SIZE=-2>1.a</FONT></DIV>
<DIV Class="Annotations"><FONT SIZE=-1><B>Ramification: </B><A NAME="I7482"></A><A NAME="I7483"></A>It
need not document unspecified characteristics.</FONT></DIV>
<DIV Class="Paranum"><FONT SIZE=-2>1.b</FONT></DIV>
<DIV Class="Annotations"><FONT SIZE=-1>Some of the items in this list
require documentation only for implementations that conform to Specialized
Needs Annexes. </FONT></DIV>
<DIV Class="Paranum"><FONT SIZE=-2>2</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Whether or not each recommendation given in Implementation
Advice is followed. See 1.1.2(37).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>3</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Capacity limitations of the implementation. See 1.1.3(3).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>4</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Variations from the standard that are impractical to avoid
given the implementation's execution environment. See 1.1.3(6).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>5</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Which <FONT FACE="Arial, Helvetica">code_statement</FONT>s
cause external interactions. See 1.1.3(10).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>6</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The coded representation for the text of an Ada program.
See 2.1(4).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>7</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The control functions allowed in comments. See 2.1(14).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>8</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The representation for an end of line. See 2.2(2).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>9</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Maximum supported line length and lexical element length.
See 2.2(14).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>10</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Implementation-defined pragmas. See 2.8(14).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>11</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Effect of pragma Optimize. See 2.8(27).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>12</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The sequence of characters of the value returned by S'Image
when some of the graphic characters of S'Wide_Image are not defined in
Character. See 3.5(37).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>13</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The predefined integer types declared in Standard. See
3.5.4(25).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>14</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Any nonstandard integer types and the operators defined
for them. See 3.5.4(26).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>15</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Any nonstandard real types and the operators defined for
them. See 3.5.6(8).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>16</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>What combinations of requested decimal precision and range
are supported for floating point types. See 3.5.7(7).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>17</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The predefined floating point types declared in Standard.
See 3.5.7(16).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>18</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The <I>small</I> of an ordinary fixed point type. See 3.5.9(8).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>19</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>What combinations of <I>small</I>, range, and <I>digits</I>
are supported for fixed point types. See 3.5.9(10).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>20</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The result of Tags.Expanded_Name for types declared within
an unnamed <FONT FACE="Arial, Helvetica">block_statement</FONT>. See
3.9(10).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>21</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Implementation-defined attributes. See 4.1.4(12/1).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>22</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Any implementation-defined time types. See 9.6(6).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>23</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The time base associated with relative delays. See 9.6(20).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>24</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The time base of the type Calendar.Time. See 9.6(23).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>25</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The timezone used for package Calendar operations. See
9.6(24).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>26</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Any limit on <FONT FACE="Arial, Helvetica">delay_until_statement</FONT>s
of <FONT FACE="Arial, Helvetica">select_statement</FONT>s. See 9.6(29).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>27</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Whether or not two nonoverlapping parts of a composite
object are independently addressable, in the case where packing, record
layout, or Component_Size is specified for the object. See 9.10(1).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>28</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The representation for a <FONT FACE="Arial, Helvetica">compilation</FONT>.
See 10.1(2).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>29</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Any restrictions on <FONT FACE="Arial, Helvetica">compilations</FONT>
that contain multiple <FONT FACE="Arial, Helvetica">compilation_unit</FONT>s.
See 10.1(4).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>30</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The mechanisms for creating an environment and for adding
and replacing compilation units. See 10.1.4(3).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>31</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The implementation-defined means, if any, of specifying
which compilation units are needed by a given compilation unit. See 10.2(2).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>32</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The manner of explicitly assigning library units to a partition.
See 10.2(2).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>33</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The manner of designating the main subprogram of a partition.
See 10.2(7).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>34</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The order of elaboration of <FONT FACE="Arial, Helvetica">library_item</FONT>s.
See 10.2(18).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>35</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Parameter passing and function return for the main subprogram.
See 10.2(21).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>36</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The mechanisms for building and running partitions. See
10.2(24).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>37</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The details of program execution, including program termination.
See 10.2(25).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>38</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The semantics of any nonactive partitions supported by
the implementation. See 10.2(28).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>39</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The information returned by Exception_Message. See 11.4.1(10).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>40</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The result of Exceptions.Exception_Name for types declared
within an unnamed <FONT FACE="Arial, Helvetica">block_statement</FONT>.
See 11.4.1(12).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>41</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The information returned by Exception_Information. See
11.4.1(13).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>42</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Implementation-defined check names. See 11.5(27).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>43</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Any restrictions placed upon representation items. See
13.1(20).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>44</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The interpretation of each aspect of representation. See
13.1(20).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>45</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The meaning of Size for indefinite subtypes. See 13.3(48).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>46</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The default external representation for a type tag. See
13.3(75/1).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>47</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>What determines whether a compilation unit is the same
in two different partitions. See 13.3(76).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>48</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Implementation-defined components. See 13.5.1(15).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>49</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>If Word_Size = Storage_Unit, the default bit ordering.
See 13.5.3(5).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>50</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The contents of the visible part of package System and
its language-defined children. See 13.7(2).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>51</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The contents of the visible part of package System.Machine_Code,
and the meaning of <FONT FACE="Arial, Helvetica">code_statement</FONT>s.
See 13.8(7).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>52</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The effect of unchecked conversion. See 13.9(11).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>53</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Whether or not the implementation provides user-accessible
names for the standard pool type(s). See 13.11(17).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>54</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The manner of choosing a storage pool for an access type
when Storage_Pool is not specified for the type. See 13.11(17).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>55</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The meaning of Storage_Size. See 13.11(18).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>56</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Implementation-defined aspects of storage pools. See 13.11(22).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>57</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The set of <FONT FACE="Arial, Helvetica">restrictions</FONT>
allowed in a <FONT FACE="Arial, Helvetica">pragma</FONT> Restrictions.
See 13.12(7).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>58</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The consequences of violating limitations on Restrictions
<FONT FACE="Arial, Helvetica">pragma</FONT>s. See 13.12(9).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>59</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The representation used by the Read and Write attributes
of elementary types in terms of stream elements. See 13.13.2(9).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>60</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The names and characteristics of the numeric subtypes declared
in the visible part of package Standard. See A.1(3).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>61</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The accuracy actually achieved by the elementary functions.
See A.5.1(1).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>62</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The sign of a zero result from some of the operators or
functions in Numerics.Generic_Elementary_Functions, when Float_Type'Signed_Zeros
is True. See A.5.1(46).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>63</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The value of Numerics.Discrete_Random.Max_Image_Width.
See A.5.2(27).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>64</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The value of Numerics.Float_Random.Max_Image_Width. See
A.5.2(27).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>65</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The algorithms for random number generation. See A.5.2(32).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>66</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The string representation of a random number generator's
state. See A.5.2(38).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>67</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The minimum time interval between calls to the time-dependent
Reset procedure that are guaranteed to initiate different random number
sequences. See A.5.2(45).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>68</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The values of the Model_Mantissa, Model_Emin, Model_Epsilon,
Model, Safe_First, and Safe_Last attributes, if the Numerics Annex is
not supported. See A.5.3(72).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>69</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Any implementation-defined characteristics of the input-output
packages. See A.7(14).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>70</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The value of Buffer_Size in Storage_IO. See A.9(10).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>71</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>external files for standard input, standard output, and
standard error See A.10(5).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>72</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The accuracy of the value produced by Put. See A.10.9(36).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>72.1/1</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC><U>Current size for a stream file for which positioning
is not supported.</U><U> See A.12.1(1.1/1).</U></LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>73</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The meaning of Argument_Count, Argument, and Command_Name.
See A.15(1).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>74</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Implementation-defined convention names. See B.1(11).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>75</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The manner of choosing link names when neither the link
name nor the address of an imported or exported entity is specified.
See B.1(36).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>76</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The meaning of link names. See B.1(36).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>77</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The effect of pragma Linker_Options. See B.1(37).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>78</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The contents of the visible part of package Interfaces
and its language-defined descendants. See B.2(1).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>79</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Implementation-defined children of package Interfaces.
The contents of the visible part of package Interfaces. See B.2(11).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>79.1/1</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC><U>The definitions of types and constants in Interfaces.C.</U><U>
See B.3(41).</U></LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>80/1</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The types Floating, Long_Floating, Binary, Long_Binary,
Decimal_Element, and COBOL_Character; and the initializations of the
variables Ada_To_COBOL and COBOL_To_Ada, in Interfaces.COBOL<U>.</U>
See B.4(50).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>80.1/1</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC><U>The types Fortran_Integer, Real, Double_Precision, and
Character_Set in Interfaces.Fortran.</U><U> See B.5(17).</U></LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>81</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Support for access to machine instructions. See C.1(1).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>82</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Implementation-defined aspects of access to machine operations.
See C.1(9).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>83</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Implementation-defined aspects of interrupts. See C.3(2).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>84</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Implementation-defined aspects of preelaboration. See C.4(13).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>85</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The semantics of pragma Discard_Names. See C.5(7).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>86</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The result of the Task_Identification.Image attribute.
See C.7.1(7).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>87</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The value of Current_Task when in a protected entry or
interrupt handler. See C.7.1(17).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>88</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The effect of calling Current_Task from an entry body or
interrupt handler. See C.7.1(19).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>88.1/1</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC><U>Granularity of locking for Task_Attributes.</U><U> See
C.7.2(16/1).</U></LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>89/1</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC><U>Limits on the number and size of task attributes, and
how to configure them.</U><S>Implementation-defined aspects of Task_Attributes.</S>
See C.7.2(19).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>90</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Values of all Metrics. See D(2).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>91</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The declarations of Any_Priority and Priority. See D.1(11).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>92</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Implementation-defined execution resources. See D.1(15).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>93</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Whether, on a multiprocessor, a task that is waiting for
access to a protected object keeps its processor busy. See D.2.1(3).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>94</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The affect of implementation defined execution resources
on task dispatching. See D.2.1(9).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>95</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Implementation-defined <I>policy_</I><A NAME="I7484"></A><FONT FACE="Arial, Helvetica">identifier</FONT>s
allowed in a <FONT FACE="Arial, Helvetica">pragma</FONT> Task_Dispatching_Policy.
See D.2.2(3).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>96</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Implementation-defined aspects of priority inversion. See
D.2.2(16).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>97</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Implementation defined task dispatching. See D.2.2(18).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>98</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Implementation-defined <I>policy_</I><A NAME="I7485"></A><FONT FACE="Arial, Helvetica">identifier</FONT>s
allowed in a <FONT FACE="Arial, Helvetica">pragma</FONT> Locking_Policy.
See D.3(4).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>99</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Default ceiling priorities. See D.3(10).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>100</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The ceiling of any protected object used internally by
the implementation. See D.3(16).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>101</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Implementation-defined queuing policies. See D.4(1/1).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>102</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>On a multiprocessor, any conditions that cause the completion
of an aborted construct to be delayed later than what is specified for
a single processor. See D.6(3).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>103</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Any operations that implicitly require heap storage allocation.
See D.7(8).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>104</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Implementation-defined aspects of pragma Restrictions.
See D.7(20).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>105</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Implementation-defined aspects of package Real_Time. See
D.8(17).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>106</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Implementation-defined aspects of <FONT FACE="Arial, Helvetica">delay_statement</FONT>s.
See D.9(8).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>107</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The upper bound on the duration of interrupt blocking caused
by the implementation. See D.12(5).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>108</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The means for creating and executing distributed programs.
See E(5).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>109</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Any events that can result in a partition becoming inaccessible.
See E.1(7).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>110</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The scheduling policies, treatment of priorities, and management
of shared resources between partitions in certain cases. See E.1(11).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>111/1</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC><FONT SIZE=-1><I>This paragraph was deleted.</I></FONT><S>Events
that cause the version of a compilation unit to change.</S><S> See E.3(5/1).</S></LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>112</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Whether the execution of the remote subprogram is immediately
aborted as a result of cancellation. See E.4(13).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>113</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Implementation-defined aspects of the PCS. See E.5(25).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>114</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Implementation-defined interfaces in the PCS. See E.5(26).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>115</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The values of named numbers in the package Decimal. See
F.2(7).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>116</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The value of Max_Picture_Length in the package Text_IO.Editing
See F.3.3(16).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>117</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The value of Max_Picture_Length in the package Wide_Text_IO.Editing
See F.3.4(5).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>118</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The accuracy actually achieved by the complex elementary
functions and by other complex arithmetic operations. See G.1(1).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>119</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The sign of a zero result (or a component thereof) from
any operator or function in Numerics.Generic_Complex_Types, when Real'Signed_Zeros
is True. See G.1.1(53).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>120</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The sign of a zero result (or a component thereof) from
any operator or function in Numerics.Generic_Complex_Elementary_Functions,
when Complex_Types.Real'Signed_Zeros is True. See G.1.2(45).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>121</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Whether the strict mode or the relaxed mode is the default.
See G.2(2).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>122</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The result interval in certain cases of fixed-to-float
conversion. See G.2.1(10).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>123</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The result of a floating point arithmetic operation in
overflow situations, when the Machine_Overflows attribute of the result
type is False. See G.2.1(13).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>124</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The result interval for division (or exponentiation by
a negative exponent), when the floating point hardware implements division
as multiplication by a reciprocal. See G.2.1(16).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>125</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The definition of <I>close result set</I>, which determines
the accuracy of certain fixed point multiplications and divisions. See
G.2.3(5).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>126</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Conditions on a <I>universal_real</I> operand of a fixed
point multiplication or division for which the result shall be in the
<I>perfect result set</I>. See G.2.3(22).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>127</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The result of a fixed point arithmetic operation in overflow
situations, when the Machine_Overflows attribute of the result type is
False. See G.2.3(27).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>128</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The result of an elementary function reference in overflow
situations, when the Machine_Overflows attribute of the result type is
False. See G.2.4(4).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>129</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The accuracy of certain elementary functions for parameters
beyond the angle threshold. See G.2.4(10).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>130</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The value of the <I>angle threshold</I>, within which certain
elementary functions, complex arithmetic operations, and complex elementary
functions yield results conforming to a maximum relative error bound.
See G.2.4(10).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>131</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The result of a complex arithmetic operation or complex
elementary function reference in overflow situations, when the Machine_Overflows
attribute of the corresponding real type is False. See G.2.6(5).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>132</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>The accuracy of certain complex arithmetic operations and
certain complex elementary functions for parameters (or components thereof)
beyond the angle threshold. See G.2.6(8).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>133</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Information regarding bounded errors and erroneous execution.
See H.2(1).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>134</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Implementation-defined aspects of pragma Inspection_Point.
See H.3.2(8).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>135</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Implementation-defined aspects of pragma Restrictions.
See H.4(25).</LI></UL>
<DIV Class="Paranum"><FONT SIZE=-2>136</FONT></DIV>
<UL Class="Bulleted"><LI TYPE=DISC>Any restrictions on pragma Restrictions. See H.4(27).</LI></UL>
<HR>
<P><A HREF="AA-TOC.html">Contents</A> <A HREF="AA-0-29.html">Index</A> <A HREF="AA-L.html">Previous</A> <A HREF="AA-N.html">Next</A> <A HREF="AA-TTL.html">Legal</A></P>
</BODY>
</HTML>
|
