Exceptionhandling i en Eiffel routine

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

Lecture overview -- Keyboard shortcut: 'u'

Previous page: En operation kan lykkes eller fejle -- Keyboard shortcut: 'p'

Lecture notes - all slides and notes together

Annotated slide -- Keyboard shortcut: 't'

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

Undtagelseshåndtering - slide 26 : 26

Exceptionhandling i en Eiffel routine

Der opstår et exception. Rescue-konstruktionen aktiveres Efter reparation genudføres operationen, hvori exception opstod. Det anbefales af klasse-invarianten and pre-op opfyldes Operationen fejler. Klasse-invarianten skal være opfyldt Operationen lykkes. Klasse-invarianten and post-betingelsen skal være opfyldt

I Eiffel er scopet for undtagelseshåndtering en hel metode

Hvis en metode fejler skal invarianten alligevel opfyldes

I Eiffel er et exception ikke et (første klasses) objekt