public double multa;      // publico: veinte ficheros lo leen

public double getMulta() {
    return Math.min(calcularDiasRetraso() * getTarifaDiaria(), MULTA_MAXIMA);
}

public class Libro {
    private   String  titulo;        // solo Libro
              String  notaInterna;   // clases del paquete dominio
    protected boolean disponible;    // paquete dominio + subclases de Libro
    public    String  getTitulo() { return titulo; }   // todos
}

public class Empleado {
    private String nombre;
    private int    prestamosAcumulados;

    public String getNombre()             { return nombre; }
    public void   setNombre(String n)     { this.nombre = n; }
    public int    getPrestamosAcumulados() { return prestamosAcumulados; }
    public void   setPrestamosAcumulados(int p) { this.prestamosAcumulados = p; }
}

empleado.setPrestamosAcumulados(-7);    // sigue siendo posible
empleado.setPrestamosAcumulados(9999);  // se salta el limite de 3
empleado.setNombre(null);               // adios a la validacion del constructor

prestamo.setMulta(0.0);      // "perdono" una multa de 20 EUR sin que nadie lo sepa
prestamo.setMulta(1000.0);   // cobro mil euros por un retraso de tres dias

/**
 * Actualiza los dias transcurridos desde que se realizo el prestamo.
 * @param dias numero de dias, nunca negativo
 */
public void setDiasTranscurridos(int dias) {
    if (dias < 0) {
        System.out.println("AVISO: dias negativos (" + dias + "). Se ignora la actualizacion.");
        return;                       // se preserva la invariante
    }
    this.diasTranscurridos = dias;
}

// El llamador calcula, decide y asigna: la regla vive FUERA del objeto
int retraso = dias - 15;
if (retraso < 0) retraso = 0;
double multa = retraso * 0.25;
if (multa > 20.0) multa = 20.0;

prestamo.setDiasRetraso(retraso);
prestamo.setMulta(multa);
prestamo.setDevuelto(true);
libro.setDisponible(true);
empleado.setPrestamosAcumulados(empleado.getPrestamosAcumulados() - 1);

prestamo.registrarDevolucion(dias);

/**
 * Registra la devolucion del material tras el numero de dias indicado.
 * Calcula la multa segun las reglas vigentes, libera el material y
 * descuenta el prestamo al empleado.
 *
 * @param diasTranscurridos dias desde la entrega, nunca negativo
 * @return importe de la multa aplicada, entre 0 y MULTA_MAXIMA
 */
public double registrarDevolucion(int diasTranscurridos) {

    if (devuelto) {
        System.out.println("AVISO: el prestamo " + referencia + " ya estaba devuelto.");
        return multaAplicada;
    }

    setDiasTranscurridos(diasTranscurridos);      // valida la invariante

    this.multaAplicada = material.calcularMulta(this.diasTranscurridos);
    this.devuelto      = true;

    material.devolver();                          // el material vuelve a estanteria
    empleado.registrarDevolucion();               // el empleado libera un hueco

    return multaAplicada;
}

public final class LibroInmutable {

    private final String titulo;
    private final String autor;
    private final String isbn;
    private final int    anioPublicacion;

    public LibroInmutable(String titulo, String autor, String isbn, int anioPublicacion) {
        this.titulo          = titulo;
        this.autor           = autor;
        this.isbn            = isbn;
        this.anioPublicacion = anioPublicacion;
    }

    public String getTitulo()          { return titulo; }
    public String getAutor()           { return autor; }
    public String getIsbn()            { return isbn; }
    public int    getAnioPublicacion() { return anioPublicacion; }

    /** "Modificar" un inmutable significa crear otro. */
    public LibroInmutable conTitulo(String nuevoTitulo) {
        return new LibroInmutable(nuevoTitulo, autor, isbn, anioPublicacion);
    }
}

public class Prestamo {
    private final String[] incidencias;   // array: solucion provisional (modulo 5)

    public String[] getIncidencias() {
        return incidencias;               // ¡FUGA!
    }
}

String[] fuera = prestamo.getIncidencias();
fuera[0] = "Incidencia inventada";        // se ha modificado el interior del prestamo

/**
 * @return copia de las incidencias registradas; modificarla no afecta al prestamo
 */
public String[] getIncidencias() {
    return java.util.Arrays.copyOf(incidencias, incidencias.length);
}

// Constructor ingenuo
public Prestamo(String[] incidencias) {
    this.incidencias = incidencias;       // el llamador puede seguir modificandolo
}

// Constructor con copia defensiva
public Prestamo(String[] incidencias) {
    this.incidencias = (incidencias == null)
                       ? new String[0]
                       : java.util.Arrays.copyOf(incidencias, incidencias.length);
}

com.nexussoftware.bibliotech
├── BiblioTechApp.java          arranque y presentacion
├── dominio/
│   ├── Material.java           reglas de negocio
│   ├── Libro.java
│   ├── Revista.java
│   ├── Dvd.java
│   ├── Empleado.java
│   └── Prestamo.java
└── servicio/                   (a partir del modulo 5)
    └── GestorPrestamos.java    orquestacion de casos de uso

// MAL: main conoce la estructura interna de Prestamo Y de Material
String titulo = prestamo.getMaterial().getTitulo();
if (prestamo.getEmpleado().getPrestamosAcumulados() >= 3) { ... }

// BIEN: cada objeto responde por si mismo
String titulo = prestamo.getTituloMaterial();
if (prestamo.empleadoEnElLimite()) { ... }

package com.nexussoftware.bibliotech.dominio;

/** Material prestable del catalogo de Nexus Software. */
public class Material {

    public static final int    DIAS_PRESTAMO = 15;
    public static final double TARIFA_DIARIA = 0.25;
    public static final double MULTA_MAXIMA  = 20.0;
    public static final int    UMBRAL_LEVE   = 7;

    private static int materialesCreados = 0;

    private final String titulo;
    private final String referencia;
    private boolean      disponible;

    public Material(String titulo, String referencia, boolean disponible) {
        this.titulo     = (titulo == null || titulo.isBlank()) ? "Sin titulo" : titulo.trim();
        this.referencia = (referencia == null || referencia.isBlank())
                          ? "000-0000000000" : referencia.trim();
        this.disponible = disponible;
        materialesCreados++;
    }

    // --- Consultas (getters solo donde tienen sentido) ---

    public String  getTitulo()     { return titulo; }
    public String  getReferencia() { return referencia; }
    public boolean estaDisponible(){ return disponible; }

    public static int getMaterialesCreados() { return materialesCreados; }

    // --- Parametros que cada soporte redefine ---

    public int    getDiasPrestamo() { return DIAS_PRESTAMO; }
    public double getTarifaDiaria() { return TARIFA_DIARIA; }
    public String getTipo()         { return "Material"; }

    // --- Reglas de negocio ---

    public int calcularDiasRetraso(int diasTranscurridos) {
        return Math.max(0, diasTranscurridos - getDiasPrestamo());
    }

    public double calcularMulta(int diasTranscurridos) {
        return Math.min(calcularDiasRetraso(diasTranscurridos) * getTarifaDiaria(),
                        MULTA_MAXIMA);
    }

    public String clasificarGravedad(int diasTranscurridos) {
        int retraso = calcularDiasRetraso(diasTranscurridos);
        if (retraso == 0)           return "SIN RETRASO";
        if (retraso <= UMBRAL_LEVE) return "LEVE";
        return "GRAVE";
    }

    // --- Operaciones de negocio (NO hay setDisponible) ---

    /** @return true si el material se ha podido prestar. */
    public boolean prestar() {
        if (!disponible) {
            System.out.println("AVISO: '" + titulo + "' ya estaba prestado.");
            return false;
        }
        disponible = false;
        return true;
    }

    /** @return true si el material se ha podido devolver. */
    public boolean devolver() {
        if (disponible) {
            System.out.println("AVISO: '" + titulo + "' ya estaba disponible.");
            return false;
        }
        disponible = true;
        return true;
    }

    public String describir() {
        return titulo + " (ref. " + referencia + ")";
    }
}

package com.nexussoftware.bibliotech.dominio;

/** Libro tecnico del catalogo. Sus datos bibliograficos son inmutables. */
public class Libro extends Material {

    private final String autor;
    private final int    anioPublicacion;

    public Libro(String titulo, String autor, String isbn,
                 int anioPublicacion, boolean disponible) {
        super(titulo, isbn, disponible);
        this.autor = (autor == null || autor.isBlank()) ? "Desconocido" : autor.trim();
        this.anioPublicacion = (anioPublicacion < 1450 || anioPublicacion > 2100)
                               ? 0 : anioPublicacion;
    }

    public Libro(String titulo, String autor, String isbn, int anioPublicacion) {
        this(titulo, autor, isbn, anioPublicacion, true);
    }

    public String getAutor()           { return autor; }
    public int    getAnioPublicacion() { return anioPublicacion; }

    /** El ISBN es la referencia de un libro. */
    public String getIsbn() { return getReferencia(); }

    @Override public String getTipo() { return "Libro"; }

    @Override
    public String describir() {
        return super.describir() + " - " + autor + ", " + anioPublicacion;
    }
}

package com.nexussoftware.bibliotech.dominio;

/** Empleado de Nexus Software autorizado a tomar materiales en prestamo. */
public class Empleado {

    public static final int MAX_PRESTAMOS_SIMULTANEOS = 3;

    private static int empleadosRegistrados = 0;

    private final String nombre;
    private final String identificador;
    private int          prestamosAcumulados;      // invariante: 0..MAX

    public Empleado(String nombre, String identificador, int prestamosAcumulados) {
        this.nombre = (nombre == null || nombre.isBlank())
                      ? "Empleado sin nombre" : nombre.trim();
        this.identificador = (identificador == null || !identificador.startsWith("EMP-"))
                             ? "EMP-000" : identificador.trim();
        this.prestamosAcumulados = Math.max(0,
                Math.min(prestamosAcumulados, MAX_PRESTAMOS_SIMULTANEOS));
        empleadosRegistrados++;
    }

    public Empleado(String nombre, String identificador) {
        this(nombre, identificador, 0);
    }

    public String getNombre()              { return nombre; }
    public String getIdentificador()       { return identificador; }
    public int    getPrestamosAcumulados() { return prestamosAcumulados; }
    public boolean puedeTomarPrestado()    { return prestamosAcumulados < MAX_PRESTAMOS_SIMULTANEOS; }

    public static int getEmpleadosRegistrados() { return empleadosRegistrados; }

    /** @return true si se ha podido registrar el prestamo. */
    public boolean registrarPrestamo() {
        if (!puedeTomarPrestado()) {
            System.out.printf("AVISO: %s ya tiene %d prestamos (maximo %d).%n",
                              nombre, prestamosAcumulados, MAX_PRESTAMOS_SIMULTANEOS);
            return false;
        }
        prestamosAcumulados++;
        return true;
    }

    public void registrarDevolucion() {
        prestamosAcumulados = Math.max(0, prestamosAcumulados - 1);
    }

    public String getIniciales() {
        StringBuilder sb = new StringBuilder();
        for (String parte : nombre.trim().split(" ")) {
            if (!parte.isEmpty()) {
                sb.append(parte.charAt(0)).append('.');
            }
        }
        return sb.toString().toUpperCase();
    }
}

package com.nexussoftware.bibliotech.dominio;

import java.util.Arrays;

/** Registro de un prestamo de un material a un empleado. */
public class Prestamo {

    private static int prestamosCreados = 0;

    private final Material material;
    private final Empleado empleado;
    private final int      diaPrestamo;
    private final int      diaVencimiento;
    private final String   referencia;

    private int      diasTranscurridos;
    private boolean  devuelto;
    private double   multaAplicada;
    private String[] incidencias;         // array provisional (modulo 5)

    public Prestamo(Material material, Empleado empleado,
                    int diaPrestamo, int diasTranscurridos) {

        this.material = (material != null) ? material
                : new Libro("Material desconocido", "Desconocido", "000-0000000000", 0, false);
        this.empleado = (empleado != null) ? empleado
                : new Empleado("Empleado desconocido", "EMP-000");

        this.diaPrestamo       = Math.max(0, diaPrestamo);
        this.diaVencimiento    = this.diaPrestamo + this.material.getDiasPrestamo();
        this.diasTranscurridos = Math.max(0, diasTranscurridos);
        this.devuelto          = false;
        this.multaAplicada     = 0.0;
        this.incidencias       = new String[0];

        prestamosCreados++;
        this.referencia = String.format("PR-%04d", prestamosCreados);

        this.material.prestar();
        this.empleado.registrarPrestamo();
    }

    public Prestamo(Material material, Empleado empleado, int diaPrestamo) {
        this(material, empleado, diaPrestamo, 0);
    }

    // ---------- Consultas ----------

    public String   getReferencia()        { return referencia; }
    public Material getMaterial()          { return material; }     // colaborador compartido
    public Empleado getEmpleadoNoUsar()    { return empleado; }     // ver nota mas abajo
    public int      getDiaPrestamo()       { return diaPrestamo; }
    public int      getDiaVencimiento()    { return diaVencimiento; }
    public int      getDiasTranscurridos() { return diasTranscurridos; }
    public boolean  estaDevuelto()         { return devuelto; }

    /** Delegaciones que cumplen la Ley de Demeter. */
    public String getTituloMaterial()  { return material.getTitulo(); }
    public String getNombreEmpleado()  { return empleado.getNombre(); }

    /** @return copia defensiva: modificarla no afecta al prestamo. */
    public String[] getIncidencias() {
        return Arrays.copyOf(incidencias, incidencias.length);
    }

    public static int getPrestamosCreados() { return prestamosCreados; }

    // ---------- Reglas derivadas (calculadas, nunca almacenadas) ----------

    public int    calcularDiasRetraso() { return material.calcularDiasRetraso(diasTranscurridos); }
    public double calcularMulta()       { return material.calcularMulta(diasTranscurridos); }
    public String clasificarGravedad()  { return material.clasificarGravedad(diasTranscurridos); }
    public boolean estaVencido()        { return calcularDiasRetraso() > 0; }
    public int     diasRestantes()      { return Math.max(0, diaVencimiento - (diaPrestamo + diasTranscurridos)); }

    // ---------- Operaciones de negocio ----------

    /**
     * Actualiza los dias transcurridos. Unico mutador, y validado.
     * @param dias dias desde la entrega; los valores negativos se ignoran
     */
    public void setDiasTranscurridos(int dias) {
        if (dias < 0) {
            System.out.println("AVISO: dias negativos en " + referencia + ". Se ignora.");
            return;
        }
        this.diasTranscurridos = dias;
    }

    /**
     * Registra la devolucion: calcula y fija la multa segun las reglas
     * vigentes, libera el material y descuenta el prestamo al empleado.
     *
     * @param diasTranscurridos dias desde la entrega
     * @return multa aplicada, entre 0 y MULTA_MAXIMA
     */
    public double registrarDevolucion(int diasTranscurridos) {
        if (devuelto) {
            System.out.println("AVISO: " + referencia + " ya estaba devuelto.");
            return multaAplicada;
        }
        setDiasTranscurridos(diasTranscurridos);
        this.multaAplicada = calcularMulta();
        this.devuelto      = true;
        material.devolver();
        empleado.registrarDevolucion();
        return multaAplicada;
    }

    /** @return multa efectivamente aplicada; 0 mientras no se haya devuelto. */
    public double getMultaAplicada() { return multaAplicada; }

    /** Anota una incidencia del prestamo (roturas, paginas sueltas...). */
    public void anotarIncidencia(String texto) {
        if (texto == null || texto.isBlank()) {
            return;
        }
        String[] ampliado = Arrays.copyOf(incidencias, incidencias.length + 1);
        ampliado[incidencias.length] = texto.trim();
        this.incidencias = ampliado;      // el modulo 5 hara esto mucho mejor
    }

    public boolean empleadoEnElLimite() { return !empleado.puedeTomarPrestado(); }
}

Libro    javaEfectivo = new Libro("Java Efectivo", "Joshua Bloch", "978-0000000001", 2018);
Empleado marta        = new Empleado("Marta Ruiz", "EMP-001");

Prestamo p = new Prestamo(javaEfectivo, marta, 100, 0);

System.out.printf("%s: '%s' a %s, vence el dia %d%n",
                  p.getReferencia(), p.getTituloMaterial(),
                  p.getNombreEmpleado(), p.getDiaVencimiento());
System.out.println("Disponible tras prestar: " + javaEfectivo.estaDisponible());

p.anotarIncidencia("Pagina 42 subrayada");

double multa = p.registrarDevolucion(20);
System.out.printf("Devuelto con %d dias de retraso. Multa: %.2f EUR (%s)%n",
                  p.calcularDiasRetraso(), multa, p.clasificarGravedad());
System.out.println("Disponible tras devolver: " + javaEfectivo.estaDisponible());
System.out.println("Prestamos de Marta: " + marta.getPrestamosAcumulados());

// Intentos de romper las invariantes desde fuera:
// javaEfectivo.disponible = true;          // NO COMPILA: campo private
// p.multaAplicada = 0.0;                   // NO COMPILA: campo private
// marta.prestamosAcumulados = 99;          // NO COMPILA: campo private
p.setDiasTranscurridos(-5);                 // avisa y se ignora

PR-0001: 'Java Efectivo' a Marta Ruiz, vence el dia 115
Disponible tras prestar: false
Devuelto con 5 dias de retraso. Multa: 1,25 EUR (LEVE)
Disponible tras devolver: true
Prestamos de Marta: 0
AVISO: dias negativos en PR-0001. Se ignora.

public class HistorialEmpleado {

    private final String   nombre;
    private final String[] referenciasPrestamos;
    private int            totalMultas;

    public HistorialEmpleado(String nombre, String[] referenciasPrestamos) {
        this.nombre = nombre;
        this.referenciasPrestamos = referenciasPrestamos;
    }

    public String[] getReferenciasPrestamos() {
        return referenciasPrestamos;
    }

    public void setTotalMultas(int totalMultas) {
        this.totalMultas = totalMultas;
    }
}

// En main
if (marta.getPrestamosAcumulados() < 3 && javaEfectivo.estaDisponible()) {
    javaEfectivo.setDisponible(false);
    marta.setPrestamosAcumulados(marta.getPrestamosAcumulados() + 1);
    Prestamo p = new Prestamo();
    p.setMaterial(javaEfectivo);
    p.setEmpleado(marta);
    p.setDiaPrestamo(100);
    p.setDiaVencimiento(100 + 15);
    System.out.println("Prestamo registrado");
} else {
    System.out.println("No se puede prestar");
}

package com.nexussoftware.bibliotech.dominio;

/**
 * Reserva de una sala de reuniones de Nexus Software.
 *
 * Invariantes garantizadas durante toda la vida del objeto:
 *   - 0 <= horaInicio <= 23
 *   - horaInicio < horaFin <= 23
 *   - asistentes >= 1
 *   - codigo no nulo y unico
 */
public class Reserva {

    private static int reservasCreadas = 0;

    private final String   sala;           // sin setter: cambiar de sala es otra reserva
    private final Empleado solicitante;    // sin setter: identidad de la reserva
    private final int      horaInicio;     // sin setter: se fija al reservar
    private final String   codigo;         // sin setter: lo genera el sistema

    private int     horaFin;               // muta solo por ampliarUnaHora()
    private int     asistentes;            // muta solo por cambiarAsistentes()
    private boolean activa;                // muta solo por cancelar()

    public Reserva(String sala, Empleado solicitante,
                   int horaInicio, int horaFin, int asistentes) {

        this.sala = (sala == null || sala.isBlank()) ? "Sala sin nombre" : sala.trim();
        this.solicitante = (solicitante != null) ? solicitante
                           : new Empleado("Empleado desconocido", "EMP-000");

        this.horaInicio = (horaInicio < 0 || horaInicio > 23) ? 9 : horaInicio;

        if (horaFin <= this.horaInicio || horaFin > 23) {
            this.horaFin = Math.min(23, this.horaInicio + 1);
        } else {
            this.horaFin = horaFin;
        }

        this.asistentes = Math.max(1, asistentes);
        this.activa     = true;

        reservasCreadas++;
        this.codigo = String.format("RES-%04d", reservasCreadas);
    }

    // --- Consultas ---
    public String  getCodigo()      { return codigo; }       // lo pide el usuario
    public String  getSala()        { return sala; }         // se muestra en listados
    public int     getHoraInicio()  { return horaInicio; }   // se muestra
    public int     getHoraFin()     { return horaFin; }      // se muestra
    public int     getAsistentes()  { return asistentes; }   // se muestra
    public boolean estaActiva()     { return activa; }       // se consulta al listar
    public int     duracionHoras()  { return horaFin - horaInicio; }

    /** Delegacion: evita que el exterior navegue hasta el Empleado. */
    public String getNombreSolicitante() { return solicitante.getNombre(); }
    // NO hay getSolicitante(): expondria un objeto mutable del dominio.

    // --- Operaciones de negocio (ningun setter) ---

    /** @return true si la reserva se ha cancelado ahora. */
    public boolean cancelar() {
        if (!activa) {
            System.out.println("AVISO: la reserva " + codigo + " ya estaba cancelada.");
            return false;
        }
        activa = false;
        return true;
    }

    /** @return true si se ha podido ampliar sin salirse del dia. */
    public boolean ampliarUnaHora() {
        if (!activa) {
            System.out.println("AVISO: no se puede ampliar una reserva cancelada.");
            return false;
        }
        if (horaFin >= 23) {
            System.out.println("AVISO: la reserva " + codigo + " ya llega al final del dia.");
            return false;
        }
        horaFin++;                       // la invariante horaInicio < horaFin se mantiene
        return true;
    }

    /** @return true si el cambio de asistentes se ha aplicado. */
    public boolean cambiarAsistentes(int nuevos) {
        if (nuevos < 1) {
            System.out.println("AVISO: numero de asistentes invalido (" + nuevos + ").");
            return false;
        }
        asistentes = nuevos;
        return true;
    }
}

String[] refs = { "PR-0001", "PR-0002" };
HistorialEmpleado h = new HistorialEmpleado("Marta Ruiz", refs);
refs[0] = "REFERENCIA FALSA";      // se ha modificado el interior de h

h.getReferenciasPrestamos()[1] = "OTRA FALSA";   // se escribe dentro de h

h.setTotalMultas(-500);   // total de multas negativo: estado imposible

package com.nexussoftware.bibliotech.dominio;

import java.util.Arrays;

/**
 * Historial de prestamos de un empleado.
 * Invariantes: referenciasPrestamos nunca es null; totalMultas >= 0.
 */
public class HistorialEmpleado {

    private final String   nombre;
    private final String[] referenciasPrestamos;
    private int            totalMultas;

    public HistorialEmpleado(String nombre, String[] referenciasPrestamos) {
        this.nombre = (nombre == null || nombre.isBlank()) ? "Desconocido" : nombre.trim();

        // COPIA DEFENSIVA a la entrada: el llamador ya no alcanza nuestro estado.
        this.referenciasPrestamos = (referenciasPrestamos == null)
                ? new String[0]
                : Arrays.copyOf(referenciasPrestamos, referenciasPrestamos.length);

        this.totalMultas = 0;
    }

    public String getNombre()      { return nombre; }
    public int    getTotalMultas() { return totalMultas; }
    public int    getNumeroPrestamos() { return referenciasPrestamos.length; }

    /** @return copia defensiva; modificarla no afecta al historial. */
    public String[] getReferenciasPrestamos() {
        return Arrays.copyOf(referenciasPrestamos, referenciasPrestamos.length);
    }

    /**
     * Suma una multa al historial. Sustituye al setter: el total solo
     * puede crecer, y solo con importes validos.
     *
     * @param importe importe positivo en euros
     * @return true si se ha acumulado
     */
    public boolean acumularMulta(int importe) {
        if (importe <= 0) {
            System.out.println("AVISO: importe de multa invalido (" + importe + ").");
            return false;
        }
        totalMultas += importe;
        return true;
    }
}

String[] refs = { "PR-0001", "PR-0002" };
HistorialEmpleado h = new HistorialEmpleado("Marta Ruiz", refs);

refs[0] = "REFERENCIA FALSA";                       // ya no afecta
h.getReferenciasPrestamos()[1] = "OTRA FALSA";      // modifica una copia
h.acumularMulta(-500);                              // rechazado con aviso

System.out.println(Arrays.toString(h.getReferenciasPrestamos()));  // [PR-0001, PR-0002]
System.out.println(h.getTotalMultas());                            // 0

/**
 * Indica si es posible registrar un prestamo de este material a este empleado.
 * @return true si el material esta disponible y el empleado no ha llegado al limite
 */
public static boolean sePuedePrestar(Material material, Empleado empleado) {
    return material != null && empleado != null
           && material.estaDisponible()
           && empleado.puedeTomarPrestado();
}

if (Prestamo.sePuedePrestar(javaEfectivo, marta)) {
    Prestamo p = new Prestamo(javaEfectivo, marta, 100);
    System.out.println("Prestamo " + p.getReferencia() + " registrado, vence el dia "
                       + p.getDiaVencimiento());
} else {
    System.out.println("No se puede prestar");
}