Kontrakter og undtagelser

Stop show with sound -- Keyboard shortcut: 'x'

Next slide in show -- Keyboard shortcut: 'n'

1 minute, 23 seconds

Undtagelseshåndtering - slide 24 : 26

Kontrakter og undtagelser

Kontraktbrud bringer et program i en undtagelsessituation

Et kontraktbrud foranlediger et implicit kast af en exception

Kontraktbrud i en metode m i en klassen C:
- Prebetingelsen af m er falsk
  - Klienten af m fejler
- Postbetingelsen af m er falsk
  - m fejler
- Invarianten af C er falsk
  - m fejler

Kontraktbegrebet