Loading
catch (例外のコールバック)
形式
catch({ :class=> $class, :message => $message , :at => $at, :in => $in})
引数
- $class: 例外クラス
- $message: 例外メッセージ
- $at: 例外発生場所(評価述語)
- $in: 例外発生場所(評価ホーン節)
完了時の動作
- 常に成功を返します。catch述語以降の述語は実行されません。バックトラックもしません。
バックトラック時の動作
説明
例外の受信を行います。
Powered by ADP.