Un stock négatif

Le code Java n'est pas le seul à écrire dans la base : un script de reprise de données, une correction faite à la main en SQL, un autre programme. La contrainte protège la donnée quel que soit le chemin.

    @Test
    void laBaseRefuseUnStockNegatif() {
        // exercice 10.5 : la contrainte CHECK de V1, même en contournant Java
        assertThatThrownBy(() -> jdbc.update("update livre set stock = -1 where isbn = '9782956300014'"))
                .isInstanceOf(DataIntegrityViolationException.class)
                .satisfies(e -> System.out.println("Refus : "
                        + ((DataIntegrityViolationException) e).getMostSpecificCause().getMessage()));
    }

Refus : ERROR: new row for relation "livre" violates check constraint "livre_stock_check"

PostgreSQL a nommé lui-même la contrainte d'après la table et la colonne.