comprobar sacar libro terminado

src/Biblioteca.java

@@ -56,7 +56,11 @@ public class Biblioteca {
 		throw new UnsupportedOperationException();
 		throw new UnsupportedOperationException();
 	}
 	}
 
 
-	public Boolean ComprobarSacarLibro(Integer aISBN) {
-		throw new UnsupportedOperationException();
+	public Boolean ComprobarSacarLibro(Integer ISBN) {
+		if(_unnamed_Catalogo_18._controla.containsKey(ISBN)){
+			Ejemplar ejemplar = _unnamed_Catalogo_18._controla.get(ISBN);
+            return !ejemplar.get_estado().equals("deteriorado") && ejemplar.get_numReservas() == 0;
+        }else
+			return false;
 	}
 	}
 }
 }
\ No newline at end of file

src/Catalogo.java

+import java.util.HashMap;
+
 public class Catalogo {
 public class Catalogo {
 	private Integer _numeroLibros;
 	private Integer _numeroLibros;
 	private Boolean _librosMalEstado;
 	private Boolean _librosMalEstado;
 	public Biblioteca _unnamed_Biblioteca_24;
 	public Biblioteca _unnamed_Biblioteca_24;
-	public Libro _controla;
+	public HashMap<Integer,Ejemplar> _controla;
 }
 }
\ No newline at end of file

src/Ejemplar.java

@@ -20,4 +20,20 @@ public class Ejemplar extends Libro {
 	public void ActualizarEstadoLibro() {
 	public void ActualizarEstadoLibro() {
 		throw new UnsupportedOperationException();
 		throw new UnsupportedOperationException();
 	}
 	}
+
+	public String get_estado() {
+		return _estado;
+	}
+
+	public void set_estado(String _estado) {
+		this._estado = _estado;
+	}
+
+	public Integer get_numReservas() {
+		return _numReservas;
+	}
+
+	public void set_numReservas(Integer _numReservas) {
+		this._numReservas = _numReservas;
+	}
 }
 }
\ No newline at end of file