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

Succ, Pred

Los atributos Succ y Pred proporcionan el predecesor y sucesor de un determinado valor. Si intentamos obtener el sucesor del último valor o el predecesor del primer valor, Ada eleva la excepción Constraint_Error.

Como hemos visto los tipos enumerados resultan especialmente útiles para crear tablas. Para hacerlo hacemos que cada valor de la tabla sea un elemento del tipo enumerado. Por ejemplo:

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

   T_Colores'Succ (Amarillo) --  El sucesor de Amarillo es
                             --  Naranja. 
   T_Frutas'Pred (Azul)      --  El anterior a Azul es Verde

Si nos acostumbramos a utilizar estos atributos con los tipos enumerados conseguimos que nuestros programas pueda recorrer fácilmente todos los elementos de la tabla incluso cuando, en el futuro, cambiemos el número de elementos de la tabla. Para saber si hemos llegado al principio o al final de la lista, compararemos el valor del siguiente elemento o el anterior con el valor que proporcionen los atributos First y Last.



Javier Miranda 2002-10-03