ref_send API 2.17
defensive programming in Java

org.joe_e
Interface ErrorHandler

All Superinterfaces:
Immutable, Powerless

public interface ErrorHandler
extends Powerless

This is the interface for custom implementations to handle java.lang.Errors in a Joe-E program. The error handler should abort the computation of the current thread so as to prevent recovery from the error.


Method Summary
 java.lang.Error handle(java.lang.Error err)
          Handles an error.
 

Method Detail

handle

java.lang.Error handle(java.lang.Error err)
Handles an error.

Parameters:
err - error to handle
Returns:
error to throw

ref_send API 2.17
defensive programming in Java

Submit a bug or feature, or get help

Copyright 1998-2009 Waterken Inc. under the terms of the MIT X license.