W wykładzie omawiamy zamknięte hierarchie w Java 17+: jak deklarować klasy i interfejsy z modyfikatorem
sealed, wskazywać dozwolonych potomków przez
permits, wybierać status potomków (
final,
sealed,
non-sealed) i dlaczego to zwiększa możliwość weryfikacji
switch z pattern matching bez gałęzi
default. Zobaczymy przykłady z modelami domenowymi, współdziałanie z
interface i
record, a także typowe błędy.