-- AUTOR: Elvira Mayordomo Cámara
-- PROYECTO: módulo de declaración del
-- TAD tablas hash encadenadas
-- FICHERO: tablasencadena.ads
-- FECHA: 14-12-02
-- Especificación tablasGenéricas en fichero aparte

generic
    type tpClave is private;
    type tpValor is private;
    max: positive; -- usad tpValores de max que sean primos
    with function h(c:tpClave;tam:positive) return integer;
    -- h(c,max) devuelve un número entre 0 y max-1

package tablasencadena is
    type tabla is private;
    -- coste en memoria: una tabla de n datos
    -- ocupa O(max+n)
    
    -- los coste en tiempos de las operaciones sólo están
    -- garantizados si n<=max
    
    procedure tablavacia(t:out tabla);
    -- Post: t=crearVacía
    -- coste en tiempo O(max)
    function esta(t:tabla; c:tpClave) return boolean;
    -- Post: esta(t,c)=está(t,c)
    -- coste en tiempo O(1) en media
    procedure modificar(t:in out tabla; c:in tpClave; v: in tpValor);
    -- Pre: t=t0
    -- Post: t=añadir(t0,c,v)
    -- coste en tiempo O(1) en media
    function consultar(t:tabla; c:tpClave) return tpValor;
    -- Pre: está(t,c)
    -- Post: consulta(t,c)=elValor(t,c)
    -- coste en tiempo O(1) en media
    procedure borrar(t:in out tabla; c:in tpClave);
    -- Pre: t=t0
    -- Post: t=borrar(t0,c,v)
    -- coste en tiempo O(1) en media
 
private
    type nodo;
    type ptNodo is access nodo;
    type nodo is 
        record
            laClave:tpClave;
            elValor:tpValor;
            sig:ptNodo;
        end record;               
    type tabla is array (integer range 0..max-1) of ptNodo;
end tablasencadena;