Ada 2005 reference manual: language and standard libraries ; international standard ISO IEC 8652/1995(E) with technical corrigendum 1 and amendment 1
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2006
|
| Series: | Lecture notes in computer science
4348 |
| Subjects: | |
| Online Access: | Inhaltstext Inhaltsverzeichnis |
| Physical Description: | XXII, 765 S. |
| ISBN: | 9783540693352 3540693351 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV022271766 | ||
| 003 | DE-604 | ||
| 005 | 20150226 | ||
| 007 | t| | ||
| 008 | 070214s2006 gw |||| 00||| eng d | ||
| 015 | |a 07,N03,0011 |2 dnb | ||
| 016 | 7 | |a 982332793 |2 DE-101 | |
| 020 | |a 9783540693352 |c : EUR 80.20 (freier Pr.), sfr 127.00 (freier Pr.) |9 978-3-540-69335-2 | ||
| 020 | |a 3540693351 |c : EUR 80.20 (freier Pr.), sfr 127.00 (freier Pr.) |9 3-540-69335-1 | ||
| 024 | 3 | |a 9783540693352 | |
| 028 | 5 | 2 | |a 11966562 |
| 035 | |a (OCoLC)635166875 | ||
| 035 | |a (DE-599)BVBBV022271766 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-91G |a DE-706 |a DE-92 |a DE-83 | ||
| 082 | 0 | |a 005.133 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 356f |2 stub | ||
| 245 | 1 | 0 | |a Ada 2005 reference manual |b language and standard libraries ; international standard ISO IEC 8652/1995(E) with technical corrigendum 1 and amendment 1 |c S. Tucker Taft ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2006 | |
| 300 | |a XXII, 765 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 4348 | |
| 650 | 0 | 7 | |a Ada 2005 |0 (DE-588)7555252-8 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Ada 2005 |0 (DE-588)7555252-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Taft, S. Tucker |e Sonstige |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 4348 |w (DE-604)BV000000607 |9 4348 | |
| 856 | 4 | 2 | |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=2889664&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015482244&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-015482244 | |
Record in the Search Index
| _version_ | 1820875006129733632 |
|---|---|
| adam_text |
S. TUCKER TAFT ROBER
T A
. DUFF
RANDAL
L L
. BRUKARD
T ERHAR
D PLOEDEREDE
R
PASCAL LEROY (EDS.)
ADA 2005
REFERENCE MANUAL
LANGUAGE AND STANDARD LIBRARIES
INTERNATIONAL STANDARD ISO/IEC 8652/1995 (E)
WITH TECHNICAL CORRIGENDUM 1 AND AMENDMENT 1
& SPRI
RINGE
R
CONSOLIDATE
D AD
A REFERENC
E MANUAL - 200
5 EDITION
TABLE OF CONTENTS
TABLE OF CONTENTS I
FOREWORD TO THIS VERSION OF THE ADA REFERENCE MANUAL XI
FOREWORD XII
INTRODUCTION XIII
SECTION 1
: GENERAL 1
1.1 SCOP
E 1
1.1.1 EXTENT 1
1.1.2 STRUCTUR
E 2
1.1.3 CONFORMIT
Y OF A
N IMPLEMENTATIO
N WIT
H TH
E STANDAR
D 4
1.1.4 METHO
D OF DESCRIPTIO
N AN
D SYNTA
X NOTATIO
N 5
1.1.5 CLASSIFICATIO
N OF ERRORS 7
1.2 NORMATIV
E REFERENCE
S 8
1.3 DEFINITIONS 8
SECTION 2: LEXICAL ELEMENTS 9
2.1 CHARACTERSE
T 9
2.2 LEXICAL ELEMENTS
, SEPARATORS
, AN
D DELIMITERS 11
2.3 IDENTIFIERS 12
2.4 NUMERI
C LITERAIS 13
2.4.1 DECIMA
L LITERAIS 13
2.4.2 BASE
D LITERAIS 14
2.5 CHARACTE
R LITERAIS 14
2.6STRIN
G LITERAIS 15
2.7 COMMENT
S 15
2.8 PRAGMA
S 16
2.9 RESERVE
D WORD
S 18
SECTION 3: DECLARATIONS AND TYPES 19
3.1 DECLARATION
S 19
3.2 TYPE
S AN
D SUBTYPE
S 20
3.2.1 TYP
E DECLARATION
S 22
3.2.2 SUBTYP
E DECLARATION
S 23
3.2.3 CLASSIFICATIO
N OF OPERATION
S 24
3.3 OBJECT
S AN
D NAME
D NUMBER
S 25
3.3.1 OBJEC
T DECLARATION
S 26
3.3.2 NUMBE
R DECLARATION
S 28
3.4 DERIVED TYPE
S AN
D CLASSE
S 29
3.4.1 DERIVATIO
N CLASSE
S 32
3.5 SCALA
R TYPE
S 34
3.5.1 ENUMERATIO
N TYPE
S 38
3.5.2 CHARACTE
R TYPE
S 39
3.5.3 BOOLEA
N TYPE
S 40
3.5.4 INTEGER TYPE
S 40
3.5.5 OPERATION
S OF DISCRETE TYPE
S 4
3
3.5.6 REAL TYPE
S 44
3.5.7 FLOATING POINT TYPE
S 45
3.5.8 OPERATION
S OF FLOATING POINT TYPE
S 4
7
I 8 NOVEMBER 2006 TABLE OF CONTENTS
CONSOLIDATE
D AD
A REFERENC
E MANUA
L - 200
5 EDITION
3.5.9 FIXED POINT TYPE
S 4
7
3.5.10 OPERATION
S OF FIXED POIN
T TYPE
S 4
9
3.6 ARRAY TYPE
S 50
3.6.1 INDEX CONSTRAINT
S AN
D DISCRETE RANGE
S 52
3.6.2 OPERATION
S OF ARRA
Y TYPE
S 54
3.6.3 STRING TYPE
S 55
3.7 DISCRIMINANT
S 55
3.7.1 DISCRIMINAN
T CONSTRAINT
S 58
3.7.2 OPERATION
S OF DISCRIMINATE
D TYPE
S 59
3.8 RECOR
D TYPE
S 60
3.8.1 VARIAN
T PART
S AN
D DISCRETE CHOICE
S 6
2
3.9 TAGGE
D TYPE
S AN
D TYP
E EXTENSION
S 64
3.9.1 TYP
E EXTENSION
S 67
3.9.2 DISPATCHIN
G OPERATION
S OF TAGGE
D TYPE
S 68
3.9.3 ABSTRAC
T TYPE
S AND SUBPROGRAM
S 71
3.9.4 INTERFACE TYPE
S 7
2
3.10 ACCES
S TYPE
S
7
5
3.10.1 INCOMPLET
E TYP
E DECLARATION
S 7
7
3.10.2 OPERATION
S OF ACCES
S TYPE
S 80
3.11 DECLARATIV
E PARTS 84
3.11.1 COMPLETION
S OF DECLARATION
S 84
SECTION 4: NAMES AND EXPRESSIONS 87
4.1 NAMES 87
4.1.1 INDEXE
D COMPONENT
S 8
8
4.1.2 SLICES 89
4.1.3 SELECTE
D COMPONENT
S 9
0
4.1.4 ATTRIBUTE
S 9
2
4.2 LITERAIS 9
3
4.3 AGGREGATE
S 9
4
4.3.1 RECOR
D AGGREGATE
S 94
4.3.2 EXTENSIO
N AGGREGATE
S 97
4.3.3 ARRAY AGGREGATE
S 9
8
4.4 EXPRESSION
S 101
4.5 OPERATOR
S AN
D EXPRESSIO
N EVALUATION 102
4.5.1 LOGICAL OPERATOR
S AN
D SHORT-CIRCUI
T CONTRO
L FORMS 103
4.5.2 RELATIONAL OPERATOR
S AN
D MEMBERSHI
P TEST
S 104
4.5.3 BINARY ADDIN
G OPERATOR
S 107
4.5.4 UNARY ADDIN
G OPERATOR
S 108
4.5.5 MULTIPLYING OPERATOR
S 109
4.5.6 HIGHEST PRECEDENC
E OPERATOR
S 111
4.6 TYP
E CONVERSION
S 112
4.7 QUALIFIED EXPRESSION
S 116
4.8 ALLOCATORS 117
4.9 STATIC EXPRESSIONS AND STATI
C SUBTYPE
S 119
4.9.1 STATICALLY MATCHING CONSTRAINT
S AN
D SUBTYPE
S 122
SECTION 5: STATEMENTS 123
5.1 SIMPL
E AN
D COMPOUN
D STATEMENT
S - SEQUENCE
S OF STATEMENT
S 123
5.2 ASSIGNMEN
T STATEMENT
S 124
5.3 IF STATEMENT
S 126
5.4 CAS
E STATEMENT
S 127
5.5 LOO
P STATEMENT
S 128
5.6 BLOCK STATEMENT
S 130
TABLE OF CONTENTS 8 NOVEMBER 2006 II
CONSOLIDATED ADA REFERENCE MANUAL - 2005 EDITION
5.7 EXIT STATEMENTS 130
5.8 GOTO STATEMENTS 131
SECTION 6: SUBPROGRAMS 133
6.1 SUBPROGRAM DECLARATIONS 133
6.2 FORMAL PARAMETER MODES 135
6.3 SUBPROGRAM BODIES 136
6.3.1 CONFORMANCE RULES 137
6.3.2 INLINE EXPANSION OF SUBPROGRAMS 139
6.4 SUBPROGRAM CALLS 140
6.4.1 PARAMETER ASSOCIATIONS 142
6.5 RETURN STATEMENTS 143
6.5.1 PRAGMA NO_RETURN 145
6.6 OVERLOADING OF OPERATORS 146
6.7 NULL PROCEDURES 147
SECTION 7: PACKAGES 149
7.1 PACKAGE SPECIFICATIONS AND DECLARATIONS 149
7.2 PACKAGE BODIES 150
7.3 PRIVATE TYPES AND PRIVATE EXTENSIONS 151
7.3.1 PRIVATE OPERATIONS 154
7.4 DEFERRED CONSTANTS 156
7.5 LIMITED TYPES .157
7.6 USER-DEFINED ASSIGNMENT AND FINALIZATION 158
7.6.1 COMPLETION AND FINALIZATION 161
SECTIO
N 8
: VISIBILIT
Y RULE
S 16
5
8.1 DECLARATIVE REGION 165
8.2 SCOPE OF DECLARATIONS 166
8.3 VISIBILITY 167
8.3.1 OVERRIDING INDICATORS 170
8.4 USE CLAUSES 171
8.5 RENAMING DECLARATIONS 172
8.5.1 OBJECT RENAMING DECLARATIONS 172
8.5.2 EXCEPTION RENAMING DECLARATIONS 173
8.5.3 PACKAGE RENAMING DECLARATIONS 174
8.5.4 SUBPROGRAM RENAMING DECLARATIONS 174
8.5.5 GENERIC RENAMING DECLARATIONS 176
8.6 THE CONTEXT OF OVERLOAD RESOLUTION 177
SECTION 9: TASKS AND SYNCHRONIZATION 181
9.1 TASK UNITS AND TASK OBJECTS 181
9.2 TASK EXECUTION - TASK ACTIVATION 184
9.3 TASK DEPENDENCE -TERMINATION OF TASKS 185
9.4 PROTECTED UNITS AND PROTECTED OBJECTS 187
9.5 INTERTASK COMMUNICATION 190
9.5.1 PROTECTED SUBPROGRAMS AND PROTECTED ACTIONS 191
9.5.2 ENTRIES AND ACCEPT STATEMENTS 192
9.5.3 ENTRY CALLS 195
9.5.4 REQUEUE STATEMENTS 198
9.6 DELAY STATEMENTS, DURATION, AND TIME 199
9.6.1 FORMATTING, TIME ZONES, AND OTHER OPERATIONS FOR TIME 202
9.7 SELECT STATEMENTS 208
9.7.1 SELECTIVE ACCEPT 209
III 8 NOVEMBER 2006 TABLE OF CONTENTS
CONSOLIDATED ADA REFERENCE MANUAL - 2005 EDITION
9.7.2 TIMED ENTRY CALLS 211
9.7.3 CONDITIONAL ENTRY CALLS 212
9.7.4 ASYNCHRONOUS TRANSFER OF CONTROL 213
9.8 ABORT OF A TASK - ABORT OF A SEQUENCE OF STATEMENTS 214
9.9 TASK AND ENTRY ATTRIBUTES 215
9.10 SHARED VARIABLES 216
9.11 EXAMPLE OF TASKING AND SYNCHRONIZATION 217
SECTION 10: PROGRAM STRUCTURE AND COMPILATION ISSUES 219
10.1 SEPARATE COMPILATION 219
10.1.1 COMPILATION UNITS - LIBRARY UNITS 219
10.1.2 CONTEXT CLAUSES -WITH CLAUSES 222
10.1.3 SUBUNITS OF COMPILATION UNITS 224
10.1.4 THE COMPILATION PROCESS 226
10.1.5 PRAGMAS AND PROGRAM UNITS 227
10.1.6 ENVIRONMENT-LEVEL VISIBILITY RULES 228
10.2 PROGRAM EXECUTION 229
10.2.1 ELABORATION CONTROL 231
SECTION 11
: EXCEPTIONS 235
11.1 EXCEPTION DECLARATIONS 235
11.2 EXCEPTION HANDLERS 235
11.3 RAISE STATEMENTS 236
11.4 EXCEPTION HANDLING 237
11.4.1 THE PACKAGE EXCEPTIONS 238
11.4.2 PRAGMAS ASSERT AND ASSERTION_POLICY 240
11.4.3 EXAMPLE OF EXCEPTION HANDLING 241
11.5SUPPRESSING CHECKS 242
11.6 EXCEPTIONS AND OPTIMIZATION 245
SECTION 12: GENERIC UNITS 247
12.1 GENERIC DECLARATIONS 247
12.2 GENERIC BODIES 249
12.3 GENERIC INSTANTIATION 250
12.4 FORMAL OBJECTS 252
12.5 FORMAL TYPES 254
12.5.1 FORMAL PRIVATE AND DERIVED TYPES 255
12.5.2 FORMAL SCALAR TYPES 257
12.5.3 FORMAL ARRAY TYPES 258
12.5.4 FORMAL ACCESS TYPES 259
12.5.5 FORMAL INTERFACE TYPES 259
12.6 FORMAL SUBPROGRAMS 260
12.7 FORMAL PACKAGES 262
12.8 EXAMPLE OF A GENERIC PACKAGE 264
SECTION 13: REPRESENTATION ISSUES 267
13.1 OPERATIONAL AND REPRESENTATION ITEMS 267
13.2 PRAGMA PACK 270
13.3 OPERATIONAL AND REPRESENTATION ATTRIBUTES 271
13.4 ENUMERATION REPRESENTATION CLAUSES 277
13.5RECORD LAYOUT 278
13.5.1 RECORD REPRESENTATION CLAUSES 278
13.5.2 STORAGE PLACE ATTRIBUTES 280
13.5.3 BIT ORDERING 281
TABLE OF CONTENTS 8 NOVEMBER 2006 IV
CONSOLIDATE
D AD
A REFERENC
E MANUA
L - 2005 EDITION
13.6 CHANG
E OF REPRESENTATIO
N 28
2
13.7 TH
E PACKAG
E SYSTE
M 283
13.7.1 TH
E PACKAG
E SYSTEM.STORAGE_ELEMENT
S 28
5
13.7.2 TH
E PACKAG
E SYSTEM.ADDRESS_TO_ACCESS_CONVERSION
S 28
6
13.8 MACHIN
E COD
E INSERTIONS 286
13.9 UNCHECKE
D TYP
E CONVERSION
S 287
13.9.1 DATAVALIDIT
Y 288
13.9.2 TH
E VALI
D ATTRIBUTE 289
13.10 UNCHECKE
D ACCES
S VALU
E CREATIO
N 29
0
13.11 STORAG
E MANAGEMEN
T 29
0
13.11.1 TH
E MAX_SIZE_LN_STORAGE_ELEMENT
S ATTRIBUT
E 293
13.11.2 UNCHECKE
D STORAG
E DEALLOCATIO
N 29
4
13.11.3 PRAGMA CONTROLLE
D 29
5
13.12 PRAGM
A RESTRICTION
S 295
13.12.1 LANGUAGE-DEFINE
D RESTRICTION
S 296
13.13 STREAM
S 297
13.13.1 TH
E PACKAG
E STREAM
S 297
13.13.2 STREAM-ORIENTE
D ATTRIBUTE
S 298
13.14 FREEZIN
G RULES 303
THE STANDAR
D LIBRARIE
S 305
ANNE
X A (NORMATIVE) PREDEFINE
D LANGUAG
E ENVIRONMEN
T 307
A.1 TH
E PACKAG
E STANDAR
D 309
A.2 TH
E PACKAG
E AD
A 313
A.3 CHARACTE
R HANDLING 313
A.3.
1 TH
E PACKAGE
S CHARACTERS
, WIDE_CHARACTERS
, AN
D WIDE_WIDE_CHARACTER
S 314
A.3.2 TH
E PACKAG
E CHARACTERS.HANDLIN
G 314
A.3.3TH
E PACKAG
E CHARACTERS.LATIN_
1 317
A.3.
4 TH
E PACKAG
E CHARACTERS.CONVERSION
S 32
2
A.4 STRIN
G HANDLIN
G 324
A.4.1 TH
E PACKAG
E STRING
S 324
A.4.
2 TH
E PACKAG
E STRINGS.MAP
S 324
A.4.3 FIXED-LENGT
H STRING HANDLIN
G 327
A.4.
4 BOUNDED-LENGT
H STRIN
G HANDLIN
G 336
A.4.5 UNBOUNDED-LENGT
H STRING HANDLIN
G 343
A.4.
6 STRING-HANDLIN
G SET
S AN
D MAPPING
S 348
A.4.7 WIDE_STRIN
G HANDLIN
G 348
A.4.8 WIDE_WIDE_STRIN
G HANDLIN
G 351
A.4.9 STRING HASHIN
G 353
A.5 TH
E NUMERIC
S PACKAGE
S 354
A.5.1 ELEMENTAR
Y FUNCTION
S 355
A.5.
2 RANDO
M NUMBE
R GENERATIO
N 358
A.5.
3 ATTRIBUTE
S OF FLOATIN
G POINT TYPE
S 363
A.5.
4 ATTRIBUTE
S OF FIXE
D POINT TYPE
S 367
A.6 INPUT-OUTPU
T 367
A.7 EXTERNAL FILES AN
D FILE OBJECT
S 367
A.8 SEQUENTIA
L AN
D DIRECT FILES 369
A.8.1 TH
E GENERI
C PACKAG
E SEQUENTIALJ
O 369
A.8.
2 FILE MANAGEMEN
T 37
0
A.8.3 SEQUENTIA
L INPUT-OUTPU
T OPERATION
S 372
A.8.
4 TH
E GENERI
C PACKAG
E DIRECTJ
O 373
A.8.
5 DIRECT INPUT-OUTPU
T OPERATION
S 374
A.9 TH
E GENERI
C PACKAG
E STORAGEJ
O 375
V 8 NOVEMBER 2006
TABLE OF CONTENTS
CONSOLIDATED ADA REFERENCE MANUAL - 2005 EDITION
A.10 TEXT INPUT-OUTPUT 375
A.10.1 THE PACKAGE TEXTJO 377
A.10.2 TEXT FILE MANAGEMENT 382
A.10.3 DEFAULT INPUT, OUTPUT, AND ERROR FILES 383
A.10.4 SPECIFICATION OF LINE AND PAGE LENGTHS 384
A.10.5 OPERATIONS ON COLUMNS, LINES, AND PAGES 385
A.10.6 GET AND PUT PROCEDURES 388
A.10.7 INPUT-OUTPUT OF CHARACTERS AND STRINGS 389
A.10.8 INPUT-OUTPUT FOR INTEGER TYPES 391
A.10.9 INPUT-OUTPUT FOR REAL TYPES 393
A.10.10 INPUT-OUTPUT FOR ENUMERATION TYPES 396
A.10.11 INPUT-OUTPUT FOR BOUNDED STRINGS 397
A.10.12 INPUT-OUTPUT FOR UNBOUNDED STRINGS 398
A.11 WIDE TEXT INPUT-OUTPUT AND WIDE WIDE TEXT INPUT-OUTPUT 399
A.12STREAM INPUT-OUTPUT 400
A.12.1 THE PACKAGE STREAMS.STREAMJO 400
A.12.2 THE PACKAGE TEXT_IO.TEXT_STREAMS 403
A.12.3 THE PACKAGE WIDE_TEXT_IO.TEXT_STREAMS 403
A.12.4THE PACKAGE WIDE_WIDE_TEXT_IO.TEXT_STREAMS 403
A.13 EXCEPTIONS IN INPUT-OUTPUT 404
A.14 FILE SHARING 405
A.15THE PACKAGE COMMAND_LINE 405
A.16THE PACKAGE DIRECTORIES 407
A.17THE PACKAGE ENVIRONMENT_VARIABLES 414
A.18 CONTAINERS 417
A.18.1 THE PACKAGE CONTAINERS 417
A.18.2 THE PACKAGE CONTAINERS.VECTORS 417
A.18.3 THE PACKAGE CONTAINERS.DOUBLY_LINKED_LISTS 431
A.18.4 MAPS 440
A.18.5 THE PACKAGE CONTAINERS.HASHED_MAPS 445
A.18.6 THE PACKAGE CONTAINERS.ORDERED_MAPS 448
A.18.7SETS 452
A.18.8 THE PACKAGE CONTAINERS.HASHED_SETS 458
A.18.9 THE PACKAGE CONTAINERS.ORDERED_SETS 462
A.18.10THE PACKAGE CONTAINERS.LNDEFINITE_VECTORS 466
A.18.11 THE PACKAGE CONTAINERS.LNDEFINITE_DOUBLY_LINKED_LISTS 467
A.18.12 THE PACKAGE CONTAINERS.LNDEFINITE_HASHED_MAPS 467
A.18.13 THE PACKAGE CONTAINERS.LNDEFINITE_ORDERED_MAPS 468
A.18.14 THE PACKAGE CONTAINERS.LNDEFINITE_HASHED_SETS 468
A.18.15 THE PACKAGE CONTAINERS.LNDEFINITE_ORDERED_SETS 468
A.18.16 ARRAY SORTING 469
ANNEX B (NORMATIVE) INTERFACE TO OTHER LANGUAGES 471
B.1 INTERFACING PRAGMAS 471
B.2THE PACKAGE INTERFACES 474
B.3 INTERFACING WITH C AND C++ 475
B.3.1 THE PACKAGE INTERFACES.C.STRINGS 482
B.3.2 THE GENERIC PACKAGE INTERFACES.C.POINTERS 485
B.3.3 PRAGMA UNCHECKEDJJNION 488
B.4 INTERFACING WITH COBOL 490
B.5 INTERFACING WITH FORTRAN 496
ANNEX C (NORMATIVE) SYSTEMS PROGRAMMING 499
C.1 ACCESS TO MACHINE OPERATIONS 499
TABLE OF CONTENTS 8 NOVEMBER 2006 VI
CONSOLIDATED ADA REFERENCE MANUAL - 2005 EDITION
C.2 REQUIRED REPRESENTATION SUPPORT 500
C.3 INTERRUPT SUPPORT 500
C.3.1 PROTECTED PROCEDURE HANDLERS 502
C.3.2THE PACKAGE INTERRUPTS 504
C.4 PREELABORATION REQUIREMENTS 506
C.5 PRAGMA DISCARD_NAMES 507
C.6 SHARED VARIABLE CONTROL 507
C.7TASK INFORMATION 509
C.7.1 THE PACKAGE TASKJDENTIFICATION 509
C.7.2 THE PACKAGE TASK_ATTRIBUTES 511
C.7.3 THE PACKAGE TASK_TERMINATION 513
ANNEX D (NORMATIVE) REAL-TIME SYSTEMS 515
D.1 TASK PRIORITIES 515
D.2 PRIORITY SCHEDULING 517
D.2.1 THE TASK DISPATCHING MODEL 517
D.2.2 TASK DISPATCHING PRAGMAS 519
D.2.3 PREEMPTIVE DISPATCHING 520
D.2.4 NON-PREEMPTIVE DISPATCHING 521
D.2.5 ROUND ROBIN DISPATCHING 522
D.2.6 EARLIEST DEADLINE FIRST DISPATCHING 524
D.3 PRIORITY CEILING LOCKING 526
D.4 ENTRY QUEUING POLICIES 528
D.5 DYNAMIC PRIORITIES 529
D.5.1 DYNAMIC PRIORITIES FOR TASKS 529
D.5.2 DYNAMIC PRIORITIES FOR PROTECTED OBJECTS 531
D.6 PREEMPTIVE ABORT 532
D.7 TASKING RESTRICTIONS 533
D.8 MONOTONIE TIME 535
D.9 DELAY ACCURACY 538
D.10 SYNCHRONOUS TASK CONTROL 539
D.11 ASYNCHRONOUS TASK CONTROL 540
D.12 OTHER OPTIMIZATIONS AND DETERMINISM RUIES 541
D.13 RUN-TIME PROFILES 542
D.13.1 THE RAVENSCAR PROFILE 543
D.14 EXECUTION TIME 544
D.14.1 EXECUTION TIME TIMERS 546
D.14.2 GROUP EXECUTION TIME BUDGETS 548
D.15TIMING EVENTS 550
ANNEX E (NORMATIVE) DISTRIBUTED SYSTEMS 553
E.1 PARTITIONS 553
E.2 CATEGORIZATION OF LIBRARY UNITS 554
E.2.1 SHARED PASSIVE LIBRARY UNITS 555
E.2.2 REMOTE TYPES LIBRARY UNITS 556
E.2.3 REMOTE CALL INTERFACE LIBRARY UNITS 557
E.3 CONSISTENCY OF A DISTRIBUTED SYSTEM 558
E.4 REMOTE SUBPROGRAM CALLS 559
E.4.1 PRAGMA ASYNCHRONOUS 561
E.4.2 EXAMPLE OF USE OF A REMOTE ACCESS-TO-CLASS-WIDE TYPE 561
E.5 PARTITION COMMUNICATION SUBSYSTEM 563
ANNEX F (NORMATIVE) INFORMATION SYSTEMS 567
F.1 MACHINE_RADIX ATTRIBUTE DEFINITION CLAUSE 567
VII 8 NOVEMBER 2006 TABLE OF CONTENTS
CONSOLIDATE
D AD
A REFERENC
E MANUA
L - 200
5 EDITION
F.2TH
E PACKAG
E DECIMA
L 568
F.3 EDITED OUTPU
T FO
R DECIMAL TYPE
S 569
F.3.1 PICTURE STRING FORMATIO
N 57
0
F.3.2 EDITED OUTPU
T GENERATIO
N 57
4
F.3.3 TH
E PACKAG
E TEXTJO.EDITIN
G 578
F.3.4 TH
E PACKAG
E WIDE_TEXT_IO.EDITIN
G 581
F.3.5 TH
E PACKAG
E WIDE_WIDE_TEXT_IO.EDITIN
G 581
ANNEX G (NORMATIVE) NUMERICS 583
G.1 COMPLE
X ARITHMETI
C 583
G.1.1 COMPLE
X TYPE
S 583
G.1.2 COMPLE
X ELEMENTAR
Y FUNCTION
S 588
G.1.3 COMPLE
X INPUT-OUTPU
T 591
G.1.4TH
E PACKAG
E WIDE_TEXT_IO.COMPLEX_I
O 594
G.1.5 TH
E PACKAG
E WIDE_WIDE_TEXT_IO.COMPLEX_I
O 594
G.2 NUMERIC PERFORMANC
E REQUIREMENT
S 59
4
G.2.1 MODE
L OF FLOATING POIN
T ARITHMETI
C 59
5
G.2.2 MODEL-ORIENTE
D ATTRIBUTE
S OF FLOATING POINT TYPE
S 596
G.2.3 MODEL OF FIXED POINT ARITHMETI
C 597
G.2.4 ACCURAC
Y REQUIREMENT
S FO
R TH
E ELEMENTAR
Y FUNCTION
S 599
G.2.5 PERFORMANC
E REQUIREMENT
S FO
R RANDO
M NUMBE
R GENERATIO
N 601
G.2.6 ACCURAC
Y REQUIREMENT
S FO
R COMPLE
X ARITHMETI
C 601
G.3 VECTO
R AN
D MATRIX MANIPULATIO
N 60
3
G.3.1 REAL VECTOR
S AN
D MATRICE
S 603
G.3.2 COMPLE
X VECTOR
S AN
D MATRICES 608
ANNEX H (NORMATIVE) HIGH INTEGRITY SYSTEMS 619
H.1 PRAGMA NORMALIZE_SCALAR
S 619
H.2 DOCUMENTATIO
N OF IMPLEMENTATIO
N DECISION
S 62
0
H.3 REVIEWABL
E OBJECT COD
E 62
0
H.3.1 PRAGMA REVIEWABL
E 62
0
H.3.2 PRAGM
A LNSPECTION_POIN
T 621
H.4 HIGH INTEGRITY RESTRICTION
S 62
2
H.5 PRAGMA DETECT_BLOCKIN
G 62
4
H.6 PRAGMA PARTITION_ELABORATION_POLIC
Y 62
5
ANNEX J (NORMATIVE) OBSOLESCENT FEATURES 627
J.1 RENAMING
S OF AD
A 83 LIBRARY UNITS 627
J.2 ALLOWE
D REPLACEMENT
S OF CHARACTER
S 627
J.3 REDUCE
D ACCURAC
Y SUBTYPE
S 628
J.4 TH
E CONSTRAINE
D ATTRIBUT
E 629
J.5 ASCI
I 629
J.6 NUMERIC_ERRO
R 63
0
J.7 ATCLAUSE
S 63
0
J.7.1 INTERRUPT ENTRIES 63
0
J.8 MOD CLAUSE
S 63
2
J.9 TH
E STORAGE_SIZ
E ATTRIBUT
E 63
2
J.1
0 SPECIFI
C SUPPRESSIO
N OF CHECK
S 632
J.11 TH
E CLASS ATTRIBUT
E OF UNTAGGE
D INCOMPLET
E TYPE
S 63
3
J.12 PRAGMA INTERFACE 633
J.13 DEPENDENC
E RESTRICTIO
N IDENTIFIERS 633
J.14 CHARACTERAN
D WIDECHARACTE
R CONVERSIO
N FUNCTION
S 63
4
ANNEX K (INFORMATIVE) LANGUAGE-DEFINED ATTRIBUTES 635
TABLE OF CONTENTS
8 NOVEMBER 2006 VIII
CONSOLIDATED ADA REFERENCE MANUAL - 2005 EDITION
ANNEX L (INFORMATIVE) LANGUAGE-DEFINED PRAGMAS 651
ANNEX M (INFORMATIVE) SUMMARY OF DOCUMENTATION REQUIREMENTS 653
M.1 SPECIFIC DOCUMENTATION REQUIREMENTS 653
M.2 IMPLEMENTATION-DEFINED CHARACTERISTICS 655
M.3 IMPLEMENTATION ADVICE 661
ANNEX
IM (INFORMATIVE) GLOSSARY 669
ANNEX P (INFORMATIVE) SYNTAX SUMMARY 675
ANNEX Q (INFORMATIVE) LANGUAGE-DEFINED ENTITIES 703
Q.1 LANGUAGE-DEFINED PACKAGES 703
Q.2 LANGUAGE-DEFINED TYPES AND SUBTYPES 705
Q.3 LANGUAGE-DEFINED SUBPROGRAMS 709
Q.4 LANGUAGE-DEFINED EXCEPTIONS 717
Q.5 LANGUAGE-DEFINED OBJECTS 718
INDEX 723
IX 8 NOVEMBER 2006 TABLE OF CONTENTS |
| adam_txt | |
| any_adam_object | 1 |
| any_adam_object_boolean | |
| building | Verbundindex |
| bvnumber | BV022271766 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 356f |
| ctrlnum | (OCoLC)635166875 (DE-599)BVBBV022271766 |
| dewey-full | 005.133 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.133 |
| dewey-search | 005.133 |
| dewey-sort | 15.133 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV022271766</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150226</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">070214s2006 gw |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">07,N03,0011</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">982332793</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540693352</subfield><subfield code="c">: EUR 80.20 (freier Pr.), sfr 127.00 (freier Pr.)</subfield><subfield code="9">978-3-540-69335-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540693351</subfield><subfield code="c">: EUR 80.20 (freier Pr.), sfr 127.00 (freier Pr.)</subfield><subfield code="9">3-540-69335-1</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540693352</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">11966562</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)635166875</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022271766</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.133</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 356f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Ada 2005 reference manual</subfield><subfield code="b">language and standard libraries ; international standard ISO IEC 8652/1995(E) with technical corrigendum 1 and amendment 1</subfield><subfield code="c">S. Tucker Taft ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXII, 765 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">4348</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Ada 2005</subfield><subfield code="0">(DE-588)7555252-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Ada 2005</subfield><subfield code="0">(DE-588)7555252-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Taft, S. Tucker</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">4348</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">4348</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=2889664&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015482244&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015482244</subfield></datafield></record></collection> |
| id | DE-604.BV022271766 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T16:46:20Z |
| indexdate | 2025-01-10T15:08:46Z |
| institution | BVB |
| isbn | 9783540693352 3540693351 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015482244 |
| oclc_num | 635166875 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-706 DE-92 DE-83 |
| owner_facet | DE-91G DE-BY-TUM DE-706 DE-92 DE-83 |
| physical | XXII, 765 S. |
| publishDate | 2006 |
| publishDateSearch | 2006 |
| publishDateSort | 2006 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Ada 2005 reference manual language and standard libraries ; international standard ISO IEC 8652/1995(E) with technical corrigendum 1 and amendment 1 S. Tucker Taft ... (eds.) Berlin [u.a.] Springer 2006 XXII, 765 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 4348 Ada 2005 (DE-588)7555252-8 gnd rswk-swf Ada 2005 (DE-588)7555252-8 s DE-604 Taft, S. Tucker Sonstige oth Lecture notes in computer science 4348 (DE-604)BV000000607 4348 text/html http://deposit.dnb.de/cgi-bin/dokserv?id=2889664&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015482244&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Ada 2005 reference manual language and standard libraries ; international standard ISO IEC 8652/1995(E) with technical corrigendum 1 and amendment 1 Lecture notes in computer science Ada 2005 (DE-588)7555252-8 gnd |
| subject_GND | (DE-588)7555252-8 |
| title | Ada 2005 reference manual language and standard libraries ; international standard ISO IEC 8652/1995(E) with technical corrigendum 1 and amendment 1 |
| title_auth | Ada 2005 reference manual language and standard libraries ; international standard ISO IEC 8652/1995(E) with technical corrigendum 1 and amendment 1 |
| title_exact_search | Ada 2005 reference manual language and standard libraries ; international standard ISO IEC 8652/1995(E) with technical corrigendum 1 and amendment 1 |
| title_exact_search_txtP | Ada 2005 reference manual language and standard libraries ; international standard ISO IEC 8652/1995(E) with technical corrigendum 1 and amendment 1 |
| title_full | Ada 2005 reference manual language and standard libraries ; international standard ISO IEC 8652/1995(E) with technical corrigendum 1 and amendment 1 S. Tucker Taft ... (eds.) |
| title_fullStr | Ada 2005 reference manual language and standard libraries ; international standard ISO IEC 8652/1995(E) with technical corrigendum 1 and amendment 1 S. Tucker Taft ... (eds.) |
| title_full_unstemmed | Ada 2005 reference manual language and standard libraries ; international standard ISO IEC 8652/1995(E) with technical corrigendum 1 and amendment 1 S. Tucker Taft ... (eds.) |
| title_short | Ada 2005 reference manual |
| title_sort | ada 2005 reference manual language and standard libraries international standard iso iec 8652 1995 e with technical corrigendum 1 and amendment 1 |
| title_sub | language and standard libraries ; international standard ISO IEC 8652/1995(E) with technical corrigendum 1 and amendment 1 |
| topic | Ada 2005 (DE-588)7555252-8 gnd |
| topic_facet | Ada 2005 |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=2889664&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015482244&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT taftstucker ada2005referencemanuallanguageandstandardlibrariesinternationalstandardisoiec86521995ewithtechnicalcorrigendum1andamendment1 |