Paquetes en Ada y paquetes genéricos

Apuntes

3/21/2023 1 P A C K A G E S E N A D A ALGORÍTMICA Y PROGRAMACIÓN II EJEMPLOS DE PACKAGES PREDEFINIDOS • Ada.Text_IO -- entrada-salida de texto • Ada.Integer.Text_IO -- entrada-salida de integer • Ada.Float.Text_IO -- entrada-salida de float • Ada.Strings.Fixed -- manejar strings de longitud fija • Ada.Numerics.Float_Random -- generar valores aleatorios de tipo float 3/21/2023 2 PACKAGE • Encapsula una colección de recursos: declaraciones de tipo, funciones, procedimientos, variables, constantes. • Generalmente consiste de dos unidades de compilación almacenadas en diferentes archivos. PACKAGE • La especificación o interfaz provee la lista de recursos que serán visibles a los clientes. • El cuerpo (body) o implementación contiene el cuerpo de los procedimientos y funciones así como aquellos recursos internos usados por el package pero no exportados a los clientes. 3/21/2023 3 PACKAGE Especificación Cuerpo parte visible parte oculta PACKAGE Especificación Cuerpo parte visible parte oculta Private puede tener parte oculta 3/21/2023 4 PACKAGE Programa del usuario Especificación Cuerpo Private PACKAGE Especificación package vecInt is type TipoVector is array (Integer range <>) of intege...