Patrí výnimka, ktorá vznikne počas behu, medzi overiteľné typy výnimiek v programovacom jazyku?

V jazyku Java sú výnimky rozdelené na kontrolované (checked) a nekontrolované (unchecked). Kontrolované výnimky sú tie, ktoré dedičia od triedy Exception, ale nie od RuntimeException. Kompilátor vyžaduje, aby takéto výnimky boli buď spracované v bloku try-catch, alebo deklarované v signatúre metódy pomocou throws.

Výnimky, ktoré vznikajú počas behu (runtime exceptions), zvyčajne patria medzi nekontrolované výnimky (RuntimeException a jej podtriedy). Nevyžadujú povinné spracovanie alebo deklaráciu, pretože zvyčajne signalizujú chyby v programe (napríklad NullPointerException, ArrayIndexOutOfBoundsException).

Teda, nie všetky výnimky počas behu sú kontrolované. Kontrolované výnimky sú tie, ktoré kompilátor núti explicitne spracovať alebo deklarovať.