Muutke küpsiste eelistusi

Ada 2012 Reference Manual. Language and Standard Libraries: International Standard ISO/IEC 8652/2012 (E) 2013 ed. [Pehme köide]

Edited by , Edited by , Edited by , Edited by , Edited by , Edited by
  • Formaat: Paperback / softback, 921 pages, kõrgus x laius: 234x168 mm, XXVIII, 921 p., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 8339
  • Ilmumisaeg: 15-Jan-2014
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3642454186
  • ISBN-13: 9783642454189
Teised raamatud teemal:
  • Pehme köide
  • Hind: 141,35 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 166,29 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
Ada 2012 Reference Manual. Language and Standard Libraries: International Standard ISO/IEC 8652/2012 (E) 2013 ed.Suurem pilt
  • Formaat: Paperback / softback, 921 pages, kõrgus x laius: 234x168 mm, XXVIII, 921 p., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 8339
  • Ilmumisaeg: 15-Jan-2014
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3642454186
  • ISBN-13: 9783642454189
Teised raamatud teemal:
Püsilink: https://www.kriso.ee/db/9783642454189.html
Märksõnad:
The Ada 2012 Reference Manual is an enhanced version of the text of International Standard ISO/IEC 8652/2012(E) for the programming language Ada. The Ada 2012 Reference Manual combines all of the previous corrections of Technical Corrigendum 1 and Amendment 1 with changes and additions that improve the capabilities of the language and the reliability of programs written in the language. The Ada 2012 Reference Manual will replace the former versions as an indispensable working companion for anybody using Ada professionally or learning and studying the language systematically.

This manual is an enhanced version of the text of International Standard ISO/IEC 8652/2012(E) for the programming language Ada. It is an indispensable working companion for anybody using Ada professionally or learning and studying the language systematically.
Table of Contents
vii
Foreword xvii
Introduction xviii
1 General
1(10)
1.1 Scope
1(7)
1.1.1 Extent
1(1)
1.1.2 Structure
2(2)
1.1.3 Conformity of an Implementation with the Standard
4(1)
1.1.4 Method of Description and Syntax Notation
5(2)
1.1.5 Classification of Errors
7(1)
1.2 Normative References
8(1)
1.3 Terms and Definitions
8(3)
2 Lexical Elements
11(10)
2.1 Character Set
11(2)
2.2 Lexical Elements, Separators, and Delimiters
13(1)
2.3 Identifiers
14(1)
2.4 Numeric Literals
15(1)
2.4.1 Decimal Literals
15(1)
2.4.2 Based Literals
16(1)
2.5 Character Literals
16(1)
2.6 String Literals
17(1)
2.7 Comments
17(1)
2.8 Pragmas
18(2)
2.9 Reserved Words
20(1)
3 Declarations and Types
21(74)
3.1 Declarations
21(1)
3.2 Types and Subtypes
22(12)
3.2.1 Type Declarations
24(1)
3.2.2 Subtype Declarations
25(1)
3.2.3 Classification of Operations
26(1)
3.2.4 Subtype Predicates
27(4)
3.3.1 Object Declarations
31(2)
3.3.2 Number Declarations
33(1)
3.4 Derived Types and Classes
34(5)
3.4.1 Derivation Classes
37(2)
3.5 Scalar Types
39(17)
3.5.1 Enumeration Types
44(1)
3.5.2 Character Types
45(1)
3.5.3 Boolean Types
46(1)
3.5.4 Integer Types
46(3)
3.5.5 Operations of Discrete Types
49(1)
3.5.6 Real Types
50(1)
3.5.7 Floating Point Types
51(2)
3.5.8 Operations of Floating Point Types
53(1)
3.5.9 Fixed Point Types
53(2)
3.5.10 Operations of Fixed Point Types
55(1)
3.6 Array Types
56(6)
3.6.1 Index Constraints and Discrete Ranges
59(1)
3.6.2 Operations of Array Types
60(1)
3.6.3 String Types
61(1)
3.7 Discriminants
62(4)
3.7.1 Discriminant Constraints
64(1)
3.7.2 Operations of Discriminated Types
65(1)
3.8 Record Types
66(4)
3.8.1 Variant Parts and Discrete Choices
68(2)
3.9 Tagged Types and Type Extensions
70(12)
3.9.1 Type Extensions
74(1)
3.9.2 Dispatching Operations of Tagged Types
75(3)
3.9.3 Abstract Types and Subprograms
78(1)
3.9.4 Interface Types
79(3)
3.10 Access Types
82(11)
3.10.1 Incomplete Type Declarations
84(3)
3.10.2 Operations of Access Types
87(6)
3.11 Declarative Parts
93(2)
3.11.1 Completions of Declarations
93(2)
4 Names and Expressions
95(44)
4.1 Names
95(9)
4.1.1 Indexed Components
96(1)
4.1.2 Slices
97(1)
4.1.3 Selected Components
98(2)
4.1.4 Attributes
100(1)
4.1.5 User-Defined References
101(1)
4.1.6 User-Defined Indexing
102(2)
4.2 Literals
104(1)
4.3 Aggregates
105(7)
4.3.1 Record Aggregates
105(2)
4.3.2 Extension Aggregates
107(2)
4.3.3 Array Aggregates
109(3)
4.4 Expressions
112(1)
4.5 Operators and Expression Evaluation
113(13)
4.5.1 Logical Operators and Short-circuit Control Forms
114(1)
4.5.2 Relational Operators and Membership Tests
115(4)
4.5.3 Binary Adding Operators
119(1)
4.5.4 Unary Adding Operators
120(1)
4.5.5 Multiplying Operators
120(3)
4.5.6 Highest Precedence Operators
123(1)
4.5.7 Conditional Expressions
124(1)
4.5.8 Quantified Expressions
125(1)
4.6 Type Conversions
126(5)
4.7 Qualified Expressions
131(1)
4.8 Allocators
131(3)
4.9 Static Expressions and Static Subtypes
134(5)
4.9.1 Statically Matching Constraints and Subtypes
138(1)
5 Statements
139(14)
5.1 Simple and Compound Statements - Sequences of Statements
139(1)
5.2 Assignment Statements
140(2)
5.3 If Statements
142(1)
5.4 Case Statements
143(1)
5.5 Loop Statements
144(5)
5.5.1 User-Defined Iterator Types
146(1)
5.5.2 Generalized Loop Iteration
147(2)
5.6 Block Statements
149(1)
5.7 Exit Statements
149(1)
5.8 Goto Statements
150(3)
6 Subprograms
153(22)
6.1 Subprogram Declarations
153(6)
6.1.1 Preconditions and Postconditions
156(3)
6.2 Formal Parameter Modes
159(1)
6.3 Subprogram Bodies
160(3)
6.3.1 Conformance Rules
161(2)
6.3.2 Inline Expansion of Subprograms
163(1)
6.4 Subprogram Calls
163(5)
6.4.1 Parameter Associations
165(3)
6.5 Return Statements
168(4)
6.5.1 Nonreturning Procedures
171(1)
6.6 Overloading of Operators
172(1)
6.7 Null Procedures
173(1)
6.8 Expression Functions
174(1)
7 Packages
175(18)
7.1 Package Specifications and Declarations
175(1)
7.2 Package Bodies
176(1)
7.3 Private Types and Private Extensions
177(7)
7.3.1 Private Operations
180(2)
7.3.2 Type Invariants
182(2)
7.4 Deferred Constants
184(1)
7.5 Limited Types
185(2)
7.6 Assignment and Finalization
187(6)
7.6.1 Completion and Finalization
189(4)
8 Visibility Rules
193(16)
8.1 Declarative Region
193(1)
8.2 Scope of Declarations
194(1)
8.3 Visibility
195(4)
8.3.1 Overriding Indicators
198(1)
8.4 Use Clauses
199(1)
8.5 Renaming Declarations
200(5)
8.5.1 Object Renaming Declarations
200(2)
8.5.2 Exception Renaming Declarations
202(1)
8.5.3 Package Renaming Declarations
202(1)
8.5.4 Subprogram Renaming Declarations
203(2)
8.5.5 Generic Renaming Declarations
205(1)
8.6 The Context of Overload Resolution
205(4)
9 Tasks and Synchronization
209(40)
9.1 Task Units and Task Objects
209(3)
9.2 Task Execution - Task Activation
212(1)
9.3 Task Dependence - Termination of Tasks
213(2)
9.4 Protected Units and Protected Objects
215(3)
9.5 Intertask Communication
218(10)
9.5.1 Protected Subprograms and Protected Actions
220(1)
9.5.2 Entries and Accept Statements
221(3)
9.5.3 Entry Calls
224(3)
9.5.4 Requeue Statements
227(1)
9.6 Delay Statements, Duration, and Time
228(9)
9.6.1 Formatting, Time Zones, and other operations for Time
231(6)
9.7 Select Statements
237(5)
9.7.1 Selective Accept
238(2)
9.7.2 Timed Entry Calls
240(1)
9.7.3 Conditional Entry Calls
241(1)
9.7.4 Asynchronous Transfer of Control
241(1)
9.8 Abort of a Task - Abort of a Sequence of Statements
242(2)
9.9 Task and Entry Attributes
244(1)
9.10 Shared Variables
244(2)
9.11 Example of Tasking and Synchronization
246(3)
10 Program Structure and Compilation Issues
249(16)
10.1 Separate Compilation
249(10)
10.1.1 Compilation Units - Library Units
249(3)
10.1.2 Context Clauses - With Clauses
252(2)
10.1.3 Subunits of Compilation Units
254(2)
10.1.4 The Compilation Process
256(1)
10.1.5 Pragmas and Program Units
257(1)
10.1.6 Environment-Level Visibility Rules
258(1)
10.2 Program Execution
259(6)
10.2.1 Elaboration Control
261(4)
11 Exceptions
265(14)
11.1 Exception Declarations
265(1)
11.2 Exception Handlers
266(1)
11.3 Raise Statements
267(1)
11.4 Exception Handling
267(7)
11.4.1 The Package Exceptions
268(2)
11.4.2 Pragmas Assert and Assertion_Policy
270(3)
11.4.3 Example of Exception Handling
273(1)
11.5 Suppressing Checks
274(3)
11.6 Exceptions and Optimization
277(2)
12 Generic Units
279(20)
12.1 Generic Declarations
279(2)
12.2 Generic Bodies
281(1)
12.3 Generic Instantiation
282(2)
12.4 Formal Objects
284(2)
12.5 Formal Types
286(6)
12.5.1 Formal Private and Derived Types
287(3)
12.5.2 Formal Scalar Types
290(1)
12.5.3 Formal Array Types
290(1)
12.5.4 Formal Access Types
291(1)
12.5.5 Formal Interface Types
292(1)
12.6 Formal Subprograms
292(3)
12.7 Formal Packages
295(2)
12.8 Example of a Generic Package
297(2)
13 Representation Issues
299(52)
13.1 Operational and Representation Aspects
299(6)
13.1.1 Aspect Specifications
302(3)
13.2 Packed Types
305(1)
13.3 Operational and Representation Attributes
306(6)
13.4 Enumeration Representation Clauses
312(1)
13.5 Record Layout
313(5)
13.5.1 Record Representation Clauses
314(2)
13.5.2 Storage Place Attributes
316(1)
13.5.3 Bit Ordering
317(1)
13.6 Change of Representation
318(1)
13.7 The Package System
319(3)
13.7.1 The Package System.Storage_Elements
321(1)
13.7.2 The Package System.Address_To_Access_Conversions
322(1)
13.8 Machine Code Insertions
322(1)
13.9 Unchecked Type Conversions
323(3)
13.9.1 Data Validity
324(2)
13.9.2 The Valid Attribute
326(1)
13.10 Unchecked Access Value Creation
326(1)
13.11 Storage Management
327(11)
13.11.1 Storage Allocation Attributes
330(1)
13.11.2 Unchecked Storage Deallocation
331(1)
13.11.3 Default Storage Pools
332(1)
13.11.4 Storage Subpools
333(2)
13.11.5 Subpool Reclamation
335(1)
13.11.6 Storage Subpool Example
336(2)
13.12 Pragma Restrictions and Pragma Profile
338(4)
13.12.1 Language-Defined Restrictions and Profiles
340(2)
13.13 Streams
342(6)
13.13.1 The Package Streams
342(1)
13.13.2 Stream-Oriented Attributes
343(5)
13.14 Freezing Rules
348(3)
The Standard Libraries
351(518)
Annex A (normative) Predefined Language Environment
353(228)
A.1 The Package Standard
356(4)
A.2 The Package Ada
360(1)
A.3 Character Handling
360(14)
A.3.1 The Packages Characters, Wide_Characters, and Wide_Wide_Characters
361(1)
A.3.2 The Package Characters.Handling
361(3)
A.3.3 The Package Characters.Latin_1
364(5)
A.3.4 The Package Characters.Conversions
369(2)
A.3.5 The Package Wide_Characters.Handling
371(2)
A.3.6 The Package Wide_Wide_Characters.Handling
373(1)
A.4 String Handling
374(37)
A.4.1 The Package Strings
374(1)
A.4.2 The Package Strings.Maps
374(3)
A.4.3 Fixed-Length String Handling
377(9)
A.4.4 Bounded-Length String Handling
386(7)
A.4.5 Unbounded-Length String Handling
393(5)
A.4.6 String-Handling Sets and Mappings
398(1)
A.4.7 Wide_String Handling
399(2)
A.4.8 Wide_Wide_String Handling
401(3)
A.4.9 String Hashing
404(1)
A.4.10 String Comparison
405(1)
A.4.11 String Encoding
406(5)
A.5 The Numerics Packages
411(14)
A.5.1 Elementary Functions
412(3)
A.5.2 Random Number Generation
415(5)
A.5.3 Attributes of Floating Point Types
420(4)
A.5.4 Attributes of Fixed Point Types
424(1)
A.6 Input-Output
425(1)
A.7 External Files and File Objects
425(1)
A.8 Sequential and Direct Files
426(6)
A.8.1 The Generic Package Sequential_IO
427(1)
A.8.2 File Management
428(2)
A.8.3 Sequential Input-Output Operations
430(1)
A.8.4 The Generic Package Direct_IO
430(1)
A.8.5 Direct Input-Output Operations
431(1)
A.9 The Generic Package Storage_IO
432(1)
A.10 Text Input-Output
433(24)
A.10.1 The Package Text_IO
434(5)
A.10.2 Text File Management
439(1)
A.10.3 Default Input, Output, and Error Files
440(1)
A.10.4 Specification of Line and Page Lengths
441(1)
A.10.5 Operations on Columns, Lines, and Pages
442(3)
A.10.6 Get and Put Procedures
445(2)
A.10.7 Input-Output of Characters and Strings
447(2)
A.10.8 Input-Output for Integer Types
449(1)
A.10.9 Input-Output for Real Types
450(3)
A.10.10 Input-Output for Enumeration Types
453(1)
A.10.11 Input-Output for Bounded Strings
454(2)
A.10.12 Input-Output for Unbounded Strings
456(1)
A.11 Wide Text Input-Output and Wide Wide Text Input-Output
457(1)
A.12 Stream Input-Output
458(3)
A.12.1 The Package Streams.Stream_IO
458(2)
A.12.2 The Package Text_IO.Text_Streams
460(1)
A.12.3 The Package Wide_Text_IO.Text_Streams
461(1)
A.12.4 The Package Wide_Wide_Text_IO.Text_Streams
461(1)
A.13 Exceptions in Input-Output
461(2)
A.14 File Sharing
463(1)
A.15 The Package Command_Line
463(1)
A.16 The Package Directories
464(10)
A.16.1 The Package Directories.Hierarchical_File_Names
472(2)
A.17 The Package Environment_Variables
474(3)
A.18 Containers
477(101)
A.18.1 The Package Containers
477(1)
A.18.2 The Generic Package Containers.Vectors
477(18)
A.18.3 The Generic Package Containers.Doubly_Linked_Lists
495(11)
A.18.4 Maps
506(7)
A.18.5 The Generic Package Containers.Hashed_Maps
513(4)
A.18.6 The Generic Package Containers.Ordered_Maps
517(4)
A.18.7 Sets
521(8)
A.18.8 The Generic Package Containers.Hashed Sets
529(5)
A.18.9 The Generic Package Containers.Ordered_Sets
534(6)
A.18.10 The Generic Package Containers.Multiway_Trees
540(14)
A.18.11 The Generic Package Containers.Indefinite_Vectors
554(1)
A.18.12 The Generic Package Containers.Indefinite_Doubly_Linked_Lists
555(1)
A.18.13 The Generic Package Containers.Indefinite_Hashed_Maps
555(1)
A.18.14 The Generic Package Containers.Indefinite_Ordered_Maps
556(1)
A.18.15 The Generic Package Containers.Indefinite_Hashed_Sets
556(1)
A.18.16 The Generic Package Containers.Indefinite_Ordered_Sets
556(1)
A.18.17 The Generic Package Containers.Indefinite_Multiway_Trees
557(1)
A.18.18 The Generic Package Containers.Indefinite_Holders
557(4)
A.18.19 The Generic Package Containers.Bounded_Vectors
561(1)
A.18.20 The Generic Package Containers.Bounded_Doubly_Linked_Lists
562(1)
A.18.21 The Generic Package Containers.Bounded_Hashed_Maps
563(1)
A.18.22 The Generic Package Containers.Bounded_Ordered_Maps
564(1)
A.18.23 The Generic Package Containers.Bounded_Hashed_Sets
565(2)
A.18.24 The Generic Package Containers.Bounded_Ordered_Sets
567(1)
A.18.25 The Generic Package Containers.Bounded_Multiway_Trees
568(2)
A.18.26 Array Sorting
570(1)
A.18.27 The Generic Package Containers.Synchronized_Queue_Interfaces
571(1)
A.18.28 The Generic Package Containers.Unbounded_Synchronized_Queues
572(1)
A.18.29 The Generic Package Containers.Bounded_Synchronized_Queues
573(1)
A.18.30 The Generic Package Containers.Unbounded_Priority_Queues
574(1)
A.18.31 The Generic Package Containers.Bounded_Priority_Queues
575(1)
A.18.32 Example of Container Use
576(2)
A.19 The Package Locales
578(3)
Annex B (normative) Interface to Other Languages
581(30)
B.1 Interfacing Aspects
581(3)
B.2 The Package Interfaces
584(1)
B.3 Interfacing with C and C++
585(16)
B.3.1 The Package Interfaces.C.Strings
593(3)
B.3.2 The Generic Package Interfaces.C.Pointers
596(3)
B.3.3 Unchecked Union Types
599(2)
B.4 Interfacing with COBOL
601(6)
B.5 Interfacing with Fortran
607(4)
Annex C (normative) Systems Programming
611(18)
C.1 Access to Machine Operations
611(1)
C.2 Required Representation Support
612(1)
C.3 Interrupt Support
612(6)
C.3.1 Protected Procedure Handlers
614(2)
C.3.2 The Package Interrupts
616(2)
C.4 Preelaboration Requirements
618(1)
C.5 Pragma Discard_Names
619(1)
C.6 Shared Variable Control
620(2)
C.7 Task Information
622(7)
C.7.1 The Package Task_Identification
622(2)
C.7.2 The Package Task_Attributes
624(2)
C.7.3 The Package Task_Termination
626(3)
Annex D (normative) Real-Time Systems
629(44)
D.1 Task Priorities
629(2)
D.2 Priority Scheduling
631(9)
D.2.1 The Task Dispatching Model
631(2)
D.2.2 Task Dispatching Pragmas
633(1)
D.2.3 Preemptive Dispatching
634(1)
D.2.4 Non-Preemptive Dispatching
635(2)
D.2.5 Round Robin Dispatching
637(1)
D.2.6 Earliest Deadline First Dispatching
638(2)
D.3 Priority Ceiling Locking
640(2)
D.4 Entry Queuing Policies
642(2)
D.5 Dynamic Priorities
644(2)
D.5.1 Dynamic Priorities for Tasks
644(1)
D.5.2 Dynamic Priorities for Protected Objects
645(1)
D.6 Preemptive Abort
646(1)
D.7 Tasking Restrictions
647(2)
D.8 Monotonic Time
649(4)
D.9 Delay Accuracy
653(1)
D.10 Synchronous Task Control
654(2)
D.10.1 Synchronous Barriers
655(1)
D.11 Asynchronous Task Control
656(1)
D.12 Other Optimizations and Determinism Rules
657(1)
D.13 The Ravenscar Profile
658(1)
D.14 Execution Time
659(7)
D.14.1 Execution Time Timers
661(2)
D.14.2 Group Execution Time Budgets
663(2)
D.14.3 Execution Time of Interrupt Handlers
665(1)
D.15 Timing Events
666(2)
D.16 Multiprocessor Implementation
668(5)
D.16.1 Multiprocessor Dispatching Domains
669(4)
Annex E (normative) Distributed Systems
673(14)
E.1 Partitions
673(2)
E.2 Categorization of Library Units
675(4)
E.2.1 Shared Passive Library Units
676(1)
E.2.2 Remote Types Library Units
676(2)
E.2.3 Remote Call Interface Library Units
678(1)
E.3 Consistency of a Distributed System
679(1)
E.4 Remote Subprogram Calls
679(5)
E.4.1 Asynchronous Remote Calls
681(1)
E.4.2 Example of Use of a Remote Access-to-Class-Wide Type
682(2)
E.5 Partition Communication Subsystem
684(3)
Annex F (normative) Information Systems
687(16)
F.1 Machine_Radix Attribute Definition Clause
687(1)
F.2 The Package Decimal
688(1)
F.3 Edited Output for Decimal Types
689(14)
F.3.1 Picture String Formation
690(4)
F.3.2 Edited Output Generation
694(4)
F.3.3 The Package Text_IO.Editing
698(3)
F.3.4 The Package Wide_Text_IO.Editing
701(1)
F.3.5 The Package Wide_Wide_Text_IO.Editing
701(2)
Annex G (normative) Numerics
703(38)
G.1 Complex Arithmetic
703(11)
G.1.1 Complex Types
703(5)
G.1.2 Complex Elementary Functions
708(3)
G.1.3 Complex Input-Output
711(3)
G.1.4 The Package Wide_Text_IO.Complex_IO
714(1)
G.1.5 The Package Wide_Wide_Text_IO.Complex_IO
714(1)
G.2 Numeric Performance Requirements
714(9)
G.2.1 Model of Floating Point Arithmetic
715(1)
G.2.2 Model-Oriented Attributes of Floating Point Types
716(1)
G.2.3 Model of Fixed Point Arithmetic
717(2)
G.2.4 Accuracy Requirements for the Elementary Functions
719(2)
G.2.5 Performance Requirements for Random Number Generation
721(1)
G.2.6 Accuracy Requirements for Complex Arithmetic
721(2)
G.3 Vector and Matrix Manipulation
723(18)
G.3.1 Real Vectors and Matrices
723(5)
G.3.2 Complex Vectors and Matrices
728(13)
Annex H (normative) High Integrity Systems
741(8)
H.1 Pragma Normalize_Scalars
741(1)
H.2 Documentation of Implementation Decisions
742(1)
H.3 Reviewable Object Code
742(2)
H.3.1 Pragma Reviewable
742(1)
H.3.2 Pragma Inspection_Point
743(1)
H.4 High Integrity Restrictions
744(2)
H.5 Pragma Detect_Blocking
746(1)
H.6 Pragma Partition_Elaboration_Policy
747(2)
Annex J (normative) Obsolescent Features
749(14)
J.1 Renamings of Library Units
749(1)
J.2 Allowed Replacements of Characters
749(1)
J.3 Reduced Accuracy Subtypes
750(1)
J.4 The Constrained Attribute
751(1)
J.5 ASCII
751(1)
J.6 Numeric_Error
752(1)
J.7 At Clauses
752(2)
J.7.1 Interrupt Entries
752(2)
J.8 Mod Clauses
754(1)
J.9 The Storage_Size Attribute
754(1)
J.10 Specific Suppression of Checks
754(1)
J.11 The Class Attribute of Untagged Incomplete Types
755(1)
J.12 Pragma Interface
755(1)
J.13 Dependence Restriction Identifiers
755(1)
J.14 Character and Wide_Character Conversion Functions
756(1)
J.15 Aspect-related Pragmas
756(7)
J.15.1 Pragma Inline
756(1)
J.15.2 Pragma No_Return
757(1)
J.15.3 Pragma Pack
757(1)
J.15.4 Pragma Storage_Size
757(1)
J.15.5 Interfacing Pragmas
758(1)
J.15.6 Pragma Unchecked_Union
759(1)
J.15.7 Pragmas Interrupt_Handler and Attach_Handler
759(1)
J.15.8 Shared Variable Pragmas
760(1)
J.15.9 Pragma CPU
760(1)
J.15.10 Pragma Dispatching_Domain
761(1)
J.15.11 Pragmas Priority and Interrupt_Priority
761(1)
J.15.12 Pragma Relative_Deadline
762(1)
J.15.13 Pragma Asynchronous
762(1)
Annex K (informative) Language-Defined Aspects and Attributes
763(20)
K.1 Language-Defined Aspects
763(3)
K.2 Language-Defined Attributes
766(17)
Annex L (informative) Language-Defined Pragmas
783(4)
Annex M (informative) Summary of Documentation Requirements
787(18)
M.1 Specific Documentation Requirements
787(2)
M.2 Implementation-Defined Characteristics
789(7)
M.3 Implementation Advice
796(9)
Annex N (informative) Glossary
805(6)
Annex P (informative) Syntax Summary
811(34)
Annex Q (informative) Language-Defined Entities
845(24)
Q.1 Language-Defined Packages
845(3)
Q.2 Language-Defined Types and Subtypes
848(4)
Q.3 Language-Defined Subprograms
852(11)
Q.4 Language-Defined Exceptions
863(1)
Q.5 Language-Defined Objects
864(5)
Index 869