Modelos y Paradigmas de Programación

Anuncio
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Modelos y Paradigmas de Programación
Programación Orientada a Objetos (1)
Juan Francisco Dı́az Frias
Maestrı́a en Ingenierı́a, Énfasis en Ingenierı́a de Sistemas y Computación
Universidad del Valle, Cali, Colombia
Escuela de Ingenierı́a de Sistemas y Computación,
home page: http://eisc.univalle.edu.co/
jdiaz@univalle.edu.co
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Plan
1
Recorderis: Abstracción de datos
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
2
Principios de la POO
3
Herencia
4
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Plan
1
Recorderis: Abstracción de datos
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
2
Principios de la POO
3
Herencia
4
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Plan
1
Recorderis: Abstracción de datos
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
2
Principios de la POO
3
Herencia
4
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Plan
1
Recorderis: Abstracción de datos
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
2
Principios de la POO
3
Herencia
4
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
Abstracción de datos
Definición
Una abstracción de datos es una manera de usar datos en forma
abstracta, i.e., podemos usar los datos sin tener en cuenta su
implementación.
Ventajas
Usar la abstracción suele ser mucho más sencillo
Razonar sobre los datos puede ser más sencillo
El sistema puede asegurar que los datos se utilicen de la
manera correcta
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
Abstracción de datos
Definición
Una abstracción de datos es una manera de usar datos en forma
abstracta, i.e., podemos usar los datos sin tener en cuenta su
implementación.
Ventajas
Usar la abstracción suele ser mucho más sencillo
Razonar sobre los datos puede ser más sencillo
El sistema puede asegurar que los datos se utilicen de la
manera correcta
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
Plan
1
Recorderis: Abstracción de datos
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
2
Principios de la POO
3
Herencia
4
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
Tipos Abstractos de datos (1)
Definición TAD
Un conjunto de valores junto con un conjunto de operaciones sobre
esos valores. Puede ser abierto o seguro.
Ejemplo: Pila abierta
fun
fun
fun
fun
{PilaNueva} nil end
{Colocar S E} E|S end
{Sacar S E} case S of X|S1 then E=X S1 end end
{EsVacı́a S} S==nil end
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
Tipos Abstractos de datos (2)
Seguridad
proc {NuevoEmpacador ?Envolver ?Desenvolver}
Llave={NewName} in
fun {Envolver X}
{Chunk.new envolver(Llave:X)}
end
fun {Desenvolver W}
try W.Llave catch _ then raise
error(desenvolver(W)) end end
end
end
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
Tipos Abstractos de datos (3)
Ejemplo: Pila segura
local Envolver Desenvolver in
{NuevoEmpacador Envolver Desenvolver}
fun {PilaNueva} {Envolver nil} end
fun {Colocar S E} {Envolver E|{Desenvolver S}}
end
fun {Sacar S E}
case {Desenvolver S} of X|S1 then E=X
{Envolver S1} end
end
fun {EsVacı́a S} {Desenvolver S}==nil end
end
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
Otras maneras de organizar abstracciones
Según caracterı́sticas . . .
Del modelo declarativo: Abierto o Seguro.
Del modelo con estado: Empaquetado o no, Con estado o no.
Abierto, declarativo,
y desempaquetado
El estilo, abierto y declarativo, normal
tal como se usa en Prolog y Scheme
Seguro, declarativo,
y desempaquetado
El estilo TAD
Seguro, declarativo,
y empaquetado
El estilo APD con objetos
declarativos
Seguro, con estado,
y empaquetado
El estilo APD con objetos con estado,
tal como se usa en Smalltalk y Java
Seguro, con estado,
y desempaquetado
El estilo TAD con ‘‘valores’’ con estado
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
Pila declarativa, empaquetada, y segura
local
fun {ObjetoPila S}
fun {Colocar E} {ObjetoPila E|S} end
fun {Sacar ?E}
case S of X|S1 then E=X {ObjetoPila S1}
end end
fun {EsVacı́a} S==nil end
in pila(colocar:Colocar sacar:Sacar
esVacı́a:EsVacı́a) end
in
fun {PilaNueva} {ObjetoPila nil} end
end
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
Pila con estado, empaquetada, y segura
fun {PilaNueva}
C={NewCell nil}
proc {Colocar E} C:=E|@C end
fun {Sacar} case @C of X|S1 then C:=S1 X end
end
fun {EsVacı́a} @C==nil end
in
pila(colocar:Colocar sacar:Sacar
esVacı́a:EsVacı́a)
end
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
Pila con estado, empaquetada, y segura (con
procedimiento de despacho)
fun {PilaNueva}
C={NewCell nil}
proc {Colocar E} C:=E|@C end
fun {Sacar} case @C of X|S1 then C:=S1 X end
end
fun {EsVacı́a} @C==nil end
in
proc {$ Msj}
case Msj
of colocar(X) then {Colocar X}
[] sacar(?E) then E={Sacar}
[] esVacı́a(?B) then B={EsVacı́a}
end
end
end
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
Pila con estado, desempaquetada, y segura
declare
local Envolver Desenvolver
{NuevoEmpacador Envolver Desenvolver}
fun {PilaNueva} {Envolver {NewCell nil}} end
proc {Colocar S E} C={Desenvolver S} in C:=E|@C
end
fun {Sacar S}
C={Desenvolver S} in case @C of X|S1 then
C:=S1 X end end
fun {EsVacı́a S} @{Desenvolver S}==nil end
in
Pila=pila(nueva:PilaNueva colocar:Colocar
sacar:Sacar esVacı́a:EsVacı́a)
end
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
Plan
1
Recorderis: Abstracción de datos
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
2
Principios de la POO
3
Herencia
4
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
El estilo Objeto
Objeto
Una abstracción de datos empaquetada se denomina abstracción
procedimental de datos, o APD. Y define una entidad llamada
objeto.
Ejecución de un objeto
Una operación se ejecuta invocando al objeto e informándole
cuál operación realizar: “enviar un mensaje al objeto;” Ojo.
No lo es, en el sentido que lo hemos estudiado.
Una invocación a un objeto es sincrónica.
Popularidad
Modularidad y estructuración de programas.
Facilidad con que el estilo objeto soporta polimorfismo y
herencia. Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
El estilo Objeto
Objeto
Una abstracción de datos empaquetada se denomina abstracción
procedimental de datos, o APD. Y define una entidad llamada
objeto.
Ejecución de un objeto
Una operación se ejecuta invocando al objeto e informándole
cuál operación realizar: “enviar un mensaje al objeto;” Ojo.
No lo es, en el sentido que lo hemos estudiado.
Una invocación a un objeto es sincrónica.
Popularidad
Modularidad y estructuración de programas.
Facilidad con que el estilo objeto soporta polimorfismo y
herencia. Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
El estilo Objeto
Objeto
Una abstracción de datos empaquetada se denomina abstracción
procedimental de datos, o APD. Y define una entidad llamada
objeto.
Ejecución de un objeto
Una operación se ejecuta invocando al objeto e informándole
cuál operación realizar: “enviar un mensaje al objeto;” Ojo.
No lo es, en el sentido que lo hemos estudiado.
Una invocación a un objeto es sincrónica.
Popularidad
Modularidad y estructuración de programas.
Facilidad con que el estilo objeto soporta polimorfismo y
herencia. Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
Plan
1
Recorderis: Abstracción de datos
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
2
Principios de la POO
3
Herencia
4
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
Polimorfismo
En lenguaje natural. . .
Es la capacidad de una entidad de tomar varias formas.
En el contexto de abstracción de datos
Una operación es polimórfica si funciona correctamente con
argumentos de diferentes tipos.
Estilo Objeto vs TAD
El polimorfismo es más fácil de expresar en el estilo Objeto.
Aunque se puede expresar en el estilo TAD, es más incómodo
pues requiere de módulos de primera clase.
El estilo TAD ofrece mayor libertad para hacer
implementaciones eficientes.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
Polimorfismo
En lenguaje natural. . .
Es la capacidad de una entidad de tomar varias formas.
En el contexto de abstracción de datos
Una operación es polimórfica si funciona correctamente con
argumentos de diferentes tipos.
Estilo Objeto vs TAD
El polimorfismo es más fácil de expresar en el estilo Objeto.
Aunque se puede expresar en el estilo TAD, es más incómodo
pues requiere de módulos de primera clase.
El estilo TAD ofrece mayor libertad para hacer
implementaciones eficientes.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
Polimorfismo
En lenguaje natural. . .
Es la capacidad de una entidad de tomar varias formas.
En el contexto de abstracción de datos
Una operación es polimórfica si funciona correctamente con
argumentos de diferentes tipos.
Estilo Objeto vs TAD
El polimorfismo es más fácil de expresar en el estilo Objeto.
Aunque se puede expresar en el estilo TAD, es más incómodo
pues requiere de módulos de primera clase.
El estilo TAD ofrece mayor libertad para hacer
implementaciones eficientes.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
Plan
1
Recorderis: Abstracción de datos
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
2
Principios de la POO
3
Herencia
4
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
Ejemplo: un tipo Colección
Tipo Colección
Tres operaciones:
agregar para añadir un elemento,
extraer para sacar un elemento, y
esVacı́a para comprobar si la colección está vacı́a.
Implementación
En estilo TAD, y
en estilo Objeto.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
Ejemplo: un tipo Colección
Tipo Colección
Tres operaciones:
agregar para añadir un elemento,
extraer para sacar un elemento, y
esVacı́a para comprobar si la colección está vacı́a.
Implementación
En estilo TAD, y
en estilo Objeto.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
Implementación tipo Colección en estilo TAD (1)
Usando una pila con estado, desempaquetada. . .
local Envolver Desenvolver
{NuevoEmpacador Envolver Desenvolver}
fun {NuevaColección} {Envolver {Pila.nueva}}
end
proc {Agregar C X} S={Desenvolver C} in
{Pila.colocar S X} end
fun {Extraer C} S={Desenvolver C} in
{Pila.sacar S} end
fun {EsVacı́a C} {Pila.esVacı́a {Desenvolver C}}
end
in
Colección=colección(nueva:NuevaColección
agregar:Agregar extraer:Extraer esVacı́a:EsVacı́a)
end
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
Implementación tipo Colección en estilo TAD (2)
Ejemplo de uso
C={Colección.nueva}
{Colección.agregar C 1}
{Colección.agregar C 2}
{Browse {Colección.extraer C}}
{Browse {Colección.extraer C}}
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
Implementación tipo Colección en estilo Objeto
Usando una pila con estado, empaquetada. . .
fun {NuevaColección}
S={PilaNueva}
proc {Agregar X} {S.colocar X} end
fun {Extraer} {S.sacar} end
fun {EsVacı́a} {S.esVacı́a} end
in
colección(agregar:Agregar extraer:Extraer
esVacı́a:EsVacı́a)
end
Ejemplo de uso
C={NuevaColección}
{C.agregar 1} {C.agregar 2}
{Browse {C.extraer}}
{Browse {C.extraer}}
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
Extensión tipo Colección en estilo TAD (1)
Operación unión
{Colección.unión C1 C2}:todos los elementos de C2 se
agregan a C1, dejando C2 vacı́a.
Abstracción de control DoUntil
proc {DoUntil BF S}
if {BF} then skip else {S} {DoUntil BF S} end
end
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
Extensión tipo Colección en estilo TAD (1)
Operación unión
{Colección.unión C1 C2}:todos los elementos de C2 se
agregan a C1, dejando C2 vacı́a.
Abstracción de control DoUntil
proc {DoUntil BF S}
if {BF} then skip else {S} {DoUntil BF S} end
end
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
Extensión tipo Colección en estilo TAD (2)
Implementación de unión
local Envolver Desenvolver
...
proc {Unión C1 C2}
S1={Desenvolver C1} S2={Desenvolver C2} in
{DoUntil fun {$} {Pila.esVacı́a S2} end
proc {$} {Pila.colocar S1 {Pila.sacar S2}}
end}
end
in
Colección=colección(... unión:Unión)
end
Esta implementación utiliza tanto la representación interna de C1
como la de C2
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
Extensión tipo Colección en estilo TAD (3)
Implementación de unión usando sólo las interfaces
local Envolver Desenvolver
...
proc {Unión C1 C2}
{DoUntil fun {$} {Colección.esVacı́a C2} end
proc {$} {Colección.agregar C1
{Colección.extraer C2}} end}
end
in
Colección=colección(... unión:Unión)
end
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
Extensión tipo Colección en estilo TAD (4)
Ejemplo de uso
C1={Colección.nueva} C2={Colección.nueva}
for I in [1 2 3] do {Colección.agregar C1 I} end
for I in [4 5 6] do {Colección.agregar C2 I} end
{Colección.unión C1 C2}
{Browse {Colección.esVacı́a C2}}
{DoUntil fun {$} {Colección.esVacı́a C1} end
proc {$} {Browse {Colección.extraer C1}} end}
En resumen
Rep. interna ⇒ Eficiencia ∧ No polimorfismo
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
Extensión tipo Colección en estilo Objeto (1)
Operación unión
{C1.unión C2}:todos los elementos de C2 se agregan a C1,
dejando C2 vacı́a.
Implementación
fun {NuevaColección}
S1={PilaNueva}
...
proc {Unión C2}
{DoUntil C2.esVacı́a
proc {$} {S1.colocar {C2.extraer}} end}
end
in
colección(... unión:Unión)
end
Se usa la representación
C1, pero
la interfaz
externa de
Juan Franciscointerna
Dı́az Frias de Modelos
y Paradigmas
de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
Extensión tipo Colección en estilo Objeto (1)
Operación unión
{C1.unión C2}:todos los elementos de C2 se agregan a C1,
dejando C2 vacı́a.
Implementación
fun {NuevaColección}
S1={PilaNueva}
...
proc {Unión C2}
{DoUntil C2.esVacı́a
proc {$} {S1.colocar {C2.extraer}} end}
end
in
colección(... unión:Unión)
end
Se usa la representación
C1, pero
la interfaz
externa de
Juan Franciscointerna
Dı́az Frias de Modelos
y Paradigmas
de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
Extensión tipo Colección en estilo Objeto (2)
Implementación de unión usando sólo las interfaces
fun {NuevaColección}
...
proc {Unión C2}
{DoUntil C2.esVacı́a
proc {$} {This.agregar {C2.extraer}} end}
end
This=colección(... unión:Unión)
in
This
end
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
¿Cómo escoger entre los estilos TAD y objeto?
Eficiencia
El estilo TAD puede ser más eficiente porque permite acceder a
ambas representaciones internas.
Única alternativa
Algunas veces el estilo TAD es el único que funciona: Suma de
enteros.
Polimorfismo en Objeto es “gratis”
Si D es un objeto colección con la misma interfaz de C, aunque
condiferente implementación, {C unión(D)} funciona. ¿Por qué?
Concurrencia
El estilo objeto no está limitado a objetos secuenciales: Objetos
flujo, puerto y activos.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
¿Cómo escoger entre los estilos TAD y objeto?
Eficiencia
El estilo TAD puede ser más eficiente porque permite acceder a
ambas representaciones internas.
Única alternativa
Algunas veces el estilo TAD es el único que funciona: Suma de
enteros.
Polimorfismo en Objeto es “gratis”
Si D es un objeto colección con la misma interfaz de C, aunque
condiferente implementación, {C unión(D)} funciona. ¿Por qué?
Concurrencia
El estilo objeto no está limitado a objetos secuenciales: Objetos
flujo, puerto y activos.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
¿Cómo escoger entre los estilos TAD y objeto?
Eficiencia
El estilo TAD puede ser más eficiente porque permite acceder a
ambas representaciones internas.
Única alternativa
Algunas veces el estilo TAD es el único que funciona: Suma de
enteros.
Polimorfismo en Objeto es “gratis”
Si D es un objeto colección con la misma interfaz de C, aunque
condiferente implementación, {C unión(D)} funciona. ¿Por qué?
Concurrencia
El estilo objeto no está limitado a objetos secuenciales: Objetos
flujo, puerto y activos.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
¿Cómo escoger entre los estilos TAD y objeto?
Eficiencia
El estilo TAD puede ser más eficiente porque permite acceder a
ambas representaciones internas.
Única alternativa
Algunas veces el estilo TAD es el único que funciona: Suma de
enteros.
Polimorfismo en Objeto es “gratis”
Si D es un objeto colección con la misma interfaz de C, aunque
condiferente implementación, {C unión(D)} funciona. ¿Por qué?
Concurrencia
El estilo objeto no está limitado a objetos secuenciales: Objetos
flujo, puerto y activos.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
¿Cómo escoger entre los estilos TAD y objeto? (2)
Polimorfismo en TAD implica módulos de primera clase
proc {Unión C1 Colección2 C2}
{DoUntil fun {$} {Colección2.esVacı́a C2} end
proc {$} {Colección.agregar C1
{Colección2.extraer C2}} end}
end
Colección=colección(... unión:Unión)
La implementación de unión tiene que asegurarse que C2 siempre
utilice una operación de Colección2.
Interoperabilidad en TAD
Si utilizamos el estilo TAD sin módulos de primera clase, entonces
debemos escribir código nuevo para que los tipos puedan
interoperar. Tenemos que escribir una operación unión que
conozca ambas representaciones internas.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
¿Cómo escoger entre los estilos TAD y objeto? (2)
Polimorfismo en TAD implica módulos de primera clase
proc {Unión C1 Colección2 C2}
{DoUntil fun {$} {Colección2.esVacı́a C2} end
proc {$} {Colección.agregar C1
{Colección2.extraer C2}} end}
end
Colección=colección(... unión:Unión)
La implementación de unión tiene que asegurarse que C2 siempre
utilice una operación de Colección2.
Interoperabilidad en TAD
Si utilizamos el estilo TAD sin módulos de primera clase, entonces
debemos escribir código nuevo para que los tipos puedan
interoperar. Tenemos que escribir una operación unión que
conozca ambas representaciones internas.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
Otras clases de polimorfismo, distinto al universal
Polimorfismo ad-hoc
Se ejecuta código diferente para argumentos de tipos diferentes.
Por ejemplo el operador de sobrecarga.
Polimorfismo por subtipos
Se ejecuta el mismo código para todos los argumentos cuyo tipo
sea un subtipo del tipo más general. Por ejemplo, Registros, tuplas
y listas.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
Otras clases de polimorfismo, distinto al universal
Polimorfismo ad-hoc
Se ejecuta código diferente para argumentos de tipos diferentes.
Por ejemplo el operador de sobrecarga.
Polimorfismo por subtipos
Se ejecuta el mismo código para todos los argumentos cuyo tipo
sea un subtipo del tipo más general. Por ejemplo, Registros, tuplas
y listas.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Principios de la POO
El modelo de computación
El modelo de computación de la POO es el modelo con estado.
¿Qué es un programa?
Los programas son colecciones de abstracciones de datos que
interactúan entre ellas. Dos principios para construirlas:
Las abstracciones de datos deben tener estado por defecto.
El estilo objeto, por defecto, deberı́a ser el estilo APD, el cual
fomenta el polimorfismo y la herencia.
En resumen. . .
La POO es la programación con abstracción de datos en forma de
objetos, estado explı́cito, polimorfismo, y herencia.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Principios de la POO
El modelo de computación
El modelo de computación de la POO es el modelo con estado.
¿Qué es un programa?
Los programas son colecciones de abstracciones de datos que
interactúan entre ellas. Dos principios para construirlas:
Las abstracciones de datos deben tener estado por defecto.
El estilo objeto, por defecto, deberı́a ser el estilo APD, el cual
fomenta el polimorfismo y la herencia.
En resumen. . .
La POO es la programación con abstracción de datos en forma de
objetos, estado explı́cito, polimorfismo, y herencia.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Principios de la POO
El modelo de computación
El modelo de computación de la POO es el modelo con estado.
¿Qué es un programa?
Los programas son colecciones de abstracciones de datos que
interactúan entre ellas. Dos principios para construirlas:
Las abstracciones de datos deben tener estado por defecto.
El estilo objeto, por defecto, deberı́a ser el estilo APD, el cual
fomenta el polimorfismo y la herencia.
En resumen. . .
La POO es la programación con abstracción de datos en forma de
objetos, estado explı́cito, polimorfismo, y herencia.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Herencia
Observación
Muchas abstracciones de datos tienen mucho en común, v. gr. los
conjuntos. ¿Podemos implementarlas sin duplicar las partes
comunes?
Problema: duplicación de código
Programas más largos.
Se dificulta el mantenimiento: modificación de todas las
copias.
Copias ligeramente diferentes: relacion entre cambios no obvia.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Herencia
Observación
Muchas abstracciones de datos tienen mucho en común, v. gr. los
conjuntos. ¿Podemos implementarlas sin duplicar las partes
comunes?
Problema: duplicación de código
Programas más largos.
Se dificulta el mantenimiento: modificación de todas las
copias.
Copias ligeramente diferentes: relacion entre cambios no obvia.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Herencia
¿Para qué el concepto de herencia?
Para reducir el problema de la duplicación de código y para
clarificar las relaciones entre las abstracciones de datos.
¿Cómo?
Una abstracción “hereda” de otra(s), teniendo esencialmente
la misma funcionalidad que las otras, posiblemente con
algunas extensiones y modificaciones.
Sólo se especifican las diferencias entre la abstracción de
datos y sus ancestros.
A tal definición incremental de una abstracción de datos se le
denomina una clase.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Herencia
¿Para qué el concepto de herencia?
Para reducir el problema de la duplicación de código y para
clarificar las relaciones entre las abstracciones de datos.
¿Cómo?
Una abstracción “hereda” de otra(s), teniendo esencialmente
la misma funcionalidad que las otras, posiblemente con
algunas extensiones y modificaciones.
Sólo se especifican las diferencias entre la abstracción de
datos y sus ancestros.
A tal definición incremental de una abstracción de datos se le
denomina una clase.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Herencia: clase
¿Cómo se define una clase?
Por combinación de una o más clases existentes con una
descripción de las extensiones y modificaciones requeridas.
¿Concepto nuevo?
NO! Abstracción lingüı́stica.
Manipulación sintáctica, donde la sintaxis de la clase nueva se
deriva a partir de las clases originales.
Función que recibe como entrada valores de tipo clase y
devuelve como salida la clase nueva.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Herencia: clase
¿Cómo se define una clase?
Por combinación de una o más clases existentes con una
descripción de las extensiones y modificaciones requeridas.
¿Concepto nuevo?
NO! Abstracción lingüı́stica.
Manipulación sintáctica, donde la sintaxis de la clase nueva se
deriva a partir de las clases originales.
Función que recibe como entrada valores de tipo clase y
devuelve como salida la clase nueva.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Use la herencia con cuidado (1)
Conocimiento profundo de las clases ancestro
Pues ellas pueden romper fácilmente un invariante de clase.
Interfaz adicional a mantener
La capacidad de extender una clase se puede ver como una manera
adicional de interactuar con esa clase. Esta interfaz tiene que
mantenerse a lo largo de la vida del componente.
⇒
Las clases son finales (no se pueden extender) por defecto. Para
extenderlas, se requiere la acción explı́cita del programador.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Use la herencia con cuidado (1)
Conocimiento profundo de las clases ancestro
Pues ellas pueden romper fácilmente un invariante de clase.
Interfaz adicional a mantener
La capacidad de extender una clase se puede ver como una manera
adicional de interactuar con esa clase. Esta interfaz tiene que
mantenerse a lo largo de la vida del componente.
⇒
Las clases son finales (no se pueden extender) por defecto. Para
extenderlas, se requiere la acción explı́cita del programador.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Use la herencia con cuidado (2)
Factorización de una aplicación vs. dispersión de la implementación
La implementación no existe en un sitio; todas las abstracciones de
las que se hereda tienen que considerarse juntas.
Esto dificulta entender la abstracción, y, paradójicamente, puede
dificultar su mantenimiento.
Lección
La herencia debe utilizarse en “pequeñas cantidades.”
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Use la herencia con cuidado (2)
Factorización de una aplicación vs. dispersión de la implementación
La implementación no existe en un sitio; todas las abstracciones de
las que se hereda tienen que considerarse juntas.
Esto dificulta entender la abstracción, y, paradójicamente, puede
dificultar su mantenimiento.
Lección
La herencia debe utilizarse en “pequeñas cantidades.”
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Alternativa a la herencia. . .
Programación Basada en componentes
La idea es definir un componente que encapsula a otro
componente y provee una funcionalidad modificada.
Compromiso Herencia - Componentes
La herencia es más flexible pero puede romper un invariante de
clase, mientras que la composición de componentes es menos
flexible pero no puede romper un invariante de componente.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Alternativa a la herencia. . .
Programación Basada en componentes
La idea es definir un componente que encapsula a otro
componente y provee una funcionalidad modificada.
Compromiso Herencia - Componentes
La herencia es más flexible pero puede romper un invariante de
clase, mientras que la composición de componentes es menos
flexible pero no puede romper un invariante de componente.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Conjunto de conceptos para definir clases
Para construir abstracciones de datos completas
Los métodos, los atributos, y las propiedades.
Mensajes de primera clase y atributos de primera clase: para
lograr formas poderosas de polimorfismo.
Para construir abstracciones de datos incrementalmente
Los conceptos relacionados con la herencia, i.e., los que definen
cómo se relaciona una clase con las clases existentes.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Conjunto de conceptos para definir clases
Para construir abstracciones de datos completas
Los métodos, los atributos, y las propiedades.
Mensajes de primera clase y atributos de primera clase: para
lograr formas poderosas de polimorfismo.
Para construir abstracciones de datos incrementalmente
Los conceptos relacionados con la herencia, i.e., los que definen
cómo se relaciona una clase con las clases existentes.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Plan
1
Recorderis: Abstracción de datos
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
2
Principios de la POO
3
Herencia
4
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Un ejemplo de clase: sintaxis
Supuestos
class Contador
attr val
meth inic(Valor)
val:=Valor
end
meth browse
{Browse @val}
end
meth inc(Valor)
val:=@val+Valor
end
end
class: constructor nuevo.
Las clases son valores de primera clase.
class es una abstracción lingüı́stica.
Sintácticamente:
Juan Francisco Dı́az Frias
Nombre Contador (podrı́a ser
anónima).
Atributos: val.
Métodos: inic, browse, e inc.
Operadores: := y @.
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Un ejemplo de clase: sintaxis
Supuestos
class Contador
attr val
meth inic(Valor)
val:=Valor
end
meth browse
{Browse @val}
end
meth inc(Valor)
val:=@val+Valor
end
end
class: constructor nuevo.
Las clases son valores de primera clase.
class es una abstracción lingüı́stica.
Sintácticamente:
Juan Francisco Dı́az Frias
Nombre Contador (podrı́a ser
anónima).
Atributos: val.
Métodos: inic, browse, e inc.
Operadores: := y @.
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Un ejemplo de clase: sintaxis
Supuestos
class Contador
attr val
meth inic(Valor)
val:=Valor
end
meth browse
{Browse @val}
end
meth inc(Valor)
val:=@val+Valor
end
end
class: constructor nuevo.
Las clases son valores de primera clase.
class es una abstracción lingüı́stica.
Sintácticamente:
Juan Francisco Dı́az Frias
Nombre Contador (podrı́a ser
anónima).
Atributos: val.
Métodos: inic, browse, e inc.
Operadores: := y @.
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
¿Es la diferencia con otros lenguajes sólo sintáctica?
Las apariencias engañan
La declaración se ejecuta en tiempo de ejecución: se crea un
valor de tipo clase y se liga a la variable Contador.
La declaración al principio del programa se comporta
familiarmente.
Pero, la declaración puede colocarse en cualquier sitio donde
pueda ir una declaración. Por ejemplo, si se coloca la
declaración dentro de un procedimiento, se creará una clase
nueva, distinta, cada vez que se invoca el procedimiento.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Ejemplo de uso
C={New Contador inic(0)}
{C inc(6)} {C inc(6)}
{C browse}
local X in {C inc(X)} X=5
end
{C browse}
Juan Francisco Dı́az Frias
declare S in
local X in
thread {C inc(X)} S=listo
end
X=5
end
{Wait S} {C browse}
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Un ejemplo de clase: semántica (1)
local
proc {Inic M S}
inic(Valor)=M in (S.val):=Valor
end
proc {Browse2 M S}
{Browse @(S.val)}
end
proc {Inc M S}
inc(Valor)=M in
(S.val):=@(S.val)+Valor
end
in
Contador=c(atrbs:[val]
métodos:m(inic:Inic
browse:Browse2 inc:Inc))
end
Juan Francisco Dı́az Frias
Detalles
Una clase es un
registro: nombres
de atributos;
métodos.
Nombre de
atributo: literal.
Método:
procedimiento de
dos argumentos:
mensaje y estado.
Asignación val:= y
acceso @val.
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Un ejemplo de clase: semántica (1)
local
proc {Inic M S}
inic(Valor)=M in (S.val):=Valor
end
proc {Browse2 M S}
{Browse @(S.val)}
end
proc {Inc M S}
inc(Valor)=M in
(S.val):=@(S.val)+Valor
end
in
Contador=c(atrbs:[val]
métodos:m(inic:Inic
browse:Browse2 inc:Inc))
end
Juan Francisco Dı́az Frias
Detalles
Una clase es un
registro: nombres
de atributos;
métodos.
Nombre de
atributo: literal.
Método:
procedimiento de
dos argumentos:
mensaje y estado.
Asignación val:= y
acceso @val.
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Un ejemplo de clase: semántica (2)
fun {New Clase Inic}
Fs={Map Clase.atrbs fun {$ X}
X#{NewCell _} end}
S={List.toRecord estado Fs}
proc {Obj M}
{Clase.métodos.{Label M} M S}
end
in
{Obj Inic}
Obj
end
Juan Francisco Dı́az Frias
La función New
Crea el estado del
objeto.
Define Obj que es
de hecho el objeto.
Inicializa el objeto
antes de devolverlo.
Estado: registro S,
oculto dentro de
Obj.
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Un ejemplo de clase: semántica (2)
fun {New Clase Inic}
Fs={Map Clase.atrbs fun {$ X}
X#{NewCell _} end}
S={List.toRecord estado Fs}
proc {Obj M}
{Clase.métodos.{Label M} M S}
end
in
{Obj Inic}
Obj
end
Juan Francisco Dı́az Frias
La función New
Crea el estado del
objeto.
Define Obj que es
de hecho el objeto.
Inicializa el objeto
antes de devolverlo.
Estado: registro S,
oculto dentro de
Obj.
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Sintaxis de clase (1)
hdeclaracióni ::= class hvariablei { hdescriptorClasei }
{ meth hcabezaMétodoi [ ´=´ hvariablei ]
( hexpresiónEni | hdeclaraciónEni ) end }
|
|
|
|
end
lock [ hexpresióni then ] hdeclaraciónEni end
hexpresióni ´:=´ hexpresióni
hexpresióni ´,´ hexpresióni
...
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Sintaxis de clase (2)
hexpresióni ::= class ´$´ { hdescriptorClasei }
{ meth hcabezaMétodoi [ ´=´ hvariablei ]
( hexpresiónEni | hdeclaraciónEni ) end }
end
| lock [ hexpresióni then ] hexpresiónEni end
| hexpresióni ´:=´ hexpresióni
| hexpresióni ´,´ hexpresióni
| ´@´ hexpresióni
| self
| ...
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Sintaxis de clase (3)
hdescriptorClasei ::= from { hexpresióni }+ | prop { hexpresióni }+
| attr { hinicAtrbi }+
hinicAtrbi
::= ( [ ´!´ ] hvariablei | hátomoi | unit | true | false )
[ ´:´ hexpresióni ]
hcabezaMétodoi ::= ( [ ´!´ ] hvariablei | hátomoi | unit | true | false )
[ ´(´ { hargMétodoi } [ ´...´ ] ´)´ ]
[ ´=´ hvariablei ]
hargMétodoi
::= [ hfeaturei ´:´ ] ( hvariablei | ´_´ | ´$´ ) [ ´<=´ hexpresióni ]
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Sintaxis de clase (4)
Caracterı́sticas
Número de objetos ilimitado.
Objeto ≡ instancia. Cada instancia
tiene identidad única.
¿Qué es una clase?
Una clase es una estructura de
Cada objeto se comporta según la
datos que define un estado
definición de clase.
interno de un objeto
(atributos), su
Creación, invocación
comportamiento (métodos),
MiObj={New MiClase Inic}
las clases de las cuales hereda,
y otras propiedades y
crea un objeto MiObj, de la clase MiClase
operaciones.
e invoca el objeto con el mensaje Inic.
Con la sintaxis {MiObj M} se invoca el
objeto.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Sintaxis de clase (4)
Caracterı́sticas
Número de objetos ilimitado.
Objeto ≡ instancia. Cada instancia
tiene identidad única.
¿Qué es una clase?
Una clase es una estructura de
Cada objeto se comporta según la
datos que define un estado
definición de clase.
interno de un objeto
(atributos), su
Creación, invocación
comportamiento (métodos),
MiObj={New MiClase Inic}
las clases de las cuales hereda,
y otras propiedades y
crea un objeto MiObj, de la clase MiClase
operaciones.
e invoca el objeto con el mensaje Inic.
Con la sintaxis {MiObj M} se invoca el
objeto.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Sintaxis de clase (4)
Caracterı́sticas
Número de objetos ilimitado.
Objeto ≡ instancia. Cada instancia
tiene identidad única.
¿Qué es una clase?
Una clase es una estructura de
Cada objeto se comporta según la
datos que define un estado
definición de clase.
interno de un objeto
(atributos), su
Creación, invocación
comportamiento (métodos),
MiObj={New MiClase Inic}
las clases de las cuales hereda,
y otras propiedades y
crea un objeto MiObj, de la clase MiClase
operaciones.
e invoca el objeto con el mensaje Inic.
Con la sintaxis {MiObj M} se invoca el
objeto.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Miembros de una clase (1)
Atributos: palabra reservada “attr”
O variables de instancia: celda que contiene parte del estado de la
instancia.
Operaciones:
hexpri1 :=hexpri2
@hexpri
hexpri3 =hexpri1 :=hexpri2 .
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Miembros de una clase (2)
Métodos: palabra reservada “meth”
Procedimiento que se invoca en el contexto de un objeto particular
y que tiene acceso a los atributos del objeto.
Consta de una cabeza y un cuerpo.
La cabeza consta de una etiqueta, la cual debe ser un átomo
o un nombre, y de un conjunto de argumentos.
Los argumentos deben ser variables diferentes; de otra manera
serı́a un error de sintaxis.
Cabeza≡Patrón y Mensaje≡Registro.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Miembros de una clase (3)
Propiedades: palabra reservada “prop”
Una propiedad modifica cómo se comporta un objeto:
La propiedad locking crea un candado nuevo con cada
instancia de objeto.
La propiedad final hace que la clase sea una clase final
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Miembros de una clase (4)
Atributos como átomos o como identificadores
Las etiquetas de los atributos y de los métodos son literales.
Si se definen utilizando la sintaxis de átomo, entonces son
átomos.
Si se definen con la sintaxis de identificadores (e.g., en
mayúscula), entonces el sistema creará nombres nuevos para
ellos, cuyo alcance es la definición de la clase.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Inicialización de atributos (1)
Inicialización por instancia
Un atributo puede tener un valor inicial diferente para cada
instancia. Esto se logra no inicializándolos en la definición de clase.
Ejemplo
class UnApart
attr nombreCalle
meth inic(X) @nombreCalle=X end
end
Apt1={New UnApart inic(pasoancho)}
Apt2={New UnApart inic(calleQuinta)}
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Inicialización de atributos (2)
Inicialización por clase
Un atributo puede tener un valor que sea el mismo para todas las
instancias de la clase. Esto se hace, inicializándolo con “:” en la
definición de clase.
Ejemplo
class ApartQuinta
attr
nombreCalle:calleQuinta
númeroCalle:100
colorPared:_
superficiePiso:madera
meth inic skip end
end
Apt3={New ApartQuinta inic}
Apt4={New ApartQuinta inic}
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Inicialización de atributos (3)
Inicialización por marca
Esta es otra manera de utilizar la inicialización por clase. Una
marca es un conjunto de clases relacionadas de alguna manera,
pero no por herencia.
Ejemplo
L=linux
class RedHat attr tiposo:L end
class SuSE attr tiposo:L end
class Debian attr tiposo:L end
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Mensajes de primera clase (1)
Principio
Los mensajes son registros y las cabezas de los métodos son
patrones que reconocen un registro.
Invocación de objeto {Obj M}
Registro estático como mensaje. En el caso más sencillo, M es
un registro que se conoce en tiempo de compilación, e.g.,
como en la invocación {Contador inc(X)}.
Registro dinámico como mensaje. Es posible invocar {Obj M}
donde M es una variable que referencia un registro que se
calcula en tiempo de ejecución. Como el tipamiento es
dinámico, es posible crear nuevos tipos de registros en tiempo
de ejecución (e.g., con Adjoin o List.toRecord).
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Mensajes de primera clase (1)
Principio
Los mensajes son registros y las cabezas de los métodos son
patrones que reconocen un registro.
Invocación de objeto {Obj M}
Registro estático como mensaje. En el caso más sencillo, M es
un registro que se conoce en tiempo de compilación, e.g.,
como en la invocación {Contador inc(X)}.
Registro dinámico como mensaje. Es posible invocar {Obj M}
donde M es una variable que referencia un registro que se
calcula en tiempo de ejecución. Como el tipamiento es
dinámico, es posible crear nuevos tipos de registros en tiempo
de ejecución (e.g., con Adjoin o List.toRecord).
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Mensajes de primera clase (2)
Definición de un método (1)
Lista fija de argumentos:
meth foo(a:A b:B c:C)
% Cuerpo del método
end
Lista flexible de argumentos:
meth foo(a:A b:B c:C ...)
% Cuerpo del método
end
Referencia variable a la cabeza del método:
meth foo(a:A b:B c:C ...)=M
% Cuerpo del método
end
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Mensajes de primera clase (3)
Definición de un método (2)
Argumento opcional:valor por defecto, se usa sólo si el
argumento no viene en el mensaje.
meth foo(a:A b:B<=V)
% Cuerpo del método
end
foo(a:1 b:2) ignora V, foo(a:1) ≡ foo(a:1 b:V)
Etiqueta privada de método: A se liga a un nombre fresco
cuando se define la clase.
meth A(bar:X)
% Cuerpo del método
end
Etiqueta dinámica de método:
meth !A(bar:X)
% Cuerpo del método
end
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Mensajes de primera clase (4)
Definición de un método (3)
Etiqueta dinámica de método:
meth !A(bar:X)
% Cuerpo del método
end
La etiqueta del método debe ser conocida en el momento en
que la definición de clase sea ejecutada.
El método otherwise: acepta cualquier mensaje para el cual
no exista ningún otro método.
meth otherwise(M)
% Cuerpo del método
end
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
¿Cómo hace el compilador con la invocación
{Obj M}?
Estáticamente . . .
Determinar Obj y M. Si puede, compila a una instrucción muy
rápida y especializada.
Si no puede . . .
Compila a un instrucción general de invocación de un objeto.
La instrucción general utiliza el ocultamiento.
La primera invocación es lenta, pero las subsiguientes son casi
tan rápidas como las invocaciones especializadas.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Plan
1
Recorderis: Abstracción de datos
TADs
El estilo Objeto
Polimorfismo
Ejemplo: un tipo Colección
2
Principios de la POO
3
Herencia
4
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Tres conjuntos de conceptos para la herencia:
Grafo de herencia
Define cuáles clases preexistentes se extenderán. Se permitirá tanto
herencia sencilla como herencia múltiple.
Control de acceso a los métodos
Define cómo se accede a los métodos en particular, tanto en la
clase nueva como en las clases preexistentes. Esto se logra con
ligaduras estática y dinámica y con el concepto de self.
Control de la encapsulación
Define qué parte de un programa puede ver los atributos y
métodos de una clase.
Otros conceptos . . .
Reenvı́o, delegación, y reflexión.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Tres conjuntos de conceptos para la herencia:
Grafo de herencia
Define cuáles clases preexistentes se extenderán. Se permitirá tanto
herencia sencilla como herencia múltiple.
Control de acceso a los métodos
Define cómo se accede a los métodos en particular, tanto en la
clase nueva como en las clases preexistentes. Esto se logra con
ligaduras estática y dinámica y con el concepto de self.
Control de la encapsulación
Define qué parte de un programa puede ver los atributos y
métodos de una clase.
Otros conceptos . . .
Reenvı́o, delegación, y reflexión.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Tres conjuntos de conceptos para la herencia:
Grafo de herencia
Define cuáles clases preexistentes se extenderán. Se permitirá tanto
herencia sencilla como herencia múltiple.
Control de acceso a los métodos
Define cómo se accede a los métodos en particular, tanto en la
clase nueva como en las clases preexistentes. Esto se logra con
ligaduras estática y dinámica y con el concepto de self.
Control de la encapsulación
Define qué parte de un programa puede ver los atributos y
métodos de una clase.
Otros conceptos . . .
Reenvı́o, delegación, y reflexión.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Tres conjuntos de conceptos para la herencia:
Grafo de herencia
Define cuáles clases preexistentes se extenderán. Se permitirá tanto
herencia sencilla como herencia múltiple.
Control de acceso a los métodos
Define cómo se accede a los métodos en particular, tanto en la
clase nueva como en las clases preexistentes. Esto se logra con
ligaduras estática y dinámica y con el concepto de self.
Control de la encapsulación
Define qué parte de un programa puede ver los atributos y
métodos de una clase.
Otros conceptos . . .
Reenvı́o, delegación, y reflexión.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Grafo de herencia (1)
Disponibilidad de métodos y atributos
La herencia es una forma de construir clases nuevas a partir de
clases existentes.
La herencia define qué atributos y métodos están disponibles en la
clase nueva.
Relación de precedencia: Relación de anulación
Un método (atributo) en la clase C anula cualquier método
(atributo) con la misma etiqueta (el mismo nombre) en todas las
superclases de C.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Grafo de herencia (1)
Disponibilidad de métodos y atributos
La herencia es una forma de construir clases nuevas a partir de
clases existentes.
La herencia define qué atributos y métodos están disponibles en la
clase nueva.
Relación de precedencia: Relación de anulación
Un método (atributo) en la clase C anula cualquier método
(atributo) con la misma etiqueta (el mismo nombre) en todas las
superclases de C.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Grafo de herencia (2)
Tipos de herencia
Herencia sencilla (se hereda de una sola clase) o Herencia múltiple
(se hereda de varias clases. Sintácticamente: from.
Superclases
Una clase B es una superclase de la clase A si
B aparece en la parte from de la declaración de A, o
B es una superclase de una clase que aparece en la parte from
de la declaración de A.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Grafo de herencia (2)
Tipos de herencia
Herencia sencilla (se hereda de una sola clase) o Herencia múltiple
(se hereda de varias clases. Sintácticamente: from.
Superclases
Una clase B es una superclase de la clase A si
B aparece en la parte from de la declaración de A, o
B es una superclase de una clase que aparece en la parte from
de la declaración de A.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Grafo de herencia (3)
Jerarquı́a de clases
Grafo dirigido de la relación de superclase cuya raı́z es la clase
actual. Las aristas son dirigidas hacia las subclases.
Legalidad de la herencia
La relación de herencia es dirigida y acı́clica.
class A from B ... end
class B from A ... end
Cada método (salvo los anulados) debe tener una etiqueta
única y debe estar definido en una sola clase en la jerarquı́a.
class
class
class
class
class
A1 meth m(...) ... end end
B1 meth m(...) ... end end
A from A1 end
B from B1 end
C from A B end
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Grafo de herencia (3)
Jerarquı́a de clases
Grafo dirigido de la relación de superclase cuya raı́z es la clase
actual. Las aristas son dirigidas hacia las subclases.
Legalidad de la herencia
La relación de herencia es dirigida y acı́clica.
class A from B ... end
class B from A ... end
Cada método (salvo los anulados) debe tener una etiqueta
única y debe estar definido en una sola clase en la jerarquı́a.
class
class
class
class
class
A1 meth m(...) ... end end
B1 meth m(...) ... end end
A from A1 end
B from B1 end
C from A B end
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Grafo de herencia (4)
Método m
A1
m
A
B1
m
B
A1
A
C
m
m
B1
B
C
Jerarquía de clases ilegal
Jerarquía de clases legal
(dos ‘‘m’’ visibles desde C)
(un ‘‘m’’ visible desde C)
También es ilegal . . .
class A meth m(...) ... end end
class B meth m(...) ... end end
class C from A B end
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Grafo de herencia (4)
Método m
A1
m
A
B1
m
B
A1
A
C
m
m
B1
B
C
Jerarquía de clases ilegal
Jerarquía de clases legal
(dos ‘‘m’’ visibles desde C)
(un ‘‘m’’ visible desde C)
También es ilegal . . .
class A meth m(...) ... end end
class B meth m(...) ... end end
class C from A B end
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Grafo de herencia (5)
¿Cuando se detecta un error de estos?
fun {ClaseExtraña}
class A meth foo(X) X=a end end
class B meth foo(X) X=b end end
class C from A B end
in C end
Principio:todo se hace en tiempo de ejecución
ClaseExtraña se puede compilar y ejecutar exitosamente. Sólo se
lanzará una excepción en la invocación {ClaseExtraña}.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Grafo de herencia (5)
¿Cuando se detecta un error de estos?
fun {ClaseExtraña}
class A meth foo(X) X=a end end
class B meth foo(X) X=b end end
class C from A B end
in C end
Principio:todo se hace en tiempo de ejecución
ClaseExtraña se puede compilar y ejecutar exitosamente. Sólo se
lanzará una excepción en la invocación {ClaseExtraña}.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Control de acceso a los métodos (1)
Búsqueda del método correcto
¿Cuando se invoca un método de un objeto: cuál método se
ejecuta? Esto parece bastante sencillo, pero se vuelve ligeramente
más complicado cuando está involucrada la herencia.
Ligadura estática y dinámica
La herencia se utiliza para definir una clase nueva que extiende una
clase existente. Ambas clases pueden tener métodos con el mismo
nombre, y la clase nueva puede querer invocar cualquiera de ellos.
Se necesitan dos maneras de invocar: ligadura estática y ligadura
dinámica.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Control de acceso a los métodos (1)
Búsqueda del método correcto
¿Cuando se invoca un método de un objeto: cuál método se
ejecuta? Esto parece bastante sencillo, pero se vuelve ligeramente
más complicado cuando está involucrada la herencia.
Ligadura estática y dinámica
La herencia se utiliza para definir una clase nueva que extiende una
clase existente. Ambas clases pueden tener métodos con el mismo
nombre, y la clase nueva puede querer invocar cualquiera de ellos.
Se necesitan dos maneras de invocar: ligadura estática y ligadura
dinámica.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Control de acceso a los métodos (2)
Ejemplo de clase: Cuenta
class Cuenta
attr saldo:0
meth transferir(Cant)
saldo:=@saldo+Cant
end
meth pedirSaldo(Sal)
Sal=@saldo
end
meth transferEnLote(CantList)
for A in CantList do {self transferir(A)} end
end
end
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Control de acceso a los métodos (3)
Extensión de Cuenta
class CuentaVigilada from Cuenta
meth transferir(Cant)
{LogObj agregueEntrada(transferir(Cant))}
...
end
end
Creación e invocación
CtaVig={New CuentaVigilada transferir(100)}
¿qué pasa cuando invocamos transferEnLote?
¿Se invoca transferir de Cuenta o transferir de
CuentaVigilada?
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Control de acceso a los métodos (3)
Extensión de Cuenta
class CuentaVigilada from Cuenta
meth transferir(Cant)
{LogObj agregueEntrada(transferir(Cant))}
...
end
end
Creación e invocación
CtaVig={New CuentaVigilada transferir(100)}
¿qué pasa cuando invocamos transferEnLote?
¿Se invoca transferir de Cuenta o transferir de
CuentaVigilada?
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Control de acceso a los métodos (4)
¿Cuál deberı́a invocarse?
transferir de CuentaVigilada.
Esto se denomina ligadura dinámica: {self transferir(A)}.
Ligadura dinámica: necesidad
Se conserva la funcionalidad de la anterior abstracción al tiempo
que se añade una funcionalidad nueva.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Control de acceso a los métodos (4)
¿Cuál deberı́a invocarse?
transferir de CuentaVigilada.
Esto se denomina ligadura dinámica: {self transferir(A)}.
Ligadura dinámica: necesidad
Se conserva la funcionalidad de la anterior abstracción al tiempo
que se añade una funcionalidad nueva.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Control de acceso a los métodos (5)
Ligadura dinámica: limitación
class CuentaVigilada from Cuenta
meth transferir(Cant)
{LogObj agregueEntrada(transferir(Cant))}
Cuenta,transferir(Cant)
end
end
Dentro del nuevo método transferir, tenemos que invocar el
antiguo método transferir. ¿Podemos usar ligadura dinámica?
Ligadura estática:necesidad
Invocamos un método señalando la clase del método:
Cuenta,transferir(Cant)
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Control de acceso a los métodos (5)
Ligadura dinámica: limitación
class CuentaVigilada from Cuenta
meth transferir(Cant)
{LogObj agregueEntrada(transferir(Cant))}
Cuenta,transferir(Cant)
end
end
Dentro del nuevo método transferir, tenemos que invocar el
antiguo método transferir. ¿Podemos usar ligadura dinámica?
Ligadura estática:necesidad
Invocamos un método señalando la clase del método:
Cuenta,transferir(Cant)
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Control de acceso a los métodos (6)
Ligadura dinámica y estática
La ligadura dinámica permite a la clase nueva extender
correctamente la clase antigua dejando que los métodos
antiguos invoquen los métodos nuevos, aunque los métodos
nuevos no existan en el momento en que los métodos antiguos
se definen.
La ligadura estática permite que los nuevos métodos invoquen
los métodos antiguos cuando tengan que hacerlo.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Control de acceso a los métodos (7)
Resumen ligadura dinámica
Se escribe {self M}. Este tipo de ligadura escoge el
correspondiente método M visible en el objeto actual, tomando en
cuenta la anulación que haya sido realizada.
Resumen ligadura estática
Se escribe C, M (con una coma), donde C es una clase donde se
define el correspondiente método M. Este tipo de ligadura escoge el
método M visible en la clase C, tomando en cuenta las anulaciones
de métodos desde la clase raı́z hasta la clase C, pero no más.
Si el objeto es de una subclase de C que ha anulado el método M
de nuevo, entonces ésta anulación no es tenida en cuenta.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Control de acceso a los métodos (7)
Resumen ligadura dinámica
Se escribe {self M}. Este tipo de ligadura escoge el
correspondiente método M visible en el objeto actual, tomando en
cuenta la anulación que haya sido realizada.
Resumen ligadura estática
Se escribe C, M (con una coma), donde C es una clase donde se
define el correspondiente método M. Este tipo de ligadura escoge el
método M visible en la clase C, tomando en cuenta las anulaciones
de métodos desde la clase raı́z hasta la clase C, pero no más.
Si el objeto es de una subclase de C que ha anulado el método M
de nuevo, entonces ésta anulación no es tenida en cuenta.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Control de encapsulación (1)
Principio
Limitar el acceso a los miembros de la clase, a saber, atributos y
métodos, de acuerdo a los requerimientos de la arquitectura de la
aplicación.
Alcance de un miembro
Cada miembro se define con un alcance: El alcance es la parte del
texto del programa en el cual el miembro es visible, i.e., donde, al
mencionar su nombre, se accede a él.
Tipos de alcance
Por defecto, o modificado por palabras reservadas como public,
private, y protected.
Cada lenguaje usa estos alcances con significados ligeramente
diferentes.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Control de encapsulación (1)
Principio
Limitar el acceso a los miembros de la clase, a saber, atributos y
métodos, de acuerdo a los requerimientos de la arquitectura de la
aplicación.
Alcance de un miembro
Cada miembro se define con un alcance: El alcance es la parte del
texto del programa en el cual el miembro es visible, i.e., donde, al
mencionar su nombre, se accede a él.
Tipos de alcance
Por defecto, o modificado por palabras reservadas como public,
private, y protected.
Cada lenguaje usa estos alcances con significados ligeramente
diferentes.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Control de encapsulación (1)
Principio
Limitar el acceso a los miembros de la clase, a saber, atributos y
métodos, de acuerdo a los requerimientos de la arquitectura de la
aplicación.
Alcance de un miembro
Cada miembro se define con un alcance: El alcance es la parte del
texto del programa en el cual el miembro es visible, i.e., donde, al
mencionar su nombre, se accede a él.
Tipos de alcance
Por defecto, o modificado por palabras reservadas como public,
private, y protected.
Cada lenguaje usa estos alcances con significados ligeramente
diferentes.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Control de encapsulación (2)
Alcance privado
Un miembro privado es aquel que sólo es visible en la instancia
correspondiente al objeto. Esta instancia puede ver todos los
miembros definidos en su clase y en sus superclases. Visibilidad
vertical.
Alcance público
Un miembro público es aquel que es visible en cualquier parte del
programa.
¿Qué es lo natural?
Que los atributos sean privados y los métodos sean públicos, como
en Oz y Smalltalk.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Control de encapsulación (2)
Alcance privado
Un miembro privado es aquel que sólo es visible en la instancia
correspondiente al objeto. Esta instancia puede ver todos los
miembros definidos en su clase y en sus superclases. Visibilidad
vertical.
Alcance público
Un miembro público es aquel que es visible en cualquier parte del
programa.
¿Qué es lo natural?
Que los atributos sean privados y los métodos sean públicos, como
en Oz y Smalltalk.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Control de encapsulación (2)
Alcance privado
Un miembro privado es aquel que sólo es visible en la instancia
correspondiente al objeto. Esta instancia puede ver todos los
miembros definidos en su clase y en sus superclases. Visibilidad
vertical.
Alcance público
Un miembro público es aquel que es visible en cualquier parte del
programa.
¿Qué es lo natural?
Que los atributos sean privados y los métodos sean públicos, como
en Oz y Smalltalk.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Control de encapsulación (3)
Atributos privados
Los atributos son internos a la abstracción de datos y deben ser
invisibles desde el exterior.
Métodos públicos
Los métodos conforman la interfaz externa de la abstracción de
datos, por lo tanto deberı́an ser visibles para todas las entidades
que referencian la abstracción.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Control de encapsulación (3)
Atributos privados
Los atributos son internos a la abstracción de datos y deben ser
invisibles desde el exterior.
Métodos públicos
Los métodos conforman la interfaz externa de la abstracción de
datos, por lo tanto deberı́an ser visibles para todas las entidades
que referencian la abstracción.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Control de encapsulación (4)
Dos conceptos básicos para controlar la encapsulación
Alcance léxico y valores de tipo nombre. Con ellos se implementa:
Alcane público.
Alcance privado.
Alcance privado y protegido de C++ y Java.
Técnica fundamental
La técnica fundamental es permitir que las cabezas de los métodos
sean valores de tipo nombre en lugar de átomos.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Control de encapsulación (4)
Dos conceptos básicos para controlar la encapsulación
Alcance léxico y valores de tipo nombre. Con ellos se implementa:
Alcane público.
Alcance privado.
Alcance privado y protegido de C++ y Java.
Técnica fundamental
La técnica fundamental es permitir que las cabezas de los métodos
sean valores de tipo nombre en lugar de átomos.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Control de encapsulación (5)
Métodos privados (en el sentido de C++ y Java)
=
Jerarquía de clases
C
Región de visibilidad para
el objeto I3: todos los atributos
privados en esta región
son visibles para I3
‘‘private’’ de acuerdo a
Smalltalk and Oz
SubC
SubSubC
...
Instancias
I1
I2
I3
...
Juan Francisco Dı́az Frias
In
‘‘private’’ de acuerdo a
C++ and Java
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Control de encapsulación (6)
Implementación vı́a nombres (1)
Utilizando un identificador de variable como la cabeza del método.
class C
meth A(X)
% Cuerpo del método
end
end
Implementación vı́a nombres (2)
local
A={NewName}
in
class C
meth !A(X)
% Cuerpo del método
end Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Control de encapsulación (6)
Implementación vı́a nombres (1)
Utilizando un identificador de variable como la cabeza del método.
class C
meth A(X)
% Cuerpo del método
end
end
Implementación vı́a nombres (2)
local
A={NewName}
in
class C
meth !A(X)
% Cuerpo del método
end Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Control de encapsulación (7)
Métodos protegidos (en el sentido de C++)
En C++, un método protegido solamente es accesible desde la
clase donde fue definido o en las clases descendientes (y en todas
las instancias de objetos de esas clases).
Implementación
class C
attr pa:A
meth A(X) skip end
meth foo(...) {self A(5)} end
end
class C1 from C
meth b(...) A=@pa in {self A(5)} end
end
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Control de encapsulación (7)
Métodos protegidos (en el sentido de C++)
En C++, un método protegido solamente es accesible desde la
clase donde fue definido o en las clases descendientes (y en todas
las instancias de objetos de esas clases).
Implementación
class C
attr pa:A
meth A(X) skip end
meth foo(...) {self A(5)} end
end
class C1 from C
meth b(...) A=@pa in {self A(5)} end
end
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Control de encapsulación (8)
Átomos o nombres como cabezas de métodos
Los átomos son visibles a través de todo el programa y los
nombres sólo son visibles en el alcance léxico de su creación.
Use nombres para métodos internos, y use átomos para
métodos externos.
¿Cómo lo hacen los lenguajes más populares?
Smalltalk, C++, y Java sólo soportan átomos como cabezas de
métodos; no tienen soporte para los nombres.
El enfoque basado en nombres no es popular todavı́a.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Control de encapsulación (8)
Átomos o nombres como cabezas de métodos
Los átomos son visibles a través de todo el programa y los
nombres sólo son visibles en el alcance léxico de su creación.
Use nombres para métodos internos, y use átomos para
métodos externos.
¿Cómo lo hacen los lenguajes más populares?
Smalltalk, C++, y Java sólo soportan átomos como cabezas de
métodos; no tienen soporte para los nombres.
El enfoque basado en nombres no es popular todavı́a.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Control de encapsulación (9)
Sencillez de los átomos
Los átomos se identifican únicamente por sus representaciones
impresas.
Con los nombres esto es más difı́cil: el programa mismo tiene
que pasar de alguna manera el nombre a quien desea invocar
el método.
Ventajas de los nombres
Imposible tener conflictos con la herencia (sencilla o múltiple).
La encapsulación se puede manejar mejor, pues una referencia
a un objeto no da necesariamente derecho a invocar los
métodos del objeto.
Los nombres pueden tener soporte sintáctico para simplificar
su uso.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Otros conceptos ligados a la herencia (1)
Herencia
Delegación
Reenvío
definida sobre clases
definida sobre objetos
definida sobre objetos
self común
self común
self no es común
Relación estrecha entre el objeto/clase original Relación menos estrecha
y el objeto/clase derivado
Enfoque ‘‘estático’’:
al momento de la definición de la clase
Juan Francisco Dı́az Frias
Enfoques ‘‘dinámicos’’:
al momento de la creación del objeto
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Otros conceptos ligados a la herencia (2)
Reenvı́o - Implementación
local
class MezclarReenvı́o
attr Reenvı́o:ninguno
meth asgnReenvı́o(F) Reenvı́o:=F end
meth otherwise(M)
if @Reenvı́o==ninguno then raise
métodoIndefinido end
else {@Reenvı́o M} end
end
end
in
fun {NewF Clase Inic}
{New class $ from Clase MezclarReenvı́o end
Inic}
end
end
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Otros conceptos ligados a la herencia (3)
Reenvı́o - Utilización
class C1
meth inic skip end
meth cubo(A B) B=A*A*A end
end
class C2
meth inic skip end
meth cuadrado(A B) B=A*A end
end
Obj1={NewF C1 inic}
Obj2={NewF C2 inic}
{Obj2 asgnReenvı́o(Obj1)}
Invocar {Obj2 cubo(10 X)} llevará a Obj2 a reenviar el mensaje
a Obj1.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Otros conceptos ligados a la herencia (4)
Delegación
Jerarquı́a entre objetos y no entre clases.
Un objeto no hereda de una clase, sino que delega a otro
objeto.
Los mismos efectos de la herencia, pero la jerarquı́a se puede
cambiar en cualquier momento.
{Obj2 asgnDelegado(Obj1)} configura a Obj2 para
delegar en Obj1. Obj1 se comporta como la “superclase” de
Obj2.
El self se preserva siempre: es el self del objeto original
que inició la cadena de delegación. Entonces, el estado del
objeto (los atributos) también es el estado del objeto original.
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Otros conceptos ligados a la herencia (5)
Delegación - Implementación (1)
local
AsgnSelf={NewName}
class MezclarDelegación
attr this Delegado:ninguno
meth !AsgnSelf(S) this:=S end
meth asgn(A X) A:=X end
meth obt(A ?X) X=@A end
meth asgnDelegado(D) Delegado:=D end
meth Del(M S) SS in
SS=@this this:=S
try {self M} finally this:=SS end
end
...
end
in
...
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Otros conceptos ligados a la herencia (6)
Delegación Implementación (2)
local
AsgnSelf={NewName}
class MezclarDelegación
...
meth invcr(M) SS in
SS=@this this:=self
try {self M} finally this:=SS end
end
meth otherwise(M)
if @Delegado==ninguno then
raise métodoIndefinido end
else
{@Delegado Del(M @this)}
end
end
end
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Otros conceptos ligados a la herencia (7)
Delegación Implementación (3)
local
AsgnSelf={NewName}
class MezclarDelegación
...
end
in
fun {NewD Clase Inic}
Obj={New class $ from Clase MezclarDelegación
end Inic}
in
{Obj AsgnSelf(Obj)}
Obj
end
end
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Otros conceptos ligados a la herencia (8)
Delegación - Utilización (1)
Operación
Invocación de objeto
Invocación de Self
Consulta atributo
Modificación atributo
Definición del delegado
Sintaxis original
{hobji M}
Sintaxis de delegación
{hobji invcr(M)}
{self M}
@hattri
hattri:=X
{@this M}
{@this obt(hattri $)}
{@this asgn(hattri X)}
{hobji1 asgnDelegado(hobji2 )}
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Otros conceptos ligados a la herencia (9)
Delegación - Utilización (2)
class C1
attr i:0
meth inic skip end
meth inc(I)
{@this asgn(i {@this obt(i $)}+I)}
end
meth browse
{@this inc(10)}
{Browse c1#{@this obt(i $)}}
end
meth c {@this browse} end
end
Obj1={NewD C1 inic}
Juan Francisco Dı́az Frias
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Otros conceptos ligados a la herencia (9)
Delegación - Utilización (3)
class C2
attr i:0
meth inic skip end
meth browse
{@this inc(100)}
{Browse c2#{@this
obt(i $)}}
end
end
Obj2={NewD C2 inic}
{Obj2 asgnDelegado(Obj1)}
Juan Francisco Dı́az Frias
Delegación - Utilización (4)
{Obj2 invcr(c)}
{Obj1 invcr(c)}
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Otros conceptos ligados a la herencia (9)
Delegación - Utilización (3)
class C2
attr i:0
meth inic skip end
meth browse
{@this inc(100)}
{Browse c2#{@this
obt(i $)}}
end
end
Obj2={NewD C2 inic}
{Obj2 asgnDelegado(Obj1)}
Juan Francisco Dı́az Frias
Delegación - Utilización (4)
{Obj2 invcr(c)}
{Obj1 invcr(c)}
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Otros conceptos ligados a la herencia (10)
Delegación - Utilización (5)
class C2b
attr i:0
meth inic skip end
end
ObjX={NewD C2b inic}
{ObjX asgnDelegado(Obj2)}
Juan Francisco Dı́az Frias
Delegación - Utilización (6)
{ObjX asgnDelegado(Obj1)}
{ObjX invcr(c)}
Modelos y Paradigmas de Programación
Recorderis: Abstracción de datos
Principios de la POO
Herencia
Un modelo OO
Clases como abstracciones de datos completas
Clases como abstracciones de datos incrementales
Otros conceptos ligados a la herencia (10)
Delegación - Utilización (5)
class C2b
attr i:0
meth inic skip end
end
ObjX={NewD C2b inic}
{ObjX asgnDelegado(Obj2)}
Juan Francisco Dı́az Frias
Delegación - Utilización (6)
{ObjX asgnDelegado(Obj1)}
{ObjX invcr(c)}
Modelos y Paradigmas de Programación
Descargar