Catch[expr]Throw generated in the evaluation ofCatch[expr, form]Throw[value, tag] for which form matchesCatch[expr, form, f]Exit to the enclosing Catch as soon as Throw is evaluated:
Catch[r; s; Throw[t]; u; v]
Define a function that can “throw an exception”:
f[x_] := If[x > 12, Throw[overflow], x!]
The result of Catch is just what is thrown by Throw:
Catch[f[1] + f[15]]
Catch[f[1] + f[4]]