next up previous contents
Siguiente: Resumen Subir: Atributos Anterior: Pos, Val   Índice General

Image, Value

Igual que Pos y Val convierten desde y hacia enteros, los atributos Image y Value convierten desde y hacia String. Por ejemplo:

      type T_Colores is (Rojo, Amarillo, Naranja, Verde, Azul);

      --  T_Colores'Value ("Rojo") es el elemento Rojo
      --  T_ColoresÍmage (Rojo)   es la string "Rojo"

      --  Integer'Value ("123") es el entero 123 
      --  IntegerÍmage (123)   es la string "123"

En caso de que no pueda realizarse la conversión, Ada eleva la excepción Constraint_Error.

El uso más frecuente de estos atributos es simplificar la escritura de números en pantalla. Por ejemplo, para escribir números sin necesidad de crear ejemplares del paquete genérico Text_IO.Integer_IO podemos utilizar el atributo Image.

      with Text_IO;
      procedure Ejemplo_Images is
         Contador : Natural := 12;
         Total    : Float := 312.4;
      begin
         Text_IO.Put (IntegerÍmage (Contador));
         Text_IO.Put (FLoatÍmage (Total));
      end Ejemplo_Images;


Tabla 2.1: Resumen de atributos
First Primer elemento.
Last Último elemento.
Pred Anterior.
Succ Siguiente.
Val Valor.
Pos Posición.
Image Conversión a string.
Value Conversión a tipo discreto.




Javier Miranda 2002-10-03