org.jpc.error.handling

Class DefaultJpcErrorHandler

java.lang.Object

org.jpc.error.handling.ErrorHandlerManager

org.jpc.error.handling.DefaultJpcErrorHandler

All Implemented Interfaces:

ErrorHandler

public class DefaultJpcErrorHandler
extends ErrorHandlerManager

Constructor Summary

Constructors

Constructor and Description
DefaultJpcErrorHandler()

Method Summary

Modifier and Type	Method and Description
boolean	handle(Term errorTerm, Term goal, Jpc context)

Methods inherited from class org.jpc.error.handling.ErrorHandlerManager

register

Methods inherited from class java.lang.Object

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

Constructor Detail

DefaultJpcErrorHandler

public DefaultJpcErrorHandler()

Method Detail

handle

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

Specified by:

handle in interface ErrorHandler

Overrides:

handle in class ErrorHandlerManager