A Java futtató rendszer megköveteli, hogy a metódus elkapja, vagy felsorolja az összes ellenőrzött kivételt, melyet a metódus eldobhat (másként fogalmazva a kivételt továbbengedi). Először is tekintsünk át néhány kifejezést.
Elkapás (catch)
A metódus elkaphat egy kivételt, ha rendelkezik ilyen típusú kivételek kezelőjével.
Továbbengedés (throws záradék)
A metódus a deklarációja throws záradékában írja le, hogy milyen kivételeket dobhat.