Ada Programming/Aspects


Ada. Time-tested, safe and secure.

When entities like variables or subprograms are declared, certain properties thereof normally are left to the compiler to specify (like the size or the address of a variable, the calling convention of a subprogram). Properties which may be queried are called Attributes; those which may be specified are called Aspects. Aspects and attributes are defined in the Ada Reference Manual annex Annex K: Language-Defined Aspects and Attributes (Annotated), pragmas in annex Annex L: Language-Defined Pragmas (Annotated).

DescriptionEdit

This language feature has been introduced in Ada 2012.

Aspects are certain properties of an entity that may be specified, depending on the kind of entity, by an aspect specification as part of its declaration or by a separate attribute definition clause or pragma declaration.

Aspect_Specification ::=
  with Aspect_Name [ => Aspect_Definition] {,
       Aspect_Name [ => Aspect_Definition] } ;
Attribute_Definition_Clause ::= 
     for entity_name'attribute_designator use expression;
   | for entity_name'attribute_designator use name;
pragma Name (Parameter_List);

If an aspect is not specified, it depends on the aspect itself whether its value is left to the compiler or prescribed in the Ada RM.

The specification of a Boolean valued aspect may omit the aspect definition, which then has the value True.

Examples of such properties are the size of a type, i.e. the number of bits a stand-alone object of that type will use; or that a subprogram will not return from its call: aspect No_Return. This latter one is an example of an aspect that has a Boolean value.

List of language defined aspectsEdit

Some aspects are specially marked:

Ada 2012
This is an Ada 2012 language functionality not available in previous Ada generations. Aspects not so marked were previously defined via pragmas or attribute definition clauses.
Pragma
This aspect is specified via a pragma.
Attribute
This aspect is specified via an attribute definition clause.

A – DEdit

E – OEdit

P – ZEdit

List of implementation defined aspectsEdit

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 alsoEdit

WikibookEdit

Ada Reference ManualEdit

Ada 2012Edit

ReferencesEdit