Table of Contents

1. Introduction

2. Parallelism
2.1 Parallel constructs
2.2 Nonblocking and data race checks
2.3 Defining Nonblocking
2.4 Defining access to global data
2.5 Reduction
2.6 Control over the degree of parallelism
2.7 An example of the features working together

3. Contracts
3.1 Nonblocking contracts
3.2 Global data contracts
3.3 Contracts for container operations
3.4 Delta aggregates
3.5 Stable properties
3.6 Declare expressions
3.7 Other support for pre- and postconditions
3.8 Aspects for Generic Formal Parameters
3.9 Defaults for generic formal types
3.10 Default_Initial_Condition for types
3.11 Aspect No_Return for functions

4. Containers and Iterators
4.1 Stable Containers to reduce tampering checks
4.2 Container operation contracts
4.3 Use subtype_indication in generalized iterators
4.4 Loop-body as anonymous procedure
4.5 Container aggregates
4.6 Iterator filters
4.7 Iterators in array aggregates
4.8 Indefinite Holders
4.9 Parallel Container Iterator filters

5. Internationalisation
5.1 Additional internationalisation of Ada

6. Real-Time
6.1 Specifying Nonblocking
6.2 Exact size access to parts of composite atomic objects
6.3 Max_Entry_Queue_Length aspect for entries
6.4 Deadline Floor Protocol
6.5 Atomic Operations
6.6 Admission policy for protected objects
6.7 Nonpreemptive dispatching needs more dispatching points
6.8 CPU Affinity for Protected Objects
6.9 Atomic, Volatile, and Independent generic formal types
6.10 Jorvik Profile
6.11 Fixes for Atomic and Volatile

7. Others
7.1 'Image for all types
7.2 The Fortran Annex needs updating to support Fortran 2008
7.3 Object_Size attribute
7.4 Index parameters in array aggregates
7.5 Static expression functions
7.6 Aggregates and variant parts
7.7 @ as an abbreviation for the LHS of an assignment
7.8 Aggregates of Unchecked_Unions using named notation
7.9 Preelaborable packages with address clauses
7.10 Missing operations of static string types
7.11 Big Numbers
7.12 Objects, Values, Conversions and Renaming
7.13 Getting the representation of an enumeration value
7.14 Attributes for fixed point types

8. Conclusion

© 2021, 2022 Jeff Cousins