ExpLiskovSubstitution.java

// MAL - Cuenta promete que retirar() nunca falla.
class Cuenta {
    protected double saldo;
    Cuenta(double saldoInicial) { this.saldo = saldoInicial; }
    void retirar(double monto) { saldo -= monto; }
    double getSaldo() { return saldo; }
}

// Viola LSP: aprieta el contrato lanzando una excepcion que Cuenta nunca prometio
class CuentaAhorro extends Cuenta {
    CuentaAhorro(double saldoInicial) { super(saldoInicial); }
    @Override
    void retirar(double monto) {
        if (saldo - monto < 0) throw new IllegalStateException("Saldo insuficiente");
        saldo -= monto;
    }
}

// BIEN - El contrato se declara honesto desde el principio
interface CuentaBancaria {
    double getSaldo();
    void retirar(double monto); // puede lanzar IllegalStateException si no hay fondos
}

class CuentaAhorroOk implements CuentaBancaria {
    private double saldo;
    CuentaAhorroOk(double saldoInicial) { this.saldo = saldoInicial; }
    public double getSaldo() { return saldo; }
    public void retirar(double monto) {
        if (saldo - monto < 0) throw new IllegalStateException("Saldo insuficiente");
        saldo -= monto;
    }
}

public class ExpLiskovSubstitution {
    public static void main(String[] args) {
        // Violacion: el proceso da por hecho que retirar() nunca falla
        Cuenta cuenta = new CuentaAhorro(100);
        try {
            cuenta.retirar(150); // el proceso no esperaba esta excepcion
        } catch (IllegalStateException e) {
            System.out.println("Fallo inesperado: " + e.getMessage());
        }

        // Correcto: el contrato ya avisa que puede fallar
        CuentaBancaria cuentaOk = new CuentaAhorroOk(100);
        try {
            cuentaOk.retirar(150);
        } catch (IllegalStateException e) {
            System.out.println("Retiro rechazado: " + e.getMessage());
        }
    }
}