primer commit

.gitignore

+### IntelliJ IDEA ###
+out/
+!**/src/main/**/out/
+!**/src/test/**/out/
+
+### Eclipse ###
+.apt_generated
+.classpath
+.factorypath
+.project
+.settings
+.springBeans
+.sts4-cache
+bin/
+!**/src/main/**/bin/
+!**/src/test/**/bin/
+
+### NetBeans ###
+/nbproject/private/
+/nbbuild/
+/dist/
+/nbdist/
+/.nb-gradle/
+
+### VS Code ###
+.vscode/
+
+### Mac OS ###
+.DS_Store
\ No newline at end of file

.idea/.gitignore

+# Default ignored files
+/shelf/
+/workspace.xml
+# Editor-based HTTP Client requests
+/httpRequests/
+# Datasource local storage ignored files
+/dataSources/
+/dataSources.local.xml

.idea/misc.xml

+<?xml version="1.0" encoding="UTF-8"?>
+<project version="4">
+  <component name="ProjectRootManager" version="2" languageLevel="JDK_21" default="true" project-jdk-name="21" project-jdk-type="JavaSDK">
+    <output url="file://$PROJECT_DIR$/out" />
+  </component>
+</project>
\ No newline at end of file

.idea/modules.xml

+<?xml version="1.0" encoding="UTF-8"?>
+<project version="4">
+  <component name="ProjectModuleManager">
+    <modules>
+      <module fileurl="file://$PROJECT_DIR$/ipo.iml" filepath="$PROJECT_DIR$/ipo.iml" />
+    </modules>
+  </component>
+</project>
\ No newline at end of file

ipo.iml

+<?xml version="1.0" encoding="UTF-8"?>
+<module type="JAVA_MODULE" version="4">
+  <component name="NewModuleRootManager" inherit-compiler-output="true">
+    <exclude-output />
+    <content url="file://$MODULE_DIR$">
+      <sourceFolder url="file://$MODULE_DIR$/src" isTestSource="false" />
+    </content>
+    <orderEntry type="inheritedJdk" />
+    <orderEntry type="sourceFolder" forTests="false" />
+  </component>
+</module>
\ No newline at end of file

src/Biblioteca.java

+
+
+public class Biblioteca {
+	private Biblioteca _instancia;
+	public Catalogo _unnamed_Catalogo_18;
+	public Usuario _hay;
+	public EstrategiaHistorial _unnamed_EstrategiaHistorial_;
+
+	private Biblioteca() {
+		throw new UnsupportedOperationException();
+	}
+
+	public Biblioteca ObtenerInstancia() {
+		throw new UnsupportedOperationException();
+	}
+
+	public Boolean ComprobarUsuario(Object aIDUsuario) {
+		throw new UnsupportedOperationException();
+	}
+
+	public void RecibirLibro(String aTitulo) {
+		throw new UnsupportedOperationException();
+	}
+
+	public void FinalizarReserva() {
+		throw new UnsupportedOperationException();
+	}
+
+	public Boolean ComprobarLibroEnPosesion(Integer aIDUsuario, String aISBN) {
+		throw new UnsupportedOperationException();
+	}
+
+	public void SalirSistema() {
+		throw new UnsupportedOperationException();
+	}
+
+	public void RealizarPrestamo() {
+		throw new UnsupportedOperationException();
+	}
+
+	public void TerminarPrestamo() {
+		throw new UnsupportedOperationException();
+	}
+
+	public Boolean ComprobarSacarLibro(Integer aISBN) {
+		throw new UnsupportedOperationException();
+	}
+}
\ No newline at end of file

src/Catalogo.java

+public class Catalogo {
+	private Integer _numeroLibros;
+	private Boolean _librosMalEstado;
+	public Biblioteca _unnamed_Biblioteca_24;
+	public Libro _controla;
+}
\ No newline at end of file

src/Ejemplar.java

+public class Ejemplar extends Libro {
+	private String _iSBN;
+	private Integer _idInventario;
+	private String _fechaCompra;
+	private String _estado;
+	private Boolean _subjectstate;
+	private Integer _numReservas;
+	public Sancion _unnamed_Sancion_6;
+	public EstrategiaPrestamo _estrategiaPrestamo;
+	public EstrategiaReserva _estrategiaReserva;
+
+	public Boolean GetState() {
+		throw new UnsupportedOperationException();
+	}
+
+	public void SetState(Object aState) {
+		throw new UnsupportedOperationException();
+	}
+
+	public void ActualizarEstadoLibro() {
+		throw new UnsupportedOperationException();
+	}
+}
\ No newline at end of file

src/EstrategiaHistorial.java

+public interface EstrategiaHistorial {
+
+	public void Anadir();
+
+	public void Consultar();
+}
\ No newline at end of file

src/EstrategiaPrestamo.java

+public class EstrategiaPrestamo implements EstrategiaHistorial {
+	private String _fechaTope;
+	private String _fechaDev;
+	public Ejemplar _ejemplar;
+
+	public void Anadir() {
+		throw new UnsupportedOperationException();
+	}
+
+	public void Consultar() {
+		throw new UnsupportedOperationException();
+	}
+}
\ No newline at end of file

src/EstrategiaReserva.java

+public class EstrategiaReserva implements EstrategiaHistorial {
+	public Ejemplar _ejemplar;
+
+	public void Anadir() {
+		throw new UnsupportedOperationException();
+	}
+
+	public void Consultar() {
+		throw new UnsupportedOperationException();
+	}
+}
\ No newline at end of file

src/Lector.java

+import java.util.List;
+
+public class Lector extends Usuario {
+	private String _tipo;
+	private String _estado;
+	private String _fechaPenalizacion;
+	private Integer _numPenalizaciones;
+	private List<String> _historialPrestamos;
+	public Sancion _sancion;
+	public EstrategiaHistorial _estrategiaHistorial;
+
+	public void NotificarEstado() {
+		throw new UnsupportedOperationException();
+	}
+
+	public void CalificarLibro(Object aLibro) {
+		throw new UnsupportedOperationException();
+	}
+
+	public List<String> ConsultarHistorialPrestamos() {
+		throw new UnsupportedOperationException();
+	}
+
+	public void AplicarPenalizacion() {
+		throw new UnsupportedOperationException();
+	}
+
+	public Libro ComprarLibro(String aTitulo) {
+		throw new UnsupportedOperationException();
+	}
+
+	public EstrategiaReserva RealizarReserva() {
+		throw new UnsupportedOperationException();
+	}
+
+	public Integer ComprobarNumLibros() {
+		throw new UnsupportedOperationException();
+	}
+}
\ No newline at end of file

src/Libro.java

+import java.util.Observer;
+
+public abstract class Libro {
+	private int _iD;
+	private String _titulo;
+	private Integer _ano;
+	private String _autores;
+	private String _paginas;
+	private Float _calificacionMedia;
+	public Catalogo _controla;
+	public Usuario _usuario;
+
+	public void Attach(Observer aO) {
+		throw new UnsupportedOperationException();
+	}
+
+	public void Detach(Observer aO) {
+		throw new UnsupportedOperationException();
+	}
+
+	public void Notify() {
+		throw new UnsupportedOperationException();
+	}
+
+	public void ReponerLibro(String aISBN) {
+		throw new UnsupportedOperationException();
+	}
+
+	public Libro ElegirLibro(Object aISBN) {
+		throw new UnsupportedOperationException();
+	}
+}
\ No newline at end of file

src/Main.java

+//TIP To <b>Run</b> code, press <shortcut actionId="Run"/> or
+// click the <icon src="AllIcons.Actions.Execute"/> icon in the gutter.
+public class Main {
+    public static void main(String[] args) {
+
+    }
+}
\ No newline at end of file

src/Sancion.java

+public class Sancion {
+	private String _nombreEjemplar;
+	private String _fechaReposicion;
+	private Integer _idSancion;
+	private String _motivoSancion;
+	public Lector _lector;
+	public Ejemplar _unnamed_Ejemplar_3;
+}
\ No newline at end of file

src/Usuario.java

+public abstract class Usuario {
+	private String _email;
+	private Integer _idUsuario;
+	private String _nombre;
+	private String _tipoUsuario;
+	private String _contrasena;
+	private String _direccion;
+	public Libro _libro;
+	public Biblioteca _hay;
+
+	public Usuario() {
+		throw new UnsupportedOperationException();
+	}
+
+	public abstract void NotificarEstado();
+
+	public void ReportarIncidencia() {
+		throw new UnsupportedOperationException();
+	}
+
+	public String IdentificarTipoIncidencia() {
+		throw new UnsupportedOperationException();
+	}
+
+	public void NotificarIncidenciaAdministrador() {
+		throw new UnsupportedOperationException();
+	}
+}
\ No newline at end of file