Ada Programming/Ada 2012


This is an overview of the major features that are available in Ada 2012, the most recent version of the Ada standard.

Ada. Time-tested, safe and secure.
Ada. Time-tested, safe and secure.

Summary of what's new edit

New syntax edit

Added 4 forms of expressions:

  • conditional expressions
  • case expressions
  • quantified expressions
  • expression functions

These additional expressions originated with new support for contract based programming.

New keywords edit

Added 1 keyword (73 total)

  • some

New pragmas edit

Added 5 pragmas:

Note that all these pragmas except Default_Storage_Pool born obsolescent, and it is recommended to use them as aspects instead.

New aspects edit

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:

New attributes edit

Added 5 attributes:

New packages edit

See also edit

Wikibook edit

Pages in the category Ada 2012 edit

External links edit

Papers and presentations edit

Rationale edit

Ada Reference Manual edit

Ada Issues edit

Implementations edit

Press releases edit