This is an overview of the major features that are available inAda 2012.
Added 4 forms of expressions:
These additionalexpressions originated with new support forcontract based programming.
Added 1 keyword (73 total)
Added 5 pragmas:
pragmaCPUpragmaDefault_Storage_PoolpragmaDispatching_DomainpragmaIndependentpragmaIndependent_ComponentsNote that all these pragmas exceptDefault_Storage_Pool born obsolescent, and it is recommended to use them asaspects instead.
Aspect specifications is a new feature of Ada 2012. While some aspect identifiers are completely new, others were present in previous versions of the language as aspect-related pragmas or attribute-definition clauses. Note that for these pragmas, in some cases the old pragma identifiers are marked as obsolescent, while in other cases the usage of the pragma is still the recommended approach.
Added 18 aspects:
Aspect specifications already present in previous versions of the language as pragmas:
Aspect specifications already present in previous versions of the language as attribute definition clauses:
Added 5 attributes: