Ejercicio ADA: Ocultación de Información en ADA

Programación Distribuida y en Tiempo Real
Ejercicio3: Ocultación de información en ADA
EJERCICIO 1.
ESTRUCTURAS BÁSICAS DE DATOS
Escribir un programa en ADA con las siguientes características:
1. Genere una cola con 10 datos usando el paquete Cola.
2.Extraiga y muestre por pantalla los datos introducidos en la cola
anterior.
3.OPCIONAL. Adaptar el programa para poder trabajar con una Pila en
vez de una Cola.
Código Ejercicio3ADA:
-- Indicamos las Librerias a utilizar, entre ellas la de la cola
del ejercicio, cola_ejercicio3:
with
ada.text_io,
ada.integer_text_io,
cola_ejercicio3;
use
ada.text_io,
ada.integer_text_io;
procedure Ejercicio3ADA is
-- Defino el tipo de datos que se quiere guardar en cada
Nodo de la Cola, en este caso un registro:
type datos is record
num:integer;
end record;
-- Empleo el paquete cola_ejercicio3, indico que son 10
nodos:
package colaEj3 is new cola_ejercicio3( 10, datos );
use colaEj3;
c:cola;
temp:datos;
eleccion:integer;
Francisco Manuel García Vallejo Página 1 de 7

begin
-- Inicializo la cola
inicializar(c);
put_line("Inicialización de Cola");
-- Compruebo que la cola este o no llena, la voy
llenando con los números que introduce por teclado, para llenarla
utilizo un while que finalizará cuando este llena
if esLlena(c) then
put_line("La Cola esta llena.");
else
while not esllena(c) loop
put("Número a insertar: ");
get(temp.num);
insertar( c, temp );
end loop;
end if;
-- Extraigo los elementos de la cola, primero compruebo
que no este vacia, utilizo el mismo bucle while que para
llenarla, con la misma condicion
if esVacia(c) then
put_line("La cola esta vacía.");
else
while not esVacia(c) loop
extraer( c, temp );
put("Numero extraído: ");
put(temp.num, width=>0);
new_line;
end loop;
put_line("Ya he extraido todos los números.");
end if;
end Ejercicio3ADA;

Implementación de la Cola: cola_ejercicio3.ads:
-- ESPECIFICACIÓN DE LA COLA
-- PRECONDICIÓN:
-- Se ha de recibir de la instanciacion de la librería, un
parámetro de tipo natural y el tipo de datos a almacenar en cada
Nodo de la Cola.
-- Se ha de controlar que la pila no este vacía/llena con las
funciones esVacia/esLlena antes de usar insertar/leer/extraer.
generic
-- Parámetros recibidos de la instanciacion de la librería:
(private - limited private)
max:natural;
type datos is private;
package cola_ejercicio3 is
-- Defino las cabeceras (como private - limited private) de
los tipos de datos que emplearan las funciones, se terminan de
definir en la zona private:
type cola is limited private;
-- Defino las cabeceras de las funciones contenidas en el
fichero de implementación:
procedure inicializar( c:in out cola );
function esVacia( c:in cola ) return
boolean;
function esLlena( c:in cola ) return
boolean;
procedure insertar( c:in out cola; d:in datos );
function leer( c:in cola ) return
datos;
procedure extraer( c:in out cola; d:out datos );
-- En la zona privada, detallo como son las variables
declaradas previamente como privadas:
private

type vector is array(1..max) of datos;
type cola is record
elemento:vector;
numNodos:integer;
primero:integer;
ultimo:integer;
end record;
end cola_ejercicio3;

Cuerpo de la Cola: cola_ejercicio3.adb:
-- IMPLEMENTACIÓN DE LA COLA
-- Funciones del paquete:
package body cola_ejercicio3 is
-- INICIALIZA UNA COLA:
-- Precondición: Se ha de recibir un parámetro de tipo Cola
(registro con elemento:vector; numNodos,primero,ultimo:integer)
-- Postcondición: Se inicializa a 0 el contador de Nodos de
la Cola.
procedure inicializar( c:in out cola ) is
begin
c.numNodos := 0;
end inicializar;
-- INDICA SI LA COLA ESTA VACÍA:
-- Precondición: Se ha de recibir un parámetro de tipo Cola.
-- Postcondición: Se devuelve un true si la cola esta vacía
o un false en caso contrario.
function esVacia( c:in cola ) return boolean is
begin
if c.numNodos > 0 then
return false;
else
return true;
end if;
end esVacia;
-- INDICA SI LA COLA ESTA LLENA:
-- Postcondición: Se devuelve un true si la cola esta llena
o un false en caso contrario.
function esLlena( c:in cola ) return boolean is
begin
if c.numNodos < max then
return false;
else
return true;
end if;
end esLlena;
-- INSERTA UN NUEVO NODO AL FINAL DE LA COLA:
y el tipo de dato a guardar en los Nodos de la Cola. Se ha de
comprobar que haya espacio con la función esLlena().
-- Postcondición: Se insertan los datos en el último Nodo de

la Cola.
procedure insertar( c:in out cola; d:in datos ) is
begin
if c.numNodos = 0 then
c.numNodos := 1;
c.primero := 1;
c.ultimo := 1;
c.elemento(c.primero) := d;
else
c.numNodos := c.numNodos + 1;
if c.ultimo = 1 then
c.ultimo := max;
else
c.ultimo := c.ultimo - 1;
end if;
c.elemento(c.ultimo) := d;
end if;
end insertar;
-- LEE LOS DATOS DEL PRIMER NODO:
Se ha de comprobar que no este vacía con la funcion esVacia()
-- Poscondición: Se devuelven los datos del primer Nodo de
la Cola.
function leer( c:in cola ) return datos is
begin
return c.elemento(c.primero);
end leer;
-- EXTRAE LOS DATOS DEL PRIMER NODO:
y el tipo de dato a guardar en los Nodos de la Cola. Se ha de
comprobar que no este vacía con la función esVacia()
-- Postcondición: Devuelve por referencia los datos del
primer Nodo y a continuacion lo elimina.
procedure extraer( c:in out cola; d:out datos ) is
begin
d := c.elemento(c.primero);
if c.numNodos > 1 then
if c.primero = 1 then
c.primero := max;

else
c.primero := c.primero - 1;
end if;
end if;
c.numNodos := c.numNodos - 1;
end extraer;
end cola_ejercicio3;

Ejercicio ADA: Ocultación de Información en ADA

Más contenido relacionado

Similar a Ejercicio ADA: Ocultación de Información en ADA (20)

Último (20)

Ejercicio ADA: Ocultación de Información en ADA