構文

whocatches type

型 type の例外が現在の実行点で送出された場合にどこで捕獲されることになるかを示します (捕獲されるとしたら)。次に実行される分が throw x であり (x の型は type)、これを捕獲する catch 節の行番号、関数名、フレーム番号を表示するとします。

このとき、送出を行う関数の中に捕獲点がある場合には、 "type is unhandled" が返されます。

ここで

type は、例外の型です。