Ada Programming/Attributes

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

Ada. Time-tested, safe and secure.

Language summary attributes[edit]

The concept of attributes is pretty unique to Ada. Attributes allow you to get —and sometimes set— information about objects or other language entities such as types. A good example is the Size attribute. It describes the size of an object or a type in bits.

A : Natural := Integer'Size; -- A is now 32 (with the GNAT compiler for the x86 architecture)

However, unlike the sizeof operator from C/C++ the Size attribute can also be set:

type Byte is range -128 .. 127;  -- The range fits into 8 bits but the
                               -- compiler is still free to choose.
for  Byte'Size use 8;           -- Now we force the compiler to use 8 bits.

Of course not all attributes can be set. An attribute starts with a tick ' and is followed by its name. The compiler determines by context if the tick is the beginning of an attribute, a character literal or a quantified expression.

A : Character := Character'Val (32) -- A is now a space
B : Character := ' ';               -- B is also a space

List of language defined attributes[edit]

Ada 2005
This is a new Ada 2005 attribute.
Ada 2012
This is a new Ada 2012 attribute.
This is a deprecated attribute and should not be used in new code.

A – B[edit]


D – F[edit]

G – L[edit]


O – R[edit]


T – V[edit]

W – Z[edit]

List of implementation defined attributes[edit]

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

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

Implementation-defined attribute of the GNAT compiler from AdaCore/FSF.
HP Ada
Implementation-defined attribute of the HP Ada compiler (formerly known as "DEC Ada").
Implementation-defined attribute[1] of the Irvine ICC compiler.
Implementation-defined attribute of OC Systems' PowerAda.
Implementation-defined attribute of Sun's SPARCompiler Ada.

A – D[edit]

E – H[edit]

I – N[edit]

O – T[edit]

U – Z[edit]

See also[edit]


Ada Reference Manual[edit]

Ada 83[edit]

Ada 95[edit]

Ada 2005[edit]

Ada 2012[edit]


  1. "4.2 ICC-Defined Attributes", ICC Ada Implementation Reference — ICC Ada Version 8.2.5 for i960MC Targets, document version 2.11.4 [1]