Algoritmos y Programación en Pascal

19.2. Un ejemplo completo 433
Program CribaEratostenes (input, output);
{PreC.: input = [un entero, >=2]}
type
tConj = Abstracto;
var
cota, e, coef: integer;
conjunto : tConj;
begin
Write(’Cota: ’); ReadLn(cota);
CrearConj(conjunto);
for e:= 2 to cota do
AnnadirElemConj(e, conjunto);
for e:= 2 to Trunc(SqRt(cota)) do
if Pertenece (e, conjunto) then begin
coef:= 2;
repeat
QuitarElemConj(e * coef, conjunto);
coef:= coef + 1
until e * coef > cota
end; {if}
EscribirConj(conjunto)
end. {CribaEratostenes}
En el ejemplo se puede observar la esencia de la abstracción de datos: el
programador-usuario del tipo abstracto de datos se puede olvidar completamente
de cómo está implementado o de la representación del tipo, y únicamente estará
interesado en qué se puede hacer con el tipo de datos tConj que utiliza de una
forma completamente abstracta.
Además, el lector puede observar cómo se llega a una nueva distribución
(mucho más clara) del código del programa: las operaciones sobre el tipo tConj
dejan de formar parte del programa y pasan a incorporarse al código propio del
tipo abstracto.
Las operaciones del tipo tConj escogidas son típicas de muchos tipos abstractos
de datos, y se suelen agrupar en las siguientes categorías:
Operaciones de creación: Son aquéllas que permiten obtener nuevos objetos
del tipo, como sucede en CrearConj. Estas últimas son conocidas también
como operaciones constructoras primitivas. Entre éstas suele incluirse una
operación de lectura de elementos del tipo abstracto de datos.
Operaciones de consulta: Realizan funciones que, tomando como argumento
un objeto del tipo abstracto, devuelven un valor de otro tipo, como hacen
Pertenece o EstaVacioConj, por poner un caso. Usualmente implementan
tareas que se ejecutan con relativa frecuencia. Entre éstas se suele incluir