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;