next up previous contents
Siguiente: Tipos derivados Subir: Tipos Anterior: Tipo enumerado   Índice General


Subtipos

Además de los tipos básicos (Integer, Natural, Positive, Float, Character, String), Ada nos permite crear subtipos que limiten el rango de valores de nuestras variables. Por ejemplo:

      subtype T_Dia is Positive range 1 .. 31; 
      Dia : T_Dia;
 
      type T_Colores is (Rojo, Amarillo, Verde, Naranja, Azul);
      Color: T_Colores;

      subtype T_Color_Semaforo is Rojo .. Verde;
      Semaforo: T_Color_Semaforo;
 
      subtype T_Probabilidad is Float range 0.0 .. 1.0; 
      Probabilidad : T_Probabilidad;

Cada vez que guardemos un valor en una variable, Ada comprueba que el valor está en el rango permitido para su tipo. Si no lo está, eleva la excepción Constraint_Error. Las exepciones son los errores que genera Ada cuando al ejecutar el programa detecta algún fallo en el programa. En el capítulo 8 veremos cómo podemos capturar las excepciones desde nuestros programas Ada.



Javier Miranda 2002-10-03