|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES All Classes | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface ErrorHandler
This is the interface for custom implementations to handle
java.lang.Error
s 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 | |
---|---|
Error |
handle(Error err)
Handles an error. |
Method Detail |
---|
Error handle(Error err)
err
- error to handle
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES All Classes | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |