Ada Programming/Aspects

From Wikibooks, open books for an open world
Jump to navigation Jump to search

Ada. Time-tested, safe and secure.

Description[edit | edit source]

This language feature is only available in Ada 2012.

Aspect specifications have the form

with Name [ => Aspect_Definition] {,
     Name [ => Aspect_Definition] } ;

where the aspect definition is optional in some cases when the value is 'True', like No_Return.

List of language defined aspects[edit | edit source]

Some aspects are specially marked:

Ada 2012
This is a new Ada 2012 aspect (new functionality not available in previous Ada versions as pragmas or attribute definition clauses)
This aspect is also available as a pragma.
This aspect is also available as a attribute definition clause.

A – D[edit | edit source]

E – O[edit | edit source]

P – Z[edit | edit source]

List of implementation defined aspects[edit | edit source]

The following pragmas are not available in all Ada compilers, only in those that had implemented them.

Currently, there are only listed the implementation-defined pragmas of a few compilers. You can help Wikibooks adding specific aspects of other compilers:

Implementation defined aspect of the GNAT compiler from AdaCore and FSF.

See also[edit | edit source]

Wikibook[edit | edit source]

Ada Reference Manual[edit | edit source]

Ada 2012[edit | edit source]

References[edit | edit source]