Atributos

Explicación

Un atributo es una propiedad de una entidad que puede ser consultada usando una attribute_reference o un range_attribute_reference.

Sintaxis

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)]

Ejemplo

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;

Véase