Page 24 : 26
Forelæsningsnoter i Objekt-orienteret Programmering
Undtagelseshåndtering
* Motivation og problemstillinger
Normal- og fejltilfælde behandles under ét
Fejl søges håndteret tæt på det sted hvor fejlene opstår
Unuanceret viden om fejlens natur
Hvilken slags fejlhåndtering?
* Terminologi og begreber
Mange forskellige ord
Grundliggende begreber
* Undtagelseshåndtering i Java
Oversigt over undtagelseshåndtering i Java
Catch or specify princippet i Java
Klassificering af undtagelser i Java
Beskrivelse af exception klasser i Java (1)
Beskrivelse af exception klasser i Java (2)
Instantiering og 'kastning' af exceptions
Håndtering af exceptions i en metode
Propagering af exceptions (1)
Propagering af exceptions (2)
Finally i Java's try blok (1)
Finally i forhold til return, break og continue
Erklæring af exceptions i metoder
Exceptions: Fristelser og byrder
* Undtagelseshåndtering i forlængelse af kontraktbegrebet
Kontrakter og undtagelser
En operation kan lykkes eller fejle
Exceptionhandling i en Eiffel routine
Kontrakter og undtagelser
Vi har i en tidligere lektion studeret kontraktbegrebet. Vi vil her gøre historien om kontrakter færdig i den specialsituation hvor kontrakten brydes
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