INTRODUCCIÓN A LA PROGRAMACIÓN ORIENTADA A OBJETOS

INTRODUCCIÓN A LA PROGRAMACIÓN ORIENTADA A OBJETOS
Herencia y Polimorfismo Dr. Luciano H. Tamargo Depto. de Ciencias e Ingeniería de la Computación Universidad Nacional del Sur, Bahía Blanca 2017

CASO DE ESTUDIO: EXPENDEDORA CAFÉ
Una fábrica produce tres tipos diferentes de máquinas expendedoras de café, M111, R101 y R101Plus. Las máquinas del tipo M111 preparan café y café con leche. Tienen depósitos para los siguientes ingredientes secos: café y leche. Las máquinas de tipo R101 preparan café , y café carioca . Tienen depósitos para café, crema y cacao. El modelo R101Plus agrega el café bahiano, que es un café carioca con canela y prepara un café más fuerte. Tiene depósito para canela. Los tres modelos tienen un depósito de agua. Introducción a la Programación Orientada a Objetos IPOO

CASO DE ESTUDIO: EXPENDEDORA DE CAFÉ
Los depósitos tienen las siguientes capacidades máximas: Agua mililitros Café gramos Leche gramos Cacao gramos Crema gramos Canela gramos Además de la capacidad máxima de cada ingrediente, cada máquina mantiene registro de la cantidad disponible. Introducción a la Programación Orientada a Objetos IPOO

Cuando se habilita una máquina las cantidades disponibles comienzan con el valor máximo de cada ingrediente. La cantidad disponible aumenta cuando se carga el depósito con un ingrediente específico y disminuye cada vez que se prepara una infusión. Cuando se recarga se completa el depósito hasta su máxima capacidad. Introducción a la Programación Orientada a Objetos IPOO

M111 R101 R101Plus *ExpendedoraCafe M111 R101 R101Plus

La clase más general incluye los atributos compartidos por todas las instancias: *ExpendedoraCafe <<atributos de clase>> maxCafe: entero maxAgua: entero <<atributos de instancia>> cantCafe: entero cantAgua: entero ExpendedoraCafe no modela a ninguna máquina, es un recurso artificial creado para reusar.

La clase más general incluye los servisios compartidos por todas las instancias: *ExpendedoraCafe <<Constructor>> ExpendedoraCafe() <<Comandos>> cafe() recargarCafe() recargarAgua() <<consultas>> vasosCafe():entero Las cantidades disponibles se inicializan con los máximos Require disponible 40 grs. de café y 200 ml de agua. Se carga el depósito completo Calcula la cantidad máxima de vasos que pueden prepararse con las cantidades en depósito

En el diseño la clase ExpendedoraCafe permite factorizar los atributos y comportamiento que comparten todas las máquinas de la fábrica. La clase ExpendedoraCafe es entonces abstracta, en la aplicación no hay entidades de esa clase y en ejecución no habrá objetos de software de esa clase. Toda clase abstracta tiene que especializarse en al menos una clase concreta, esto es una clase que modele a entidades del problema. Introducción a la Programación Orientada a Objetos IPOO

M111 <<atributos de clase>> maxLeche:entero <<atributos de instancia>> cantLeche:entero <<Constructor>> M111() <<Comandos>> cafeConLeche() recargarLeche() <<consultas>> vasosCafeConLeche():entero Las cantidades disponibles se inicializan con los máximos Require disponible 40 grs. de café, 20 de leche y 200 ml de agua. Se carga el depósito completo Calcula la cantidad máxima de vasos que pueden prepararse con las cantidades en depósito

<<atributos de clase>> maxCrema:entero maxCacao:entero <<atributos de instancia>> cantCrema:entero cantCacao:entero <<Constructor>> R101() <<Comandos>> carioca() recargarCrema() recargarCacao() <<consultas>> vasosCarioca():entero Las cantidades disponibles se inicializan con los máximos Require disponible 30 grs. de café, 30 de crema, 10 de cacao y 200 ml de agua. Se carga el depósito completo Calcula la cantidad máxima de vasos que pueden prepararse con las cantidades en depósito

R101Plus <<atributos de clase>> maxCanela:entero <<atributos de instancia>> cantCanela:entero <<Constructor>> R101Plus() <<Comandos>> bahiano() café() recargarCanela() <<consultas>> vasosCafe():entero vasosBahiano():entero Las cantidades disponibles se inicializan con los máximos Require disponible para un café Carioca y 10 gramos de canela Require disponible 50 grs. de café y 200 ml de agua. Se carga el depósito completo Calcula la cantidad máxima de vasos que pueden prepararse con las cantidades en depósito

abstract class ExpendedoraCafe { //atributos de clase //gramos protected static final int maxCafe = 1500; //mililitros protected static final int maxAgua = 1500; //atributos de instancia protected int cantCafe; protected int cantAgua; Introducción a la Programación Orientada a Objetos IPOO

//Constructor de ExpendedoraCafe public ExpendedoraCafe() { //Cada depósito se carga completo cantCafe = maxCafe; cantAgua = maxAgua; } Como la clase es abstracta el constructor solo será accedido desde las clases derivadas. Introducción a la Programación Orientada a Objetos IPOO

//Comandos de ExpendedoraCafe public void cafe() { /*Requiere disponibles 40 gramos de café y 200 ml de agua*/ cantCafe = cantCafe – 40; cantAgua = cantAgua – 200; } public void recargarCafe() { //Carga el depósito completo cantCafe = maxCafe; public void recargarAgua() { cantAgua = maxAgua;}

//Consultas de ExpendedoraCafe public int vasosCafe() { /*Computa cuántos vasos de café pueden prepararse con las cantidades disponibles*/ int c = (int) cantCafe / 40; int a = (int) cantAgua / 200; if (c < a) return c; else return a; } En este caso de estudio la clase es abstracta aun cuando NINGUNO DE LOS MÉTODOS ES ABSTRACTO. Introducción a la Programación Orientada a Objetos IPOO

class M111 extends ExpendedoraCafe { //atributos de clase //gramos protected static final int maxLeche = 600; //atributos de instancia protected int cantLeche; La clase M111 está vinculada a la clase abstracta ExpendedoraCafe por una relación de herencia. Todo objeto de clase M111 es también una instancia de la clase ExpendedoraCafe. Introducción a la Programación Orientada a Objetos IPOO

//Constructor de M111 public M111() { //Cada depósito se carga completo super(); cantLeche = maxLeche; } Una clase derivada hereda de la clase base todos sus atributos y métodos, pero no los constructores. Cada constructor de la clase derivada puede invocar a un constructor de la clase base usando palabra clave super. Si se invoca un constructor de la clase base siempre tiene que ser en la primera línea del bloque de código. Introducción a la Programación Orientada a Objetos IPOO

El estado interno de cada objeto de clase M111 incluye los atributos definidos en esa clase más los atributos heredados de ExpendedoraCafe. Un objeto de clase M111 puede recibir cualquiera de los mensajes que corresponden a su comportamiento, pero además hereda el comportamiento de sus clases ancestro. :M111 cantCafe cantAgua cantLeche

//Comandos de M111 public void cafeConLeche() { /*Requiere disponibles 40 gramos de café, 200 ml de agua y 20 grs de leche*/ cafe(); cantLeche = cantLeche -20; } public void recargarLeche() { //Carga el depósito completo cantLeche = maxLeche; Introducción a la Programación Orientada a Objetos IPOO

//Consultas de M111 public int vasosCafeConLeche() { /*Computa cuántos vasos de café con leche pueden prepararse con las cantidades disponibles*/ int c = vasosCafe(); int l = (int) cantLeche / 20; if (c < l) return c; else return l; } Introducción a la Programación Orientada a Objetos IPOO

class R101 extends ExpendedoraCafe { //atributos de clase //gramos
protected static final int maxCrema = 600; protected static final int maxCacao = 300; //atributos de instancia protected int cantCrema; protected int cantCacao; //Constructor de R101 public R101() { //Cada depósito se carga completo super(); cantCacao = maxCacao; cantCrema = maxCrema; } Introducción a la Programación Orientada a Objetos IPOO

//Comandos de R101 public void carioca() { /*Requiere disponibles 30 gramos de café, 200 ml de agua, 30 de crema y 10 grs de cacao*/ cantCafe = cantCafe -30; cantAgua = cantAgua -200; cantCrema = cantCrema -30; cantCacao = cantCacao -10; } public void recargarCrema() { //Carga el depósito completo cantCrema = maxCrema; public void recargarCacao() { cantCacao = maxCacao;

R101 m1 = new R101 (); M111 m2 = new M111(); m1.cafe(); m2.cafe(); En el problema, las máquinas R101 y M111 ofrecen café. En la solución, las clases R101 y M111 heredan los atributos de instancia y los servicios de la clase abstracta ExpendedoraCafe, de modo que un objeto de cualquiera de esas clases puede recibir el mensaje cafe(). Introducción a la Programación Orientada a Objetos IPOO

R101 m1 = new R101 (); M111 m2 = new M111(); m1.cafeConLeche(); m2.cafeConLeche(); En el problema, solo las máquinas del modelo M111 ofrecen café con leche. En la solución, solo los objetos de clase M111 pueden recibir el mensaje cafeConLeche. ERROR de compilación Introducción a la Programación Orientada a Objetos IPOO

R101 m1 = new R101(); R101Plus m2 = new R101Plus(); m1.cafe(); m2.cafe(); El método cafe() de la clase ExpendedoraCafe queda derogado para los objetos de clase R101Plus. Se liga al método definido en ExpendedoraCafe Se liga al método definido en R101Plus Introducción a la Programación Orientada a Objetos IPOO

R101 m1 = new R101(); R101 m3 = new R101Plus(); m1.cafe(); m3.cafe(); La ligadura entre el mensaje y el método se establece en ejecución de acuerdo al tipo dinámico de la variable. Se liga al método definido en ExpendedoraCafe Se liga al método definido en R101Plus Introducción a la Programación Orientada a Objetos IPOO

R101 m1 = new R101(); R101Plus m2 = new R101Plus(); m1.carioca(); m2.carioca(); m1.bahiano(); m2.bahiano(); ERROR de compilación Introducción a la Programación Orientada a Objetos IPOO

R101 m1 = new R101(); R101 m3 = new R101Plus(); m1.bahiano(); m3.bahiano(); ERROR de compilación ERROR de compilación El chequeo de tipos se realiza en compilación de acuerdo al tipo estático de la variable. Introducción a la Programación Orientada a Objetos IPOO

ExpendedoraCafe e; e = new ExpendedoraCafe(); ERROR de compilación La clase ExpendedoraCafe es abstracta, no pueden crearse objetos. Introducción a la Programación Orientada a Objetos IPOO

ExpendedoraCafe e1,e2,e3; e1 = new M111(); e2 = new R101(); e3 = new R101Plus(); Las variables e1, e2 y e3 son polimórficas, como la clase ExpendedoraCafe es abstracta, solo pueden quedar ligadas a objetos de las clases derivadas. Introducción a la Programación Orientada a Objetos IPOO

ExpendedoraCafe e1,e2,e3; e1 = new M111(); e2 = new R101(); e3 = new R101Plus(); e1.cafe(); e2.cafe(); e3.cafe(); Se liga al método definido en ExpendedoraCafe Se liga al método definido en ExpendedoraCafe Se liga al método definido en R101Plus La clase del objeto determina la ligadura entre el mensaje y el método. Introducción a la Programación Orientada a Objetos IPOO

ExpendedoraCafe e1,e2,e3; e1 = new M111(); e2 = new R101(); e3 = new R101Plus(); e1.cafeConLeche(); e2.carioca(); e3.bahiano(); ERRORES de compilación El tipo de la variable determina los mensajes que puede recibir el objeto. Introducción a la Programación Orientada a Objetos IPOO

Como parte de sus actividades de responsabilidad social la fábrica instala y mantiene en funcionamiento las máquinas expendedoras de café de algunos hospitales. Cada máquina se asigna a un sector del hospital y el encargado realiza un relevamiento que le permite instalar nuevas máquinas, desinstalar y efectuar consultas. Introducción a la Programación Orientada a Objetos IPOO

*ExpendedoraCafe ExpHospital M111 R101 R101Plus Introducción a la Programación Orientada a Objetos IPOO

ExpHospital T [] ExpendedoraCafe <<constructores>> ExpHospital (max : entero) <<comandos>> instalar(r: ExpendedoraCafe, s: entero) desinstalar(s: entero) Introducción a la Programación Orientada a Objetos IPOO

ExpHospital T [] ExpendedoraCafe <<consultas>> cantSectores(): entero cantSectoresOcupados(): entero todosOcupados(): boolean estaExpendedoraCafe(r: ExpendedoraCafe): boolean existeSector(s: entero): boolean cantDisponible(vasos: entero): entero Introducción a la Programación Orientada a Objetos IPOO

cantSectoresOcupados(): entero La especificación: Retorna la cantidad de sectores del hospital que tienen instalada a una máquina Es equivalente a: Retorna la cantidad de componentes del arreglo que mantienen referencias ligadas. ExpHospital T [] ExpendedoraCafe Introducción a la Programación Orientada a Objetos IPOO

class ExpHospital { private ExpendedoraCafe[] T; //Constructor public ExpHospital(int max) { /*Crea un arreglo con max elementos, cada elemento representa un sector de la fábrica*/ T= new ExpendedoraCafe [max]; } ... Introducción a la Programación Orientada a Objetos IPOO

public void instalar(ExpendedoraCafe r, int s) { /*Asigna el la máquina r al sector s. Requiere 0<=s<cantSectores() */ T[s] = r; } public void desinstalar(int s) { /*Elimina la asignación de la máquina r del sector s. Requiere 0<=s<cantSectores()*/ T[s] = null; } Introducción a la Programación Orientada a Objetos IPOO

public int cantSectores(){ return T.length; } public int cantSectoresOcupados (){ /*Computa la cantidad de sectores que tienen una máquina instalada*/ int i = 0; int cant = 0; while (i < cantSectores()){ if (T[i]!=null) cant++; i++; return cant; Introducción a la Programación Orientada a Objetos IPOO

public boolean todosOcupados (){ /*Retorna true si hay al menos un sector que no tiene una máquina instalada*/ int i = 0; boolean hayNulo= false; while (i<cantSectores() && !hayNulo ){ hayNulo = T[i]==null; i++; } return !hayNulo; El arreglo T es una estructura de datos polimórficas, todos los elementos son instancias de alguna clase derivada de ExpendedoraCafe.

public boolean estaExp(ExpendedoraCafe r){ /* Decide si algún sector tiene asignado una máquina con la misma identidad que r */ int i = 0; boolean esta = false; while (i < cantSectores() && !esta ){ esta = T[i] == r ; i++; } return esta; Introducción a la Programación Orientada a Objetos IPOO

public boolean existeSector (int s){ return s>= 0 & s< cantSectores(); } public ExpendedoraCafe expSector (int s){ /*Retorna la máquina instalada en el sector s, requiere 0<=s<cantSectores()*/ return T[s]; Introducción a la Programación Orientada a Objetos IPOO

public int cantDisponible(int n){ /*Cuenta los sectores con máquinas con ingredientes para preparar al menos n vasos de café*/ int cont =0; for (int i=0;i<cantSectores();i++) if (T[i] != null) if(T[i].vasosCafe() > n) cont++; return cont; } El mensaje vasosCafe() se liga al método definido en la clase del objeto referenciado por T[i]

class gestionHospital{ … ExpHospital eh = new ExpHospiral(10); M111 m1 = new M111(); R101Plus m2 = new R101Plus(); eh.instalar(m1,4); eh.instalar(m2,1); } Introducción a la Programación Orientada a Objetos IPOO

m1 m2 :ExpHospital eh :R101Plus T :M111 10

ExpHospital T [] ExpendedoraCafe <<consultas>> cantSectores(): entero cantSectoresOcupados(): entero todosOcupados(): boolean estaExpendedoraCafe(r: ExpendedoraCafe): boolean existeSector(s: entero): boolean cantDisponible(vasos: entero): entero cantEquivalentes(e: ExpendedoraCafe) Computa la cantidad de máquinas instaladas en el hospital , equivalentes a e.

public int cantEquivalente(ExpendedoraCafe c){ /*Cuenta los sectores tienen asignadas máquinas equivalentes a c. Requiere c ligada*/ int cont =0; for (int i=0;i<cantSectores();i++) if (T[i] != null) if(T[i].equals(c)) cont++; return cont; } Introducción a la Programación Orientada a Objetos IPOO

<<atributos de clase>> maxCafe : entero maxAgua:entero
*ExpendedoraCafe <<atributos de clase>> maxCafe : entero maxAgua:entero <<atributos de instancia>> cantCafé : entero cantAgua:entero <<Constructor>> ExpendedoraCafe() <<Comandos>> cafe() recargarCafe() recargarAgua() <<consultas>> vasosCafe():entero obtenerCafe():entero obtenerAgua():entero equals(e:ExpendedoraCafe) Las cantidades disponibles se inicializan con los máximos Require disponible 40 grs. de café y 200 ml de agua. Se carga el depósito completo Calcula la cantidad máxima de vasos que pueden prepararse con las cantidades en depósito Dos máquinas son equivalentes si tienen la misma cantidad de café y la misma cantidad de agua.

abstract class ExpendedoraCafe{ public boolean equals (ExpendedoraCafe e){ return cantCafe == e.obtenerCafe()&& cantAgua == e.obtenerAgua(); } Introducción a la Programación Orientada a Objetos IPOO

<<atributos de clase>> maxLeche:entero
Las cantidades disponibles se inicializan con los máximos M111 <<atributos de clase>> maxLeche:entero <<atributos de instancia>> cantLeche:entero <<Constructor>> M111() <<Comandos>> cafeConLeche() recargarLeche() <<consultas>> vasosCafeConLeche():entero obtenerLeche() equals(e:M111):boolean Require disponible 40 grs. de café, 20 de leche y 200 ml de agua. Se carga el depósito completo Calcula la cantidad máxima de vasos que pueden prepararse con las cantidades en depósito Dos máquinas son equivalente si tienen las mismas cantidades en depósito, para cada ingrediente

abstract class ExpendedoraCafe{ //Requiere e ligado public boolean equals (ExpendedoraCafe e){ return cantCafe == e.obtenerCafe()&& cantAgua == e.obtenerAgua(); } class M111 extends ExpendedoraCafe{ //Requiere e ligado public boolean equals (M111 e){ return super.equals(e) && cantLeche == e.obtenerLeche(); } El método está sobrecargado, el tipo estático de la variable determina el método que se liga.

public int cantEquivalente(ExpendedoraCafe c){ /*Cuenta los sectores tienen asignadas máquinas equivalentes a c. Requiere c ligada*/ int cont =0; for (int i=0;i<cantSectores();i++) if (T[i] != null) if(T[i].equals(c)) cont++; return cont; } El mensaje equals siempre se liga al método definido en ExpendedoraCafe.

<<atributos de clase>> maxLeche:entero
<<atributos de instancia>> cantLeche:entero <<Constructor>> M111() <<Comandos>> cafeConLeche() recargarLeche() <<consultas>> vasosCafeConLeche():entero obtenerLeche() equals(e:ExpendedoraCafe):boolean Las cantidades disponibles se inicializan con los máximos Require disponible 40 grs. de café, 20 de leche y 200 ml de agua. Se carga el depósito completo Calcula la cantidad máxima de vasos que pueden prepararse con las cantidades en depósito

public int cantEquivalente(ExpendedoraCafe c){ /*Cuenta los sectores tienen asignadas máquinas equivalentes a c. Requiere c ligada*/ int cont =0; for (int i=0;i<cantSectores();i++) if (T[i] != null) if(T[i].equals(c) > n) cont++; return cont; } La ligadura depende de la clase del objeto ligado a T[i]. Es necesario considerar el caso de que la clase de T[i] y la clase de c sean diferentes.

class M111 extends ExpendedoraCafe{ public boolean equals (ExpendedoraCafe e){ //Requiere e ligado boolean es = false; if (this.getClass() == e.getClass()){ M111 m = (M111) e; es = super.equals(m) && cantLeche.equals(m.obtenerLeche()); } return es; El método está redefinido, el tipo dinámico de la variable determina el método que se liga.

HERENCIA Y EQUIVALENCIA
La implementación del método equals debe verificar las propiedades: Reflexividad: x.equals(x) retorna true Simetría: si x.equals(y) retorna true si y sólo si y.equals(x) es true Transitividad: si x.equals(y) y y.equals(z) retornan true entonces x.equals(z) retorna true Introducción a la Programación Orientada a Objetos IPOO

INTRODUCCIÓN A LA PROGRAMACIÓN ORIENTADA A OBJETOS

Presentaciones similares

Presentación del tema: "INTRODUCCIÓN A LA PROGRAMACIÓN ORIENTADA A OBJETOS"— Transcripción de la presentación:

Presentaciones similares

Sobre el proyecto

Feedback

Iniciar la sesión

Autorizarse a través de una red social:

INTRODUCCIÓN A LA PROGRAMACIÓN ORIENTADA A OBJETOS

Presentaciones similares

Presentación del tema: "INTRODUCCIÓN A LA PROGRAMACIÓN ORIENTADA A OBJETOS"— Transcripción de la presentación:

Presentaciones similares

Sobre el proyecto

Feedback