require et check sont équivalents, error  lance une exception sans condition à tester.

check pour valider des paramètres (préconditions), require pour vérifier l’état (postconditions/invariants), error pour forcer immédiatement une erreur.

require pour valider des paramètres (préconditions), check pour vérifier l’état (postconditions/invariants), error pour forcer immédiatement une erreur.

check lance IllegalArgumentException, require  et error lancent IllegalStateException.