Abstracción de Datos

1. La abstracción es un recurso fundamental en la programación orientada a objetos y está además fuertemente ligado a reusabilidad. El reconocimiento de patrones de comportamiento no solo permite agrupar objetos en clases, sino también reusar clases en aplicaciones diferentes. Abstracción de Datos

2. Tipo de Dato Abstracto Una clase que modela los atributos y el comportamiento de una colección de objetos, define un tipo de dato. Si en el modelo se encapsula la representación de los atributos y la implementación de las operaciones, el tipo de dato es abstracto. La interface describe qué pueden hacer los objetos de una clase, la implementación establece cómo lo hacen.

3. Tipo de Dato Abstracto Cuando un programador define un tipo de dato abstracto, extiende las facilidades provistas por el lenguaje con una nueva abstracción. Algunos tipos son generales y más fáciles de reusar. Otros son más específicos de una aplicación en particular. El TDA String provisto por Java es muy general y seguramente podrá usarse en aplicaciones muy diversas, nuestro TDA Racional es más específico y los TDA Inventario y Estacionamiento todavía más.

4. Caso de Estudio: Inventario Una dependencia municipal mantiene un inventario permanente de los bienes de uso. La clase Articulo modela a cada bien de uso con atributos código, año de compra, valor actual y rubro (1:Rodados,2:Muebles, 3:Herramientas,4:Equipos) El conjunto de bienes de uso se mantiene en un arreglo parcialmente ocupado con componentes de clase Articulo, encapsulado en una clase Inventario El sistema GestionInventario actualiza el objeto Inventario mediante las operaciones provistas por la clase.

5. Inventario Articulo T [] Articulo cant:entero codigo:entero rubro:entero valor:real anio:entero Caso de Estudio: Inventario << Constructores>> Inventario(max:entero) <<Comandos>> insertar (c:Articulo) eliminar (c:Articulo) depreciarRubro (r:entero,p:real) <<Consultas>> cantArt():entero estaLleno():entero recuperar (c:entero):Articulo pertenece (c:entero):boolean pertenece (c:Articulo):boolean unAnio(a:entero):Inventario <<Constructor>> Articulo (c:entero,r:entero, v:entero,a:entero) <<Comandos>> depreciar(p:real) <<Consultas>> equals(Articulo a):boolean

6. Caso de Estudio: Inventario Las clases Inventario y Articulo están asociadas. La clase Inventario encapsula a un arreglo T de elementos de clase Articulo El atributo cant mantiene en cada momento la cantidad de elementos ocupados en el arreglo y también la posición en la que se va a insertar el próximo elemento. Los elementos están “comprimidos”, todos los elementos nulos están al final.

7. Caso de Estudio: Inventario Inventario(max:entero) crea un objeto de clase Inventario se crea un arreglo de max elementos, inicialmente nulos. insertar(a:Articulo) Asigna c a la primera posición libre del arreglo, es decir, cant. Aumenta el valor de cant. Requiere que la clase cliente haya verificado que la colección no esté llenay a no sea nulo eliminar(a:Articulo) copia el último elemento en la posición que ocupaba a, de modo que no se conserva el orden en el que se insertan. Decrementa el valor de cant. Si c no pertenece al arreglo no provoca ningún cambio.

8. Caso de Estudio: Inventario depreciarRubro(r:entero,p:float) modifica el valor de cada artículo del rubro r decrementándolo de acuerdo al porcentaje p.

9. Caso de Estudio: Inventario recuperar(c:entero)Retorna, si existe, el artículo con el código c Si no existe retorna nul pertenece(c:entero)Retorna verdadero si un elemento del Inventario tiene el código pertenece(a:Articulo)Decide si algún elemento de la colección es tienen el mismo estado interno que c unAnio(a:entero)genera un objeto de clase Inventario solo con los objetos que corresponden al año a.

10. Caso de Estudio: Inventario class Inventario { //Atributos de Instancia private Articulo[] T; privateintcant; /*Constructor Crea una Coleccion con capacidad para max elementos*/ public Inventario(int max) { T= new Articulo [max]; cant = 0; } class GestiónInventario { … Inventarioim = new Inventario(100); … }

11. Caso de Estudio: Inventario … length T cant im 0 100

12. Caso de Estudio: Inventario //Comandos publicvoid insertar (Articulo a) { /*Asigna aa la primera posición libre del arreglo, es decir, cant. Aumenta el valor de cant. Requiere que la clase cliente haya verificado que la colección no esté llena y a esté ligado. */ T[cant++] = a; } class GestiónInventario { … art = new Articulo(119,1,155000,2013); im.insertar(art); … }

13. Caso de Estudio: Inventario … length T cant im 119 1 0 155000 2013 100

14. Caso de Estudio: Inventario //Consultas publicintcantArt () { returncant; } publicbooleanestaLleno() { returncant == T.length; }

15. Caso de Estudio: Inventario publicArticulo recuperar (int c){ /*Retorna, si existe, el artículo con el código c Si no existe retorna nulo*/ boolean esta = false; for (int i = 0; !esta && i < cantArt() ; i++){ esta = T[i].obtenerCodigo() == c; } if (esta) return T[i]; elsereturnnull; } Observemos que en este caso no existe la posibilidad de que la referencia sea nula, si la clase cliente cumplió con su responsabilidad

16. Caso de Estudio: Inventario publicboolean pertenece (int c){ /*Retorna verdadero si un elemento del Inventario tiene el código c*/ boolean esta = false; for (int i = 0; !esta && i < cantArt() ; i++){ esta = T[i].obtenerCodigo() == c; } return esta; }

17. Caso de Estudio: Inventario publicboolean pertenece (Articulo c){ /*Decide si algún elemento de la colección tiene el mismo estado interno que c*/ boolean esta = false; for (int i = 0; !esta && i < cantArt() ; i++){ esta = T[i].equals(c); } return esta; }

18. Caso de Estudio: Inventario publicvoid eliminar ( Articulo c){ /*Copia el último elemento en la posición que ocupaba c, de modo que no se conserva el orden en el que se insertan. Decrementa el valor de cant. Si c no pertenece al arreglo no provoca ningún cambio */ boolean esta = false; int i= 0; while (!esta && i < cantArt())//Busca a c if (T [i] == c) esta = true; else i++; if (esta) { cant--; T[i] = T[cant]; T [cant] = null; } }

19. Caso de Estudio: Inventario publicvoid eliminar ( Articulo c){ /*Copia el último elemento en la posición que el elemento equivalente a c, de modo que no se conserva el orden en el que se insertan. Decrementa el valor de cant. Si c no pertenece al arreglo no provoca ningún cambio */ boolean esta = false; int i= 0; while (!esta && i < cantArt())//Busca a c if (T [i].equals(c)) esta = true; else i++; if (esta) { cant--; T[i] = T[cant]; T [cant] = null; } } El diseñadordebeespecificarsibuscamos un elemento con la mismaidentidadque c o con el mismoestadointerno.

20. Caso de Estudio: Inventario publicvoiddepreciarRubro(int r, float p){ /*modifica el valor de cada artículo del rubro r decrementándolo de acuerdo al porcentaje p. */ for(int i = 0; i < cantArt() ; i++) if(T[i].obtenerRubro() == r){ T[i].depreciar(p); } }

21. Caso de Estudio: Inventario publicInventario unAnio(int a){ /*genera un objeto de clase Inventario solo con los objetos que corresponden al año a.*/ Inventario n = new Inventario(cantArt()); for(int i = 0; i < cantArt() ; i++) if(T[i].obtenerAnio() == a){ n.insertar(T[i]); } return n; }

22. Caso de Estudio: Inventario Notemos que tal como está modelado el inventario no hay ningún servicio que permita “mostrar” todos los artículos del inventario. Toda la entrada y salida se realiza desde la clase cliente, en este caso GestionInventario. La clase cliente no conoce las posiciones de los artículos en el inventario.