Algoritmos y Programación en Pascal

19.2. Un ejemplo completo 435
para llevar a cabo efectivamente la abstracción de datos. A tal fin, Turbo Pascal
dispone de las unidades (véase el apartado B.11).
De acuerdo con esto, se da a continuación una posible implementación 4 del
tipo abstracto de datos tConj, a base de listas de enteros, ordenadas ascendentemente,
enlazadas con punteros: 5
unit conjEnt;
{Implementación mediante listas enlazadas, con cabecera,
ordenadas ascendentemente y sin repeticiones}
interface
type
tElem = integer;
{Requisitos: definidas las relaciones ‘=’ (equiv.) y
‘>’ (orden total)}
tConj = ^tNodoLista;
tNodoLista = record
info: tElem;
sig: tConj
end; {tNodoLista}
procedure CrearConj(var conj: tConj);
{Efecto: conj:= ∅}
procedure DestruirConj(var conj: tConj);
{Cuidado: se perderá toda su información}
{Efecto: conj:= ? (ni siquiera queda
vacío: comportamiento impredecible)}
procedure AnnadirElemConj (elem: tElem; var conj: tConj);
{Efecto: conj:= conj ∪ [elem]}
procedure QuitarElemConj (elem: tElem; var conj: tConj);
{Efecto: conj:= conj \ [elem]}
function Pertenece (elem: tElem; conj: tConj): boolean;
{Dev. True (si elem ∈ conj) o False (en otro caso)}
4 Se ha optado por no detallar todas las etapas del diseño descendente de las operaciones de los
tipos abstractos, por ser éstas sencillas y para no extender demasiado el texto.
Por otra parte, es conveniente que los identificadores de unidades coincidan con el nombre del
archivo donde se almacenan una vez compiladas (de ahí la elección de identificadores de, a lo
sumo, ocho caracteres).
5 Obsérvese que se ha incluido una operación destructora, necesaria en la práctica, debido a
que el manejo de listas enlazadas ocasiona un gasto de memoria y ésta debe liberarse cuando un
conjunto deje de ser necesario.