org.jpc.error.handling

Class JpcConverterErrorHandler

java.lang.Object

org.jpc.error.handling.JpcConverterErrorHandler

All Implemented Interfaces:

ErrorHandler

public class JpcConverterErrorHandler
extends Object
implements ErrorHandler

Handles an error term attempting to convert it, according to a given jpc context, to an instance of RuntimeException. If it succeeds, throws the obtained exception. Otherwise returns false.

Author:

sergioc

Constructor Summary

Constructors

Constructor and Description
JpcConverterErrorHandler()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

JpcConverterErrorHandler

public JpcConverterErrorHandler()

Method Detail

handle

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

Specified by:

handle in interface ErrorHandler