-- AUTOR: Elvira Mayordomo Cámara
-- PROYECTO: módulo de declaración del
-- TAD tablas hash por recolocación
-- cuadrática
-- FICHERO: tablasrecolocacion.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 tablasrecolocacion is
    type tabla is private;
    -- coste en memoria: una tabla de n datos
    -- ocupa O(max)
    
    -- el funcionamiento correcto y 
    -- los costes en tiempo de las operaciones sólo están
    -- garantizados si 2n<=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 dato is 
        record
            laclave:tpClave;
            elvalor:tpValor;
            vacio:boolean;
            borrado:boolean;
        end record;
    type tabla is array(integer range 0..max-1) of dato;    
end tablasrecolocacion;