public double multa;      // public: vint fitxers el llegeixen

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

public class Llibre {
    private   String  titol;         // nomes Llibre
              String  notaInterna;   // classes del paquet domini
    protected boolean disponible;    // paquet domini + subclasses de Llibre
    public    String  getTitol() { return titol; }   // tothom
}

public class Empleat {
    private String nom;
    private int    prestecsAcumulats;

    public String getNom()                 { return nom; }
    public void   setNom(String n)         { this.nom = n; }
    public int    getPrestecsAcumulats()   { return prestecsAcumulats; }
    public void   setPrestecsAcumulats(int p) { this.prestecsAcumulats = p; }
}

empleat.setPrestecsAcumulats(-7);    // continua sent possible
empleat.setPrestecsAcumulats(9999);  // se salta el limit de 3
empleat.setNom(null);                // adeu a la validacio del constructor

prestec.setMulta(0.0);      // "perdono" una multa de 20 EUR sense que ningu ho sapiga
prestec.setMulta(1000.0);   // cobro mil euros per un retard de tres dies

/**
 * Actualitza els dies transcorreguts des que es va fer el prestec.
 * @param dies nombre de dies, mai negatiu
 */
public void setDiesTranscorreguts(int dies) {
    if (dies < 0) {
        System.out.println("AVIS: dies negatius (" + dies + "). S'ignora l'actualitzacio.");
        return;                       // es preserva l'invariant
    }
    this.diesTranscorreguts = dies;
}

// Qui crida calcula, decideix i assigna: la regla viu FORA de l'objecte
int retard = dies - 15;
if (retard < 0) retard = 0;
double multa = retard * 0.25;
if (multa > 20.0) multa = 20.0;

prestec.setDiesRetard(retard);
prestec.setMulta(multa);
prestec.setRetornat(true);
llibre.setDisponible(true);
empleat.setPrestecsAcumulats(empleat.getPrestecsAcumulats() - 1);

prestec.registrarDevolucio(dies);

/**
 * Registra la devolucio del material despres del nombre de dies indicat.
 * Calcula la multa segons les regles vigents, allibera el material i
 * descompta el prestec a l'empleat.
 *
 * @param diesTranscorreguts dies des del lliurament, mai negatiu
 * @return import de la multa aplicada, entre 0 i MULTA_MAXIMA
 */
public double registrarDevolucio(int diesTranscorreguts) {

    if (retornat) {
        System.out.println("AVIS: el prestec " + referencia + " ja estava retornat.");
        return multaAplicada;
    }

    setDiesTranscorreguts(diesTranscorreguts);    // valida l'invariant

    this.multaAplicada = material.calcularMulta(this.diesTranscorreguts);
    this.retornat      = true;

    material.retornar();                          // el material torna al prestatge
    empleat.registrarDevolucio();                 // l'empleat allibera un forat

    return multaAplicada;
}

public final class LlibreImmutable {

    private final String titol;
    private final String autor;
    private final String isbn;
    private final int    anyPublicacio;

    public LlibreImmutable(String titol, String autor, String isbn, int anyPublicacio) {
        this.titol         = titol;
        this.autor         = autor;
        this.isbn          = isbn;
        this.anyPublicacio = anyPublicacio;
    }

    public String getTitol()         { return titol; }
    public String getAutor()         { return autor; }
    public String getIsbn()          { return isbn; }
    public int    getAnyPublicacio() { return anyPublicacio; }

    /** "Modificar" un immutable significa crear-ne un altre. */
    public LlibreImmutable ambTitol(String nouTitol) {
        return new LlibreImmutable(nouTitol, autor, isbn, anyPublicacio);
    }
}

public class Prestec {
    private final String[] incidencies;   // array: solucio provisional (modul 5)

    public String[] getIncidencies() {
        return incidencies;               // FUITA!
    }
}

String[] fora = prestec.getIncidencies();
fora[0] = "Incidencia inventada";         // s'ha modificat l'interior del prestec

/**
 * @return copia de les incidencies registrades; modificar-la no afecta el prestec
 */
public String[] getIncidencies() {
    return java.util.Arrays.copyOf(incidencies, incidencies.length);
}

// Constructor ingenu
public Prestec(String[] incidencies) {
    this.incidencies = incidencies;       // qui crida pot continuar modificant-lo
}

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

com.nexussoftware.bibliotech
├── BiblioTechApp.java          arrencada i presentacio
├── domini/
│   ├── Material.java           regles de negoci
│   ├── Llibre.java
│   ├── Revista.java
│   ├── Dvd.java
│   ├── Empleat.java
│   └── Prestec.java
└── servei/                     (a partir del modul 5)
    └── GestorPrestecs.java     orquestracio de casos d'us

// MALAMENT: main coneix l'estructura interna de Prestec I de Material
String titol = prestec.getMaterial().getTitol();
if (prestec.getEmpleat().getPrestecsAcumulats() >= 3) { ... }

// BE: cada objecte respon per si mateix
String titol = prestec.getTitolMaterial();
if (prestec.empleatAlLimit()) { ... }

package com.nexussoftware.bibliotech.domini;

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

    public static final int    DIES_PRESTEC  = 15;
    public static final double TARIFA_DIARIA = 0.25;
    public static final double MULTA_MAXIMA  = 20.0;
    public static final int    LLINDAR_LLEU  = 7;

    private static int materialsCreats = 0;

    private final String titol;
    private final String referencia;
    private boolean      disponible;

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

    // --- Consultes (getters nomes on tenen sentit) ---

    public String  getTitol()      { return titol; }
    public String  getReferencia() { return referencia; }
    public boolean estaDisponible(){ return disponible; }

    public static int getMaterialsCreats() { return materialsCreats; }

    // --- Parametres que cada suport redefineix ---

    public int    getDiesPrestec()  { return DIES_PRESTEC; }
    public double getTarifaDiaria() { return TARIFA_DIARIA; }
    public String getTipus()        { return "Material"; }

    // --- Regles de negoci ---

    public int calcularDiesRetard(int diesTranscorreguts) {
        return Math.max(0, diesTranscorreguts - getDiesPrestec());
    }

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

    public String classificarGravetat(int diesTranscorreguts) {
        int retard = calcularDiesRetard(diesTranscorreguts);
        if (retard == 0)            return "SENSE RETARD";
        if (retard <= LLINDAR_LLEU) return "LLEU";
        return "GREU";
    }

    // --- Operacions de negoci (NO hi ha setDisponible) ---

    /** @return true si el material s'ha pogut prestar. */
    public boolean prestar() {
        if (!disponible) {
            System.out.println("AVIS: '" + titol + "' ja estava prestat.");
            return false;
        }
        disponible = false;
        return true;
    }

    /** @return true si el material s'ha pogut retornar. */
    public boolean retornar() {
        if (disponible) {
            System.out.println("AVIS: '" + titol + "' ja estava disponible.");
            return false;
        }
        disponible = true;
        return true;
    }

    public String descriure() {
        return titol + " (ref. " + referencia + ")";
    }
}

package com.nexussoftware.bibliotech.domini;

/** Llibre tecnic del cataleg. Les seves dades bibliografiques son immutables. */
public class Llibre extends Material {

    private final String autor;
    private final int    anyPublicacio;

    public Llibre(String titol, String autor, String isbn,
                  int anyPublicacio, boolean disponible) {
        super(titol, isbn, disponible);
        this.autor = (autor == null || autor.isBlank()) ? "Desconegut" : autor.trim();
        this.anyPublicacio = (anyPublicacio < 1450 || anyPublicacio > 2100)
                             ? 0 : anyPublicacio;
    }

    public Llibre(String titol, String autor, String isbn, int anyPublicacio) {
        this(titol, autor, isbn, anyPublicacio, true);
    }

    public String getAutor()         { return autor; }
    public int    getAnyPublicacio() { return anyPublicacio; }

    /** L'ISBN es la referencia d'un llibre. */
    public String getIsbn() { return getReferencia(); }

    @Override public String getTipus() { return "Llibre"; }

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

package com.nexussoftware.bibliotech.domini;

/** Empleat de Nexus Software autoritzat a prendre materials en prestec. */
public class Empleat {

    public static final int MAX_PRESTECS_SIMULTANIS = 3;

    private static int empleatsRegistrats = 0;

    private final String nom;
    private final String identificador;
    private int          prestecsAcumulats;      // invariant: 0..MAX

    public Empleat(String nom, String identificador, int prestecsAcumulats) {
        this.nom = (nom == null || nom.isBlank())
                   ? "Empleat sense nom" : nom.trim();
        this.identificador = (identificador == null || !identificador.startsWith("EMP-"))
                             ? "EMP-000" : identificador.trim();
        this.prestecsAcumulats = Math.max(0,
                Math.min(prestecsAcumulats, MAX_PRESTECS_SIMULTANIS));
        empleatsRegistrats++;
    }

    public Empleat(String nom, String identificador) {
        this(nom, identificador, 0);
    }

    public String getNom()               { return nom; }
    public String getIdentificador()     { return identificador; }
    public int    getPrestecsAcumulats() { return prestecsAcumulats; }
    public boolean potPrendrePrestat()   { return prestecsAcumulats < MAX_PRESTECS_SIMULTANIS; }

    public static int getEmpleatsRegistrats() { return empleatsRegistrats; }

    /** @return true si s'ha pogut registrar el prestec. */
    public boolean registrarPrestec() {
        if (!potPrendrePrestat()) {
            System.out.printf("AVIS: %s ja te %d prestecs (maxim %d).%n",
                              nom, prestecsAcumulats, MAX_PRESTECS_SIMULTANIS);
            return false;
        }
        prestecsAcumulats++;
        return true;
    }

    public void registrarDevolucio() {
        prestecsAcumulats = Math.max(0, prestecsAcumulats - 1);
    }

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

package com.nexussoftware.bibliotech.domini;

import java.util.Arrays;

/** Registre d'un prestec d'un material a un empleat. */
public class Prestec {

    private static int prestecsCreats = 0;

    private final Material material;
    private final Empleat  empleat;
    private final int      diaPrestec;
    private final int      diaVenciment;
    private final String   referencia;

    private int      diesTranscorreguts;
    private boolean  retornat;
    private double   multaAplicada;
    private String[] incidencies;        // array provisional (modul 5)

    public Prestec(Material material, Empleat empleat,
                   int diaPrestec, int diesTranscorreguts) {

        this.material = (material != null) ? material
                : new Llibre("Material desconegut", "Desconegut", "000-0000000000", 0, false);
        this.empleat = (empleat != null) ? empleat
                : new Empleat("Empleat desconegut", "EMP-000");

        this.diaPrestec         = Math.max(0, diaPrestec);
        this.diaVenciment       = this.diaPrestec + this.material.getDiesPrestec();
        this.diesTranscorreguts = Math.max(0, diesTranscorreguts);
        this.retornat           = false;
        this.multaAplicada      = 0.0;
        this.incidencies        = new String[0];

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

        this.material.prestar();
        this.empleat.registrarPrestec();
    }

    public Prestec(Material material, Empleat empleat, int diaPrestec) {
        this(material, empleat, diaPrestec, 0);
    }

    // ---------- Consultes ----------

    public String   getReferencia()         { return referencia; }
    public Material getMaterial()           { return material; }    // collaborador compartit
    public Empleat  getEmpleatNoUsar()      { return empleat; }     // vegeu la nota mes avall
    public int      getDiaPrestec()         { return diaPrestec; }
    public int      getDiaVenciment()       { return diaVenciment; }
    public int      getDiesTranscorreguts() { return diesTranscorreguts; }
    public boolean  estaRetornat()          { return retornat; }

    /** Delegacions que compleixen la Llei de Demeter. */
    public String getTitolMaterial() { return material.getTitol(); }
    public String getNomEmpleat()    { return empleat.getNom(); }

    /** @return copia defensiva: modificar-la no afecta el prestec. */
    public String[] getIncidencies() {
        return Arrays.copyOf(incidencies, incidencies.length);
    }

    public static int getPrestecsCreats() { return prestecsCreats; }

    // ---------- Regles derivades (calculades, mai emmagatzemades) ----------

    public int     calcularDiesRetard()   { return material.calcularDiesRetard(diesTranscorreguts); }
    public double  calcularMulta()        { return material.calcularMulta(diesTranscorreguts); }
    public String  classificarGravetat()  { return material.classificarGravetat(diesTranscorreguts); }
    public boolean estaVencut()           { return calcularDiesRetard() > 0; }
    public int     diesRestants()         { return Math.max(0, diaVenciment - (diaPrestec + diesTranscorreguts)); }

    // ---------- Operacions de negoci ----------

    /**
     * Actualitza els dies transcorreguts. Unic mutador, i validat.
     * @param dies dies des del lliurament; els valors negatius s'ignoren
     */
    public void setDiesTranscorreguts(int dies) {
        if (dies < 0) {
            System.out.println("AVIS: dies negatius a " + referencia + ". S'ignora.");
            return;
        }
        this.diesTranscorreguts = dies;
    }

    /**
     * Registra la devolucio: calcula i fixa la multa segons les regles
     * vigents, allibera el material i descompta el prestec a l'empleat.
     *
     * @param diesTranscorreguts dies des del lliurament
     * @return multa aplicada, entre 0 i MULTA_MAXIMA
     */
    public double registrarDevolucio(int diesTranscorreguts) {
        if (retornat) {
            System.out.println("AVIS: " + referencia + " ja estava retornat.");
            return multaAplicada;
        }
        setDiesTranscorreguts(diesTranscorreguts);
        this.multaAplicada = calcularMulta();
        this.retornat      = true;
        material.retornar();
        empleat.registrarDevolucio();
        return multaAplicada;
    }

    /** @return multa efectivament aplicada; 0 mentre no s'hagi retornat. */
    public double getMultaAplicada() { return multaAplicada; }

    /** Anota una incidencia del prestec (trencaments, pagines soltes...). */
    public void anotarIncidencia(String text) {
        if (text == null || text.isBlank()) {
            return;
        }
        String[] ampliat = Arrays.copyOf(incidencies, incidencies.length + 1);
        ampliat[incidencies.length] = text.trim();
        this.incidencies = ampliat;      // el modul 5 fara aixo molt millor
    }

    public boolean empleatAlLimit() { return !empleat.potPrendrePrestat(); }
}

Llibre  javaEficac = new Llibre("Java Eficac", "Joshua Bloch", "978-0000000001", 2018);
Empleat marta      = new Empleat("Marta Ruiz", "EMP-001");

Prestec p = new Prestec(javaEficac, marta, 100, 0);

System.out.printf("%s: '%s' a %s, venc el dia %d%n",
                  p.getReferencia(), p.getTitolMaterial(),
                  p.getNomEmpleat(), p.getDiaVenciment());
System.out.println("Disponible despres de prestar: " + javaEficac.estaDisponible());

p.anotarIncidencia("Pagina 42 subratllada");

double multa = p.registrarDevolucio(20);
System.out.printf("Retornat amb %d dies de retard. Multa: %.2f EUR (%s)%n",
                  p.calcularDiesRetard(), multa, p.classificarGravetat());
System.out.println("Disponible despres de retornar: " + javaEficac.estaDisponible());
System.out.println("Prestecs de Marta: " + marta.getPrestecsAcumulats());

// Intents de trencar els invariants des de fora:
// javaEficac.disponible = true;            // NO COMPILA: camp private
// p.multaAplicada = 0.0;                   // NO COMPILA: camp private
// marta.prestecsAcumulats = 99;            // NO COMPILA: camp private
p.setDiesTranscorreguts(-5);                // avisa i s'ignora

PR-0001: 'Java Eficac' a Marta Ruiz, venc el dia 115
Disponible despres de prestar: false
Retornat amb 5 dies de retard. Multa: 1,25 EUR (LLEU)
Disponible despres de retornar: true
Prestecs de Marta: 0
AVIS: dies negatius a PR-0001. S'ignora.

public class HistorialEmpleat {

    private final String   nom;
    private final String[] referenciesPrestecs;
    private int            totalMultes;

    public HistorialEmpleat(String nom, String[] referenciesPrestecs) {
        this.nom = nom;
        this.referenciesPrestecs = referenciesPrestecs;
    }

    public String[] getReferenciesPrestecs() {
        return referenciesPrestecs;
    }

    public void setTotalMultes(int totalMultes) {
        this.totalMultes = totalMultes;
    }
}

// A main
if (marta.getPrestecsAcumulats() < 3 && javaEficac.estaDisponible()) {
    javaEficac.setDisponible(false);
    marta.setPrestecsAcumulats(marta.getPrestecsAcumulats() + 1);
    Prestec p = new Prestec();
    p.setMaterial(javaEficac);
    p.setEmpleat(marta);
    p.setDiaPrestec(100);
    p.setDiaVenciment(100 + 15);
    System.out.println("Prestec registrat");
} else {
    System.out.println("No es pot prestar");
}

package com.nexussoftware.bibliotech.domini;

/**
 * Reserva d'una sala de reunions de Nexus Software.
 *
 * Invariants garantits durant tota la vida de l'objecte:
 *   - 0 <= horaInici <= 23
 *   - horaInici < horaFi <= 23
 *   - assistents >= 1
 *   - codi no nul i unic
 */
public class Reserva {

    private static int reservesCreades = 0;

    private final String  sala;           // sense setter: canviar de sala es una altra reserva
    private final Empleat sollicitant;    // sense setter: identitat de la reserva
    private final int     horaInici;      // sense setter: es fixa en reservar
    private final String  codi;           // sense setter: el genera el sistema

    private int     horaFi;               // muta nomes per ampliarUnaHora()
    private int     assistents;           // muta nomes per canviarAssistents()
    private boolean activa;               // muta nomes per cancellar()

    public Reserva(String sala, Empleat sollicitant,
                   int horaInici, int horaFi, int assistents) {

        this.sala = (sala == null || sala.isBlank()) ? "Sala sense nom" : sala.trim();
        this.sollicitant = (sollicitant != null) ? sollicitant
                           : new Empleat("Empleat desconegut", "EMP-000");

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

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

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

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

    // --- Consultes ---
    public String  getCodi()        { return codi; }         // el demana l'usuari
    public String  getSala()        { return sala; }         // es mostra en llistats
    public int     getHoraInici()   { return horaInici; }    // es mostra
    public int     getHoraFi()      { return horaFi; }       // es mostra
    public int     getAssistents()  { return assistents; }   // es mostra
    public boolean estaActiva()     { return activa; }       // es consulta en llistar
    public int     duracioHores()   { return horaFi - horaInici; }

    /** Delegacio: evita que l'exterior navegui fins a l'Empleat. */
    public String getNomSollicitant() { return sollicitant.getNom(); }
    // NO hi ha getSollicitant(): exposaria un objecte mutable del domini.

    // --- Operacions de negoci (cap setter) ---

    /** @return true si la reserva s'ha cancellat ara. */
    public boolean cancellar() {
        if (!activa) {
            System.out.println("AVIS: la reserva " + codi + " ja estava cancellada.");
            return false;
        }
        activa = false;
        return true;
    }

    /** @return true si s'ha pogut ampliar sense sortir del dia. */
    public boolean ampliarUnaHora() {
        if (!activa) {
            System.out.println("AVIS: no es pot ampliar una reserva cancellada.");
            return false;
        }
        if (horaFi >= 23) {
            System.out.println("AVIS: la reserva " + codi + " ja arriba al final del dia.");
            return false;
        }
        horaFi++;                        // l'invariant horaInici < horaFi es mante
        return true;
    }

    /** @return true si el canvi d'assistents s'ha aplicat. */
    public boolean canviarAssistents(int nous) {
        if (nous < 1) {
            System.out.println("AVIS: nombre d'assistents invalid (" + nous + ").");
            return false;
        }
        assistents = nous;
        return true;
    }
}

String[] refs = { "PR-0001", "PR-0002" };
HistorialEmpleat h = new HistorialEmpleat("Marta Ruiz", refs);
refs[0] = "REFERENCIA FALSA";      // s'ha modificat l'interior d'h

h.getReferenciesPrestecs()[1] = "UNA ALTRA DE FALSA";   // s'escriu dins d'h

h.setTotalMultes(-500);   // total de multes negatiu: estat impossible

package com.nexussoftware.bibliotech.domini;

import java.util.Arrays;

/**
 * Historial de prestecs d'un empleat.
 * Invariants: referenciesPrestecs mai no es null; totalMultes >= 0.
 */
public class HistorialEmpleat {

    private final String   nom;
    private final String[] referenciesPrestecs;
    private int            totalMultes;

    public HistorialEmpleat(String nom, String[] referenciesPrestecs) {
        this.nom = (nom == null || nom.isBlank()) ? "Desconegut" : nom.trim();

        // COPIA DEFENSIVA a l'entrada: qui crida ja no arriba al nostre estat.
        this.referenciesPrestecs = (referenciesPrestecs == null)
                ? new String[0]
                : Arrays.copyOf(referenciesPrestecs, referenciesPrestecs.length);

        this.totalMultes = 0;
    }

    public String getNom()          { return nom; }
    public int    getTotalMultes()  { return totalMultes; }
    public int    getNombrePrestecs() { return referenciesPrestecs.length; }

    /** @return copia defensiva; modificar-la no afecta l'historial. */
    public String[] getReferenciesPrestecs() {
        return Arrays.copyOf(referenciesPrestecs, referenciesPrestecs.length);
    }

    /**
     * Suma una multa a l'historial. Substitueix el setter: el total nomes
     * pot creixer, i nomes amb imports valids.
     *
     * @param quantitat import positiu en euros
     * @return true si s'ha acumulat
     */
    public boolean acumularMulta(int quantitat) {
        if (quantitat <= 0) {
            System.out.println("AVIS: import de multa invalid (" + quantitat + ").");
            return false;
        }
        totalMultes += quantitat;
        return true;
    }
}

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

refs[0] = "REFERENCIA FALSA";                            // ja no afecta
h.getReferenciesPrestecs()[1] = "UNA ALTRA DE FALSA";    // modifica una copia
h.acumularMulta(-500);                                   // rebutjat amb avis

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

/**
 * Indica si es possible registrar un prestec d'aquest material a aquest empleat.
 * @return true si el material esta disponible i l'empleat no ha arribat al limit
 */
public static boolean esPotPrestar(Material material, Empleat empleat) {
    return material != null && empleat != null
           && material.estaDisponible()
           && empleat.potPrendrePrestat();
}

if (Prestec.esPotPrestar(javaEficac, marta)) {
    Prestec p = new Prestec(javaEficac, marta, 100);
    System.out.println("Prestec " + p.getReferencia() + " registrat, venc el dia "
                       + p.getDiaVenciment());
} else {
    System.out.println("No es pot prestar");
}