Ada Programming/Aspects

< Ada Programming
Computing » Computer Science » Computer Programming » Ada Programming

Description

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

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

E – O

P – Z

List of implementation defined aspects

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

Wikibook

Ada Reference Manual

Ada 2012

References

    This article is issued from Wikibooks. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.