Forelæsningsnoter i Objekt-orienteret Programmering Undtagelseshåndtering
Exceptionhandling i en Eiffel routine
Vi viser her en en illustration af en routine (metode) i Eiffel, som har både pre- og postbetingelser.
Vi fokuserer på de forskellige muligheder for success (lykkes) og failure (fejle)
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
