|
ref_send API 2.17 defensive programming in Java |
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface ErrorHandler
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 |
|---|
java.lang.Error handle(java.lang.Error err)
err - error to handle
|
ref_send API 2.17 defensive programming in Java |
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
Copyright 1998-2009 Waterken Inc. under the terms of the MIT X license.