Stop show with sound -- Keyboard shortcut: 'x'  Next slide in show -- Keyboard shortcut: 'n'  2 minutes, 7 secondsUndtagelseshåndtering - slide 25 : 26

En operation kan lykkes eller fejle 

En operation lykkes hvis den efterlader programmet i en tilstand der opfylder postbetingelsen og klassens invariant

En operation siges at fejle hvis den ikke lykkes

 

 

En operation med en ikke-trivielt opfyldt postbetingelse uden exception handling svarer til en metode i Java som erklærer at den kan kaste exceptions