Lze považovat výjimku, ke která nastane při běhu, za ověřitelný typ výjimky v programovacím jazyce?

V jazyce Java jsou výjimky rozděleny na kontrolované (checked) a nekontrolované (unchecked). Kontrolované výjimky jsou ty, které dědí od třídy Exception, ale ne od RuntimeException. Kompilátor vyžaduje, aby tyto výjimky byly buď ošetřeny v bloku try-catch, nebo deklarovány v signatuře metody pomocí throws.

Výjimky, ke kterým dochází za běhu (runtime exceptions), obvykle patří mezi nekontrolované výjimky (RuntimeException a její podtřídy). Nevyžadují povinné ošetření nebo deklaraci, protože obvykle signalizují chyby v programu (například NullPointerException, ArrayIndexOutOfBoundsException).

Tudíž ne všechny výjimky za běhu jsou kontrolované. Kontrolované výjimky jsou ty, které kompilátor nutí explicitně ošetřit nebo deklarovat.