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 newEdit

New syntaxEdit

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 keywordsEdit

Added 1 keyword (73 total)

  • some

New pragmasEdit

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 aspectsEdit

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 attributesEdit

Added 5 attributes:

New packagesEdit

See alsoEdit

WikibookEdit

Pages in the category Ada 2012Edit

External linksEdit

Papers and presentationsEdit

RationaleEdit

Ada Reference ManualEdit

Ada IssuesEdit

ImplementationsEdit

Press releasesEdit