Ar galite paaiškinti, kas yra tikrinama išimtis programavimo kalbose?

Patikrinta išimtis (checked exception) yra Java išimčių tipas, kurį kompiliatorius reikalauja arba apdoroti (try-catch), arba deklaruoti metodo paraše naudodamas raktinį žodį throws. Jos skirtos situacijoms, kurios gali įvykti vykdymo metu, tačiau kurias programuotojas turi numatyti ir apdoroti, pavyzdžiui, įvesties/išvesties klaidos (IOException).

Pavyzdys:

public void readFile(String path) throws IOException {
    FileReader reader = new FileReader(path);
    // ...
}

Jei metodas iškviečia kitą metodą, kuris meta patikrintą išimtį, tada arba reikia ją apdoroti, arba perduoti toliau. Tai padeda padaryti kodą patikimesnį ir aiškesnį apie galimas klaidas.