next up previous contents
Siguiente: Cuerpo Subir: Paquetes Anterior: Paquetes   Índice General

Especificación

La especificación más simple de un paquete se indica mediante la siguiente frase.

          package  .....  is
             . . .

          end .....;

Después de la palabra package se pone el nombre del paquete. Este nombre debe repetirse al final (justo después de la palabra end). Entre las palabras is y end se ponen todas las declaraciones de constantes, tipos y subprogramas del paquete que deben ver todos los que utilicen este paquete. Estas declaraciones son la interfaz del paquete. Por ejemplo:

        package Calculo is 
           Valor_Maximo : constant Positive := 12345;

           procedure Duplicar(Numero   : in Integer; 
                              Respuesta : out Integer); 
           function Doble (Numero : in Integer) return Integer; 
        end Calculo;

En esta especificación hemos puesto la declaración de una constante, un procedimiento y una función. El código de estos subprogramas se pone en el cuerpo del paquete.

En GNAT los ficheros que contienen la especificación de los paquetes deben terminar siempre con la extensión .ads. Por ejemplo, la especificación de este paquete debe ponerse en un fichero con el nombre calculo.ads.



Javier Miranda 2002-10-03