Un atributo es una propiedad de una entidad que puede ser consultada usando una attribute_reference o un range_attribute_reference.
attribute_reference ::= prefix'attribute_designator
attribute_designator ::=
identifier[(static_expression)]
| Access | Delta | Digits
range_attribute_reference ::= prefix'range_attribute_designator
range_attribute_designator ::= Range[(static_expression)]
Ejemplos de attribute_reference:
Integer'First -- valor mínimo del tipo Integer Natural'Base'First -- lo mismo que Integer'First Float'Digits -- precisión del tipo Float
Ejemplos de range_attribute_reference:
Integer'Range -- equivalente a Integer'First .. Integer'Last
Mat'Range(1) -- rango 1 .. 5, supuesto que:
-- Mat : array (1 .. 5, 1 .. 10) of Integer;