Ada Programming/Aspects

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

Ada Lovelace 1838.jpg

Description[edit]

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]

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)
Pragma 
This aspect is also available as a pragma.
Attribute 
This aspect is also available as a attribute definition clause.

A – D[edit]

E – O[edit]

P – Z[edit]

List of implementation defined aspects[edit]

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:

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

See also[edit]

Wikibook[edit]

Ada Reference Manual[edit]

Ada 2005[edit]

References[edit]