ED - TAD Lista - Doblemente enlazada v. 2

UNIT uListaDoblementeEnlazada;
INTERFACE
    USES uElementoInteger;
        {PARAMETROS GENERICOS: Funciones Asignar(), SonIguales(), Imprimir() propias de cada tipo de elemento}
    TYPE
        TLista = ^TNodo;
        TNodo = RECORD
            info : TElemento;
            sig, ant : TLista;
        END;

    {Constructoras generadoras}
        PROCEDURE CrearVacia(VAR l : TLista);
        PROCEDURE Construir(VAR l : TLista; e : TElemento);
    {Constructoras no generadoras}
        PROCEDURE Concatenar(VAR l : TLista; r : TLista);
        PROCEDURE BorrarElemento(VAR l : TLista; e : TElemento);
        PROCEDURE InsertarFinal(VAR l : TLista; e : TElemento);
    {Observadoras selectoras}
        PROCEDURE Primero(l : TLista; VAR e : TElemento);
        PROCEDURE Resto(l : TLista; VAR r : TLista);
    {Observadoras no selectoras}
        FUNCTION EsVacia(l : TLista):boolean;
        FUNCTION Longitud(l : TLista):integer;
        PROCEDURE Ultimo(l : TLista; VAR e : TElemento);
        FUNCTION Pertenece(l : TLista; e : TElemento):boolean;
    {Interacción con el usuario}
        PROCEDURE ImprimirListaCompleta(l : TLista);

IMPLEMENTATION
{Constructoras generadoras}
    PROCEDURE CrearVacia(VAR l : TLista);
        BEGIN
            l := NIL;
        END;
    PROCEDURE Construir(VAR l : TLista; e : TElemento);
        VAR
            aux : TLista;
        BEGIN
            new(aux);
            Asignar(aux^.info, e);
            aux^.ant := NIL;
            aux^.sig := l;
            IF (NOT EsVacia(l)) THEN
                aux^.sig^.ant := aux;
            l := aux;
        END;

{Constructoras no generadoras}
    PROCEDURE Concatenar(VAR l : TLista; r : TLista);
        VAR
            aux : TLista;
        BEGIN
            IF(NOT EsVacia(r)) THEN BEGIN
                IF (EsVacia(l)) THEN
                    l := r
                ELSE BEGIN
                    aux := l;
                    WHILE (aux^.sig <> NIL) DO
                        aux := aux^.sig;
                    aux^.sig := r;
                    aux^.sig^.ant := aux;
                END;
            END;
        END;
    PROCEDURE BorrarElemento(VAR l : TLista; e : TElemento);
        VAR
            aux : TLista;
        BEGIN
            IF (NOT EsVacia(l)) THEN
                aux := l;
                WHILE (aux <> NIL) DO BEGIN
                    IF (SonIguales(aux^.info, e)) THEN BEGIN
                        IF (aux^.sig <> NIL) THEN
                            aux^.sig^.ant := aux^.ant;
                        IF (aux^.ant <> NIL) THEN
                            aux^.ant^.sig := aux^.sig
                        ELSE
                            l := aux^.sig;
                        dispose(aux);
                    END ELSE
                        aux := aux^.sig;
                END;
        END;
    PROCEDURE InsertarFinal(VAR l : TLista; e : TElemento);
        VAR
            aux, aux2 : TLista;
        BEGIN
            aux := l;
            IF (NOT EsVacia(l)) THEN BEGIN
                WHILE (aux^.sig <> NIL) DO BEGIN
                    aux := aux^.sig;
                END;
                new(aux2);
                Asignar(aux2^.info, e);
                aux^.sig := aux2;
                aux2^.ant := aux;
                aux2^.sig := NIL;
            END ELSE
                Construir(l, e);
        END;

{Observadoras selectoras}
    PROCEDURE Primero(l : TLista; VAR e : TElemento);
        BEGIN
            IF (NOT EsVacia(l)) THEN
                Asignar(e, l^.info);
        END;
    PROCEDURE Resto(l : TLista; VAR r : TLista);
        BEGIN
            IF (NOT EsVacia(l)) THEN
                r := l^.sig;
        END;

{Observadoras no selectoras}
    FUNCTION EsVacia(l : TLista):boolean;
        BEGIN
            EsVacia := (l = NIL);
        END;
    FUNCTION Longitud(l : TLista):integer;
        VAR
            n : integer;
        BEGIN
            n := 0;
            WHILE (l <> NIL) DO BEGIN
                n := n + 1;
                l := l^.sig;
            END;
            Longitud := n;
        END;
    PROCEDURE Ultimo(l : TLista; VAR e : TElemento);
        BEGIN
            IF (NOT EsVacia(l)) THEN BEGIN
                WHILE (l^.sig <> NIL) DO BEGIN
                    l := l^.sig;
                END;
                Asignar(e, l^.info);
            END;
        END;
    FUNCTION Pertenece(l : TLista; e : TElemento):boolean;
        VAR
            encontrado : boolean;
        BEGIN
            encontrado := FALSE;
            WHILE ((l <> NIL) AND (NOT encontrado)) DO BEGIN
                IF (SonIguales(l^.info, e)) THEN
                    encontrado := TRUE
                ELSE
                    l := l^.sig;
            END;
            Pertenece := encontrado;
        END;

{Interacción con el usuario}
    PROCEDURE ImprimirListaCompleta(l : TLista);
        BEGIN
            write('[');
            WHILE (l <> NIL) DO BEGIN
                Imprimir(l^.info);
                write(', ');
                l := l^.sig;
            END;
            writeln(']');
        END;
END.