org.jpc.error.handling

Class ErrorHandlerManager

java.lang.Object

org.jpc.error.handling.ErrorHandlerManager

All Implemented Interfaces:

ErrorHandler

Direct Known Subclasses:

DefaultJpcErrorHandler

public class ErrorHandlerManager
extends Object
implements ErrorHandler

Constructor Summary

Constructors

Constructor and Description
ErrorHandlerManager()

Method Summary

Modifier and Type	Method and Description
boolean	handle(Term errorTerm, Term goal, Jpc context)
void	register(ErrorHandler errorHandler)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ErrorHandlerManager

public ErrorHandlerManager()

Method Detail

register

public void register(ErrorHandler errorHandler)

handle

public boolean handle(Term errorTerm,
                      Term goal,
                      Jpc context)

Specified by:

handle in interface ErrorHandler