Punteros Ada

Punteros en Ada

type celda;

type enlace is access celda;

type celda is

            record

                        valor:intenger;

                        siguiente:enlace;

            end record;

e:enlace;

e:=new celda;

e.valor:=13;

e:=new celda'(13, null);

e:=new celda'(7,e); (dibujo)

e,f:enlace;

f:=new celda'(13, null);

e:=f;

f:=new celda'(13, null);

e:=new celda;

e.all:=f.all;

Liberación de memoria de datos inaccesibles: suele proporcionarla la implementación.

También puede hacerlo el programador:

witch unchecked_dealloacation;

produce disponer is new

            uncheked_dealocation(celda, enlace);

e:enlace;

...

disponible(e);

Modulo de declaración

conjuntos.ads > expecificación

package conjuntos is

            type conjcar is private;      //limitado

            procedure vacio (A:out conjcar);

            function esVacio (A: in conjcar)

                        return boolean;

            procedure poner (c:in character;

                        A:in out conjcar);

            ...

            private

            type elementos is array .....

            package ....

            ¿?¿? // recordar que os sube el pdf. No he sabido tomar los apuntes correctamente de este apartado.

           

Algoritmos genéricos

Tipos como parámetros

generic

            type item is private;

procedure conjear (x,y:in out item);

produce canjear (x, y:in out item) is

            aux:item;

begin

            aux:=x;

            x:=y;

            y:=aux;

end;

permite reutilizar el software

....

Otras especificaciones de tipos genéricos:

type t is private; > tipo

type t is limited private;

Hoy esta yendo muy rápido para pillar apuntes... :(