Kontrakter og undtagelser

Play audio slide show -- Keyboard shortcut: 'x'

Lecture overview -- Keyboard shortcut: 'u'

Previous page: Undtagelseshåndtering i forlængelse af kontraktbegrebet [Section] -- Keyboard shortcut: 'p'

Next page: En operation kan lykkes eller fejle -- Keyboard shortcut: 'n'

Lecture notes - all slides and notes together

Annotated slide -- Keyboard shortcut: 't'

Alphabetic index

Help page about these notes

Play sound for this slide -- Keyboard shortcut: 'y'

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