Expresión cualificada

Explicación

Una expresión cualificada se usa para establecer el tipo de un operando que puede ser o una expresión o un agregado.

Sintaxis

qualified_expression ::= 
   subtype_mark'(expression) | subtype_mark'aggregate

Ejemplo

type Colores is (Rojo, Naranja, Amarillo, Verde, Azul Añil, Violeta);
type Semáforo is (Verde, Amarillo, Rojo);
type Persona is record
   Edad : Natural;
   DNI  : String (1 .. 8);
end record;

--  Expresiones cualificadas
Colores'(Rojo)
Persona'(21, "42555123");