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
|
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
"http://www.w3.org/TR/html4/loose.dtd">
<HTML>
<HEAD>
<TITLE>Ada95 - Table of Contents</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></P>
<HR>
<H1>Table of Contents</H1>
<DIV Class="Normal"><A HREF="RM-0-1.html">Foreword to this version of
the Ada Reference Manual</A></DIV>
<DIV Class="Normal"><A HREF="RM-0-2.html">Foreword</A></DIV>
<DIV Class="Normal"><A HREF="RM-0-3.html">Introduction</A></DIV>
<DIV Class="Normal">1. <A HREF="RM-1.html">General</A><BR>
1.1 <A HREF="RM-1-1.html">Scope</A><BR>
1.1.1 <A HREF="RM-1-1-1.html">Extent</A><BR>
1.1.2 <A HREF="RM-1-1-2.html">Structure</A><BR>
1.1.3 <A HREF="RM-1-1-3.html">Conformity of an Implementation
with the Standard</A><BR>
1.1.4 <A HREF="RM-1-1-4.html">Method of Description and
Syntax Notation</A><BR>
1.1.5 <A HREF="RM-1-1-5.html">Classification of Errors</A><BR>
1.2 <A HREF="RM-1-2.html">Normative References</A><BR>
1.3 <A HREF="RM-1-3.html">Definitions</A></DIV>
<DIV Class="Normal">2. <A HREF="RM-2.html">Lexical Elements</A><BR>
2.1 <A HREF="RM-2-1.html">Character Set</A><BR>
2.2 <A HREF="RM-2-2.html">Lexical Elements, Separators, and
Delimiters</A><BR>
2.3 <A HREF="RM-2-3.html">Identifiers</A><BR>
2.4 <A HREF="RM-2-4.html">Numeric Literals</A><BR>
2.4.1 <A HREF="RM-2-4-1.html">Decimal Literals</A><BR>
2.4.2 <A HREF="RM-2-4-2.html">Based Literals</A><BR>
2.5 <A HREF="RM-2-5.html">Character Literals</A><BR>
2.6 <A HREF="RM-2-6.html">String Literals</A><BR>
2.7 <A HREF="RM-2-7.html">Comments</A><BR>
2.8 <A HREF="RM-2-8.html">Pragmas</A><BR>
2.9 <A HREF="RM-2-9.html">Reserved Words</A></DIV>
<DIV Class="Normal">3. <A HREF="RM-3.html">Declarations and Types</A><BR>
3.1 <A HREF="RM-3-1.html">Declarations</A><BR>
3.2 <A HREF="RM-3-2.html">Types and Subtypes</A><BR>
3.2.1 <A HREF="RM-3-2-1.html">Type Declarations</A><BR>
3.2.2 <A HREF="RM-3-2-2.html">Subtype Declarations</A><BR>
3.2.3 <A HREF="RM-3-2-3.html">Classification of Operations</A><BR>
3.3 <A HREF="RM-3-3.html">Objects and Named Numbers</A><BR>
3.3.1 <A HREF="RM-3-3-1.html">Object Declarations</A><BR>
3.3.2 <A HREF="RM-3-3-2.html">Number Declarations</A><BR>
3.4 <A HREF="RM-3-4.html">Derived Types and Classes</A><BR>
3.4.1 <A HREF="RM-3-4-1.html">Derivation Classes</A><BR>
3.5 <A HREF="RM-3-5.html">Scalar Types</A><BR>
3.5.1 <A HREF="RM-3-5-1.html">Enumeration Types</A><BR>
3.5.2 <A HREF="RM-3-5-2.html">Character Types</A><BR>
3.5.3 <A HREF="RM-3-5-3.html">Boolean Types</A><BR>
3.5.4 <A HREF="RM-3-5-4.html">Integer Types</A><BR>
3.5.5 <A HREF="RM-3-5-5.html">Operations of Discrete Types</A><BR>
3.5.6 <A HREF="RM-3-5-6.html">Real Types</A><BR>
3.5.7 <A HREF="RM-3-5-7.html">Floating Point Types</A><BR>
3.5.8 <A HREF="RM-3-5-8.html">Operations of Floating Point
Types</A><BR>
3.5.9 <A HREF="RM-3-5-9.html">Fixed Point Types</A><BR>
3.5.10 <A HREF="RM-3-5-10.html">Operations of Fixed Point
Types</A><BR>
3.6 <A HREF="RM-3-6.html">Array Types</A><BR>
3.6.1 <A HREF="RM-3-6-1.html">Index Constraints and Discrete
Ranges</A><BR>
3.6.2 <A HREF="RM-3-6-2.html">Operations of Array Types</A><BR>
3.6.3 <A HREF="RM-3-6-3.html">String Types</A><BR>
3.7 <A HREF="RM-3-7.html">Discriminants</A><BR>
3.7.1 <A HREF="RM-3-7-1.html">Discriminant Constraints</A><BR>
3.7.2 <A HREF="RM-3-7-2.html">Operations of Discriminated
Types</A><BR>
3.8 <A HREF="RM-3-8.html">Record Types</A><BR>
3.8.1 <A HREF="RM-3-8-1.html">Variant Parts and Discrete
Choices</A><BR>
3.9 <A HREF="RM-3-9.html">Tagged Types and Type Extensions</A><BR>
3.9.1 <A HREF="RM-3-9-1.html">Type Extensions</A><BR>
3.9.2 <A HREF="RM-3-9-2.html">Dispatching Operations of
Tagged Types</A><BR>
3.9.3 <A HREF="RM-3-9-3.html">Abstract Types and Subprograms</A><BR>
3.10 <A HREF="RM-3-10.html">Access Types</A><BR>
3.10.1 <A HREF="RM-3-10-1.html">Incomplete Type Declarations</A><BR>
3.10.2 <A HREF="RM-3-10-2.html">Operations of Access Types</A><BR>
3.11 <A HREF="RM-3-11.html">Declarative Parts</A><BR>
3.11.1 <A HREF="RM-3-11-1.html">Completions of Declarations</A></DIV>
<DIV Class="Normal">4. <A HREF="RM-4.html">Names and Expressions</A><BR>
4.1 <A HREF="RM-4-1.html">Names</A><BR>
4.1.1 <A HREF="RM-4-1-1.html">Indexed Components</A><BR>
4.1.2 <A HREF="RM-4-1-2.html">Slices</A><BR>
4.1.3 <A HREF="RM-4-1-3.html">Selected Components</A><BR>
4.1.4 <A HREF="RM-4-1-4.html">Attributes</A><BR>
4.2 <A HREF="RM-4-2.html">Literals</A><BR>
4.3 <A HREF="RM-4-3.html">Aggregates</A><BR>
4.3.1 <A HREF="RM-4-3-1.html">Record Aggregates</A><BR>
4.3.2 <A HREF="RM-4-3-2.html">Extension Aggregates</A><BR>
4.3.3 <A HREF="RM-4-3-3.html">Array Aggregates</A><BR>
4.4 <A HREF="RM-4-4.html">Expressions</A><BR>
4.5 <A HREF="RM-4-5.html">Operators and Expression Evaluation</A><BR>
4.5.1 <A HREF="RM-4-5-1.html">Logical Operators and Short-circuit
Control Forms</A><BR>
4.5.2 <A HREF="RM-4-5-2.html">Relational Operators and Membership
Tests</A><BR>
4.5.3 <A HREF="RM-4-5-3.html">Binary Adding Operators</A><BR>
4.5.4 <A HREF="RM-4-5-4.html">Unary Adding Operators</A><BR>
4.5.5 <A HREF="RM-4-5-5.html">Multiplying Operators</A><BR>
4.5.6 <A HREF="RM-4-5-6.html">Highest Precedence Operators</A><BR>
4.6 <A HREF="RM-4-6.html">Type Conversions</A><BR>
4.7 <A HREF="RM-4-7.html">Qualified Expressions</A><BR>
4.8 <A HREF="RM-4-8.html">Allocators</A><BR>
4.9 <A HREF="RM-4-9.html">Static Expressions and Static Subtypes</A><BR>
4.9.1 <A HREF="RM-4-9-1.html">Statically Matching Constraints
and Subtypes</A></DIV>
<DIV Class="Normal">5. <A HREF="RM-5.html">Statements</A><BR>
5.1 <A HREF="RM-5-1.html">Simple and Compound Statements - Sequences
of Statements</A><BR>
5.2 <A HREF="RM-5-2.html">Assignment Statements</A><BR>
5.3 <A HREF="RM-5-3.html">If Statements</A><BR>
5.4 <A HREF="RM-5-4.html">Case Statements</A><BR>
5.5 <A HREF="RM-5-5.html">Loop Statements</A><BR>
5.6 <A HREF="RM-5-6.html">Block Statements</A><BR>
5.7 <A HREF="RM-5-7.html">Exit Statements</A><BR>
5.8 <A HREF="RM-5-8.html">Goto Statements</A></DIV>
<DIV Class="Normal">6. <A HREF="RM-6.html">Subprograms</A><BR>
6.1 <A HREF="RM-6-1.html">Subprogram Declarations</A><BR>
6.2 <A HREF="RM-6-2.html">Formal Parameter Modes</A><BR>
6.3 <A HREF="RM-6-3.html">Subprogram Bodies</A><BR>
6.3.1 <A HREF="RM-6-3-1.html">Conformance Rules</A><BR>
6.3.2 <A HREF="RM-6-3-2.html">Inline Expansion of Subprograms</A><BR>
6.4 <A HREF="RM-6-4.html">Subprogram Calls</A><BR>
6.4.1 <A HREF="RM-6-4-1.html">Parameter Associations</A><BR>
6.5 <A HREF="RM-6-5.html">Return Statements</A><BR>
6.6 <A HREF="RM-6-6.html">Overloading of Operators</A></DIV>
<DIV Class="Normal">7. <A HREF="RM-7.html">Packages</A><BR>
7.1 <A HREF="RM-7-1.html">Package Specifications and Declarations</A><BR>
7.2 <A HREF="RM-7-2.html">Package Bodies</A><BR>
7.3 <A HREF="RM-7-3.html">Private Types and Private Extensions</A><BR>
7.3.1 <A HREF="RM-7-3-1.html">Private Operations</A><BR>
7.4 <A HREF="RM-7-4.html">Deferred Constants</A><BR>
7.5 <A HREF="RM-7-5.html">Limited Types</A><BR>
7.6 <A HREF="RM-7-6.html">User-Defined Assignment and Finalization</A><BR>
7.6.1 <A HREF="RM-7-6-1.html">Completion and Finalization</A></DIV>
<DIV Class="Normal">8. <A HREF="RM-8.html">Visibility Rules</A><BR>
8.1 <A HREF="RM-8-1.html">Declarative Region</A><BR>
8.2 <A HREF="RM-8-2.html">Scope of Declarations</A><BR>
8.3 <A HREF="RM-8-3.html">Visibility</A><BR>
8.4 <A HREF="RM-8-4.html">Use Clauses</A><BR>
8.5 <A HREF="RM-8-5.html">Renaming Declarations</A><BR>
8.5.1 <A HREF="RM-8-5-1.html">Object Renaming Declarations</A><BR>
8.5.2 <A HREF="RM-8-5-2.html">Exception Renaming Declarations</A><BR>
8.5.3 <A HREF="RM-8-5-3.html">Package Renaming Declarations</A><BR>
8.5.4 <A HREF="RM-8-5-4.html">Subprogram Renaming Declarations</A><BR>
8.5.5 <A HREF="RM-8-5-5.html">Generic Renaming Declarations</A><BR>
8.6 <A HREF="RM-8-6.html">The Context of Overload Resolution</A></DIV>
<DIV Class="Normal">9. <A HREF="RM-9.html">Tasks and Synchronization</A><BR>
9.1 <A HREF="RM-9-1.html">Task Units and Task Objects</A><BR>
9.2 <A HREF="RM-9-2.html">Task Execution - Task Activation</A><BR>
9.3 <A HREF="RM-9-3.html">Task Dependence - Termination of Tasks</A><BR>
9.4 <A HREF="RM-9-4.html">Protected Units and Protected Objects</A><BR>
9.5 <A HREF="RM-9-5.html">Intertask Communication</A><BR>
9.5.1 <A HREF="RM-9-5-1.html">Protected Subprograms and
Protected Actions</A><BR>
9.5.2 <A HREF="RM-9-5-2.html">Entries and Accept Statements</A><BR>
9.5.3 <A HREF="RM-9-5-3.html">Entry Calls</A><BR>
9.5.4 <A HREF="RM-9-5-4.html">Requeue Statements</A><BR>
9.6 <A HREF="RM-9-6.html">Delay Statements, Duration, and Time</A><BR>
9.7 <A HREF="RM-9-7.html">Select Statements</A><BR>
9.7.1 <A HREF="RM-9-7-1.html">Selective Accept</A><BR>
9.7.2 <A HREF="RM-9-7-2.html">Timed Entry Calls</A><BR>
9.7.3 <A HREF="RM-9-7-3.html">Conditional Entry Calls</A><BR>
9.7.4 <A HREF="RM-9-7-4.html">Asynchronous Transfer of Control</A><BR>
9.8 <A HREF="RM-9-8.html">Abort of a Task - Abort of a Sequence
of Statements</A><BR>
9.9 <A HREF="RM-9-9.html">Task and Entry Attributes</A><BR>
9.10 <A HREF="RM-9-10.html">Shared Variables</A><BR>
9.11 <A HREF="RM-9-11.html">Example of Tasking and Synchronization</A></DIV>
<DIV Class="Normal">10. <A HREF="RM-10.html">Program Structure and Compilation
Issues</A><BR>
10.1 <A HREF="RM-10-1.html">Separate Compilation</A><BR>
10.1.1 <A HREF="RM-10-1-1.html">Compilation Units - Library
Units</A><BR>
10.1.2 <A HREF="RM-10-1-2.html">Context Clauses - With Clauses</A><BR>
10.1.3 <A HREF="RM-10-1-3.html">Subunits of Compilation
Units</A><BR>
10.1.4 <A HREF="RM-10-1-4.html">The Compilation Process</A><BR>
10.1.5 <A HREF="RM-10-1-5.html">Pragmas and Program Units</A><BR>
10.1.6 <A HREF="RM-10-1-6.html">Environment-Level Visibility
Rules</A><BR>
10.2 <A HREF="RM-10-2.html">Program Execution</A><BR>
10.2.1 <A HREF="RM-10-2-1.html">Elaboration Control</A></DIV>
<DIV Class="Normal">11. <A HREF="RM-11.html">Exceptions</A><BR>
11.1 <A HREF="RM-11-1.html">Exception Declarations</A><BR>
11.2 <A HREF="RM-11-2.html">Exception Handlers</A><BR>
11.3 <A HREF="RM-11-3.html">Raise Statements</A><BR>
11.4 <A HREF="RM-11-4.html">Exception Handling</A><BR>
11.4.1 <A HREF="RM-11-4-1.html">The Package Exceptions</A><BR>
11.4.2 <A HREF="RM-11-4-2.html">Example of Exception Handling</A><BR>
11.5 <A HREF="RM-11-5.html">Suppressing Checks</A><BR>
11.6 <A HREF="RM-11-6.html">Exceptions and Optimization</A></DIV>
<DIV Class="Normal">12. <A HREF="RM-12.html">Generic Units</A><BR>
12.1 <A HREF="RM-12-1.html">Generic Declarations</A><BR>
12.2 <A HREF="RM-12-2.html">Generic Bodies</A><BR>
12.3 <A HREF="RM-12-3.html">Generic Instantiation</A><BR>
12.4 <A HREF="RM-12-4.html">Formal Objects</A><BR>
12.5 <A HREF="RM-12-5.html">Formal Types</A><BR>
12.5.1 <A HREF="RM-12-5-1.html">Formal Private and Derived
Types</A><BR>
12.5.2 <A HREF="RM-12-5-2.html">Formal Scalar Types</A><BR>
12.5.3 <A HREF="RM-12-5-3.html">Formal Array Types</A><BR>
12.5.4 <A HREF="RM-12-5-4.html">Formal Access Types</A><BR>
12.6 <A HREF="RM-12-6.html">Formal Subprograms</A><BR>
12.7 <A HREF="RM-12-7.html">Formal Packages</A><BR>
12.8 <A HREF="RM-12-8.html">Example of a Generic Package</A></DIV>
<DIV Class="Normal">13. <A HREF="RM-13.html">Representation Issues</A><BR>
13.1 <A HREF="RM-13-1.html">Operational and Representation Items</A><BR>
13.2 <A HREF="RM-13-2.html">Pragma Pack</A><BR>
13.3 <A HREF="RM-13-3.html">Operational and Representation Attributes</A><BR>
13.4 <A HREF="RM-13-4.html">Enumeration Representation Clauses</A><BR>
13.5 <A HREF="RM-13-5.html">Record Layout</A><BR>
13.5.1 <A HREF="RM-13-5-1.html">Record Representation Clauses</A><BR>
13.5.2 <A HREF="RM-13-5-2.html">Storage Place Attributes</A><BR>
13.5.3 <A HREF="RM-13-5-3.html">Bit Ordering</A><BR>
13.6 <A HREF="RM-13-6.html">Change of Representation</A><BR>
13.7 <A HREF="RM-13-7.html">The Package System</A><BR>
13.7.1 <A HREF="RM-13-7-1.html">The Package System.Storage_Elements</A><BR>
13.7.2 <A HREF="RM-13-7-2.html">The Package System.Address_To_Access_Conversions</A><BR>
13.8 <A HREF="RM-13-8.html">Machine Code Insertions</A><BR>
13.9 <A HREF="RM-13-9.html">Unchecked Type Conversions</A><BR>
13.9.1 <A HREF="RM-13-9-1.html">Data Validity</A><BR>
13.9.2 <A HREF="RM-13-9-2.html">The Valid Attribute</A><BR>
13.10 <A HREF="RM-13-10.html">Unchecked Access Value Creation</A><BR>
13.11 <A HREF="RM-13-11.html">Storage Management</A><BR>
13.11.1 <A HREF="RM-13-11-1.html">The Max_Size_In_Storage_Elements
Attribute</A><BR>
13.11.2 <A HREF="RM-13-11-2.html">Unchecked Storage Deallocation</A><BR>
13.11.3 <A HREF="RM-13-11-3.html">Pragma Controlled</A><BR>
13.12 <A HREF="RM-13-12.html">Pragma Restrictions</A><BR>
13.13 <A HREF="RM-13-13.html">Streams</A><BR>
13.13.1 <A HREF="RM-13-13-1.html">The Package Streams</A><BR>
13.13.2 <A HREF="RM-13-13-2.html">Stream-Oriented Attributes</A><BR>
13.14 <A HREF="RM-13-14.html">Freezing Rules</A></DIV>
<DIV Class="Normal"><A HREF="RM-0-28.html">The Standard Libraries</A></DIV>
<DIV Class="Normal">A. <A HREF="RM-A.html">Predefined Language Environment</A><BR>
A.1 <A HREF="RM-A-1.html">The Package Standard</A><BR>
A.2 <A HREF="RM-A-2.html">The Package Ada</A><BR>
A.3 <A HREF="RM-A-3.html">Character Handling</A><BR>
A.3.1 <A HREF="RM-A-3-1.html">The Package Characters</A><BR>
A.3.2 <A HREF="RM-A-3-2.html">The Package Characters.Handling</A><BR>
A.3.3 <A HREF="RM-A-3-3.html">The Package Characters.Latin_1</A><BR>
A.4 <A HREF="RM-A-4.html">String Handling</A><BR>
A.4.1 <A HREF="RM-A-4-1.html">The Package Strings</A><BR>
A.4.2 <A HREF="RM-A-4-2.html">The Package Strings.Maps</A><BR>
A.4.3 <A HREF="RM-A-4-3.html">Fixed-Length String Handling</A><BR>
A.4.4 <A HREF="RM-A-4-4.html">Bounded-Length String Handling</A><BR>
A.4.5 <A HREF="RM-A-4-5.html">Unbounded-Length String Handling</A><BR>
A.4.6 <A HREF="RM-A-4-6.html">String-Handling Sets and Mappings</A><BR>
A.4.7 <A HREF="RM-A-4-7.html">Wide_String Handling</A><BR>
A.5 <A HREF="RM-A-5.html">The Numerics Packages</A><BR>
A.5.1 <A HREF="RM-A-5-1.html">Elementary Functions</A><BR>
A.5.2 <A HREF="RM-A-5-2.html">Random Number Generation</A><BR>
A.5.3 <A HREF="RM-A-5-3.html">Attributes of Floating Point
Types</A><BR>
A.5.4 <A HREF="RM-A-5-4.html">Attributes of Fixed Point
Types</A><BR>
A.6 <A HREF="RM-A-6.html">Input-Output</A><BR>
A.7 <A HREF="RM-A-7.html">External Files and File Objects</A><BR>
A.8 <A HREF="RM-A-8.html">Sequential and Direct Files</A><BR>
A.8.1 <A HREF="RM-A-8-1.html">The Generic Package Sequential_IO</A><BR>
A.8.2 <A HREF="RM-A-8-2.html">File Management</A><BR>
A.8.3 <A HREF="RM-A-8-3.html">Sequential Input-Output Operations</A><BR>
A.8.4 <A HREF="RM-A-8-4.html">The Generic Package Direct_IO</A><BR>
A.8.5 <A HREF="RM-A-8-5.html">Direct Input-Output Operations</A><BR>
A.9 <A HREF="RM-A-9.html">The Generic Package Storage_IO</A><BR>
A.10 <A HREF="RM-A-10.html">Text Input-Output</A><BR>
A.10.1 <A HREF="RM-A-10-1.html">The Package Text_IO</A><BR>
A.10.2 <A HREF="RM-A-10-2.html">Text File Management</A><BR>
A.10.3 <A HREF="RM-A-10-3.html">Default Input, Output, and
Error Files</A><BR>
A.10.4 <A HREF="RM-A-10-4.html">Specification of Line and
Page Lengths</A><BR>
A.10.5 <A HREF="RM-A-10-5.html">Operations on Columns, Lines,
and Pages</A><BR>
A.10.6 <A HREF="RM-A-10-6.html">Get and Put Procedures</A><BR>
A.10.7 <A HREF="RM-A-10-7.html">Input-Output of Characters
and Strings</A><BR>
A.10.8 <A HREF="RM-A-10-8.html">Input-Output for Integer
Types</A><BR>
A.10.9 <A HREF="RM-A-10-9.html">Input-Output for Real Types</A><BR>
A.10.10 <A HREF="RM-A-10-10.html">Input-Output for Enumeration
Types</A><BR>
A.11 <A HREF="RM-A-11.html">Wide Text Input-Output</A><BR>
A.12 <A HREF="RM-A-12.html">Stream Input-Output</A><BR>
A.12.1 <A HREF="RM-A-12-1.html">The Package Streams.Stream_IO</A><BR>
A.12.2 <A HREF="RM-A-12-2.html">The Package Text_IO.Text_Streams</A><BR>
A.12.3 <A HREF="RM-A-12-3.html">The Package Wide_Text_IO.Text_Streams</A><BR>
A.13 <A HREF="RM-A-13.html">Exceptions in Input-Output</A><BR>
A.14 <A HREF="RM-A-14.html">File Sharing</A><BR>
A.15 <A HREF="RM-A-15.html">The Package Command_Line</A></DIV>
<DIV Class="Normal">B. <A HREF="RM-B.html">Interface to Other Languages</A><BR>
B.1 <A HREF="RM-B-1.html">Interfacing Pragmas</A><BR>
B.2 <A HREF="RM-B-2.html">The Package Interfaces</A><BR>
B.3 <A HREF="RM-B-3.html">Interfacing with C</A><BR>
B.3.1 <A HREF="RM-B-3-1.html">The Package Interfaces.C.Strings</A><BR>
B.3.2 <A HREF="RM-B-3-2.html">The Generic Package Interfaces.C.Pointers</A><BR>
B.4 <A HREF="RM-B-4.html">Interfacing with COBOL</A><BR>
B.5 <A HREF="RM-B-5.html">Interfacing with Fortran</A></DIV>
<DIV Class="Normal">C. <A HREF="RM-C.html">Systems Programming</A><BR>
C.1 <A HREF="RM-C-1.html">Access to Machine Operations</A><BR>
C.2 <A HREF="RM-C-2.html">Required Representation Support</A><BR>
C.3 <A HREF="RM-C-3.html">Interrupt Support</A><BR>
C.3.1 <A HREF="RM-C-3-1.html">Protected Procedure Handlers</A><BR>
C.3.2 <A HREF="RM-C-3-2.html">The Package Interrupts</A><BR>
C.4 <A HREF="RM-C-4.html">Preelaboration Requirements</A><BR>
C.5 <A HREF="RM-C-5.html">Pragma Discard_Names</A><BR>
C.6 <A HREF="RM-C-6.html">Shared Variable Control</A><BR>
C.7 <A HREF="RM-C-7.html">Task Identification and Attributes</A><BR>
C.7.1 <A HREF="RM-C-7-1.html">The Package Task_Identification</A><BR>
C.7.2 <A HREF="RM-C-7-2.html">The Package Task_Attributes</A></DIV>
<DIV Class="Normal">D. <A HREF="RM-D.html">Real-Time Systems</A><BR>
D.1 <A HREF="RM-D-1.html">Task Priorities</A><BR>
D.2 <A HREF="RM-D-2.html">Priority Scheduling</A><BR>
D.2.1 <A HREF="RM-D-2-1.html">The Task Dispatching Model</A><BR>
D.2.2 <A HREF="RM-D-2-2.html">The Standard Task Dispatching
Policy</A><BR>
D.3 <A HREF="RM-D-3.html">Priority Ceiling Locking</A><BR>
D.4 <A HREF="RM-D-4.html">Entry Queuing Policies</A><BR>
D.5 <A HREF="RM-D-5.html">Dynamic Priorities</A><BR>
D.6 <A HREF="RM-D-6.html">Preemptive Abort</A><BR>
D.7 <A HREF="RM-D-7.html">Tasking Restrictions</A><BR>
D.8 <A HREF="RM-D-8.html">Monotonic Time</A><BR>
D.9 <A HREF="RM-D-9.html">Delay Accuracy</A><BR>
D.10 <A HREF="RM-D-10.html">Synchronous Task Control</A><BR>
D.11 <A HREF="RM-D-11.html">Asynchronous Task Control</A><BR>
D.12 <A HREF="RM-D-12.html">Other Optimizations and Determinism
Rules</A></DIV>
<DIV Class="Normal">E. <A HREF="RM-E.html">Distributed Systems</A><BR>
E.1 <A HREF="RM-E-1.html">Partitions</A><BR>
E.2 <A HREF="RM-E-2.html">Categorization of Library Units</A><BR>
E.2.1 <A HREF="RM-E-2-1.html">Shared Passive Library Units</A><BR>
E.2.2 <A HREF="RM-E-2-2.html">Remote Types Library Units</A><BR>
E.2.3 <A HREF="RM-E-2-3.html">Remote Call Interface Library
Units</A><BR>
E.3 <A HREF="RM-E-3.html">Consistency of a Distributed System</A><BR>
E.4 <A HREF="RM-E-4.html">Remote Subprogram Calls</A><BR>
E.4.1 <A HREF="RM-E-4-1.html">Pragma Asynchronous</A><BR>
E.4.2 <A HREF="RM-E-4-2.html">Example of Use of a Remote
Access-to-Class-Wide Type</A><BR>
E.5 <A HREF="RM-E-5.html">Partition Communication Subsystem</A></DIV>
<DIV Class="Normal">F. <A HREF="RM-F.html">Information Systems</A><BR>
F.1 <A HREF="RM-F-1.html">Machine_Radix Attribute Definition
Clause</A><BR>
F.2 <A HREF="RM-F-2.html">The Package Decimal</A><BR>
F.3 <A HREF="RM-F-3.html">Edited Output for Decimal Types</A><BR>
F.3.1 <A HREF="RM-F-3-1.html">Picture String Formation</A><BR>
F.3.2 <A HREF="RM-F-3-2.html">Edited Output Generation</A><BR>
F.3.3 <A HREF="RM-F-3-3.html">The Package Text_IO.Editing</A><BR>
F.3.4 <A HREF="RM-F-3-4.html">The Package Wide_Text_IO.Editing</A></DIV>
<DIV Class="Normal">G. <A HREF="RM-G.html">Numerics</A><BR>
G.1 <A HREF="RM-G-1.html">Complex Arithmetic</A><BR>
G.1.1 <A HREF="RM-G-1-1.html">Complex Types</A><BR>
G.1.2 <A HREF="RM-G-1-2.html">Complex Elementary Functions</A><BR>
G.1.3 <A HREF="RM-G-1-3.html">Complex Input-Output</A><BR>
G.1.4 <A HREF="RM-G-1-4.html">The Package Wide_Text_IO.Complex_IO</A><BR>
G.2 <A HREF="RM-G-2.html">Numeric Performance Requirements</A><BR>
G.2.1 <A HREF="RM-G-2-1.html">Model of Floating Point Arithmetic</A><BR>
G.2.2 <A HREF="RM-G-2-2.html">Model-Oriented Attributes
of Floating Point Types</A><BR>
G.2.3 <A HREF="RM-G-2-3.html">Model of Fixed Point Arithmetic</A><BR>
G.2.4 <A HREF="RM-G-2-4.html">Accuracy Requirements for
the Elementary Functions</A><BR>
G.2.5 <A HREF="RM-G-2-5.html">Performance Requirements for
Random Number Generation</A><BR>
G.2.6 <A HREF="RM-G-2-6.html">Accuracy Requirements for
Complex Arithmetic</A></DIV>
<DIV Class="Normal">H. <A HREF="RM-H.html">Safety and Security</A><BR>
H.1 <A HREF="RM-H-1.html">Pragma Normalize_Scalars</A><BR>
H.2 <A HREF="RM-H-2.html">Documentation of Implementation Decisions</A><BR>
H.3 <A HREF="RM-H-3.html">Reviewable Object Code</A><BR>
H.3.1 <A HREF="RM-H-3-1.html">Pragma Reviewable</A><BR>
H.3.2 <A HREF="RM-H-3-2.html">Pragma Inspection_Point</A><BR>
H.4 <A HREF="RM-H-4.html">Safety and Security Restrictions</A></DIV>
<DIV Class="Normal">J. <A HREF="RM-J.html">Obsolescent Features</A><BR>
J.1 <A HREF="RM-J-1.html">Renamings of Ada 83 Library Units</A><BR>
J.2 <A HREF="RM-J-2.html">Allowed Replacements of Characters</A><BR>
J.3 <A HREF="RM-J-3.html">Reduced Accuracy Subtypes</A><BR>
J.4 <A HREF="RM-J-4.html">The Constrained Attribute</A><BR>
J.5 <A HREF="RM-J-5.html">ASCII</A><BR>
J.6 <A HREF="RM-J-6.html">Numeric_Error</A><BR>
J.7 <A HREF="RM-J-7.html">At Clauses</A><BR>
J.7.1 <A HREF="RM-J-7-1.html">Interrupt Entries</A><BR>
J.8 <A HREF="RM-J-8.html">Mod Clauses</A><BR>
J.9 <A HREF="RM-J-9.html">The Storage_Size Attribute</A></DIV>
<DIV Class="Normal">K. <A HREF="RM-K.html">Language-Defined Attributes</A></DIV>
<DIV Class="Normal">L. <A HREF="RM-L.html">Language-Defined Pragmas</A></DIV>
<DIV Class="Normal">M. <A HREF="RM-M.html">Implementation-Defined Characteristics</A></DIV>
<DIV Class="Normal">N. <A HREF="RM-N.html">Glossary</A></DIV>
<DIV Class="Normal">P. <A HREF="RM-P.html">Syntax Summary</A></DIV>
<DIV Class="Normal"><A HREF="RM-0-29.html">Index</A></DIV>
<HR>
<P><A HREF="RM-TOC.html">Contents</A> <A HREF="RM-0-29.html">Index</A> <A HREF="RM-0-1.html">Next</A> <A HREF="RM-TTL.html">Legal</A></P>
</BODY>
</HTML>
|
