Rationale for Ada 2012

John Barnes
Contents   Index   References   Search 

Table of Contents

Foreword
Preface
1. Introduction
1.1 Revision process
1.2 Scope of revision
1.3 Overview of changes
1.3.1 Overview: Contracts
1.3.2 Overview: Expressions
1.3.3 Overview: Structure and visibility
1.3.4 Overview: Tasking and real-time facilities
1.3.5 Overview: General improvements
1.3.6 Overview: Standard library
1.4 Overview: Conclusions
2. Contracts and aspects
2.1 Overview of changes: Contracts
2.2 Aspect specifications
2.3 Preconditions and postconditions
2.4 Type invariants
2.5 Subtype predicates
2.6 Default initial values
2.7 Storage occupancy checks
3. Expressions
3.1 Overview of changes: Expressions
3.2 If expressions
3.3 Case expressions
3.4 Quantified expressions
3.5 Expression functions
3.6 Membership tests
3.7 Qualified expressions
4. Structure and visibility
4.1 Overview of changes: Structure and visibility
4.2 Subprogram parameters
4.3 Incomplete types
4.4 Discriminants
4.5 Use clauses
4.6 Extended return statements
5. Tasking and Real-Time
5.1 Overview of changes: Tasking and Real-Time
5.2 Scheduling
5.3 Multiprocessors
5.4 Interrupt timers and budgets
5.5 Volatile
5.6 Synchronized interfaces and requeue
6. Iterators, Pools, etc.
6.1 Overview of changes: General improvements
6.2 Position of pragmas and labels
6.3 Iteration
6.4 Access types and storage pools
6.5 Restrictions
6.6 General miscellanea
7. Predefined library
7.1 Overview of changes: Predefined library
7.2 Strings and characters
7.3 Directories
7.4 Locale
7.5 Hashing and comparison
7.6 Miscellanea
8. Containers
8.1 Overview of changes: Containers
8.2 Bounded and unbounded containers
8.3 Iterating and updating containers
8.4 Multiway tree containers
8.5 The holder container
8.6 Queue containers
8.7 Sorting
8.8 Streaming
9. Epilogue
9.1 Compatibility
9.1.1 Incompatibilities with Ada 2005
9.1.2 Inconsistencies with Ada 2005
9.2 Retrospective changes to Ada 2005
9.2.1 Incompatibilities with original Ada 2005
9.2.2 Inconsistencies with original Ada 2005
9.3 Unfinished topics from Ada 2005
9.3.1 Aggregates for private types
9.3.2 Partial generic instantiation
9.3.3 Support for IEEE 559: 1989
9.3.4 Defaults for generic parameters
9.3.5 Pre/post-conditions for subprograms
9.3.6 Type and package invariants
9.3.7 Exceptions as types
9.3.8 Sockets operations
9.3.9 In out parameters for functions
9.3.10 Application defined scheduling
9.4 Unfinished topics for Ada 2012
9.4.1 Integrated packages
9.4.2 Cyclic fixed point
9.4.3 Global annotations
9.4.4 Shorthand for assignments
9.5 Postscript
References
Index

Contents   Index   References   Search 
© 2011, 2012, 2013 John Barnes Informatics.
Sponsored in part by:
The Ada Resource Association:

    ARA
  AdaCore:


    AdaCore
and   Ada-Europe:

Ada-Europe