org.jpc.converter.catalog.error

Class EvaluationErrorConverter

java.lang.Object

org.jpc.converter.catalog.error.EvaluationErrorConverter

All Implemented Interfaces:

FromTermConverter<Compound,EvaluationError>, JpcConverter

public class EvaluationErrorConverter
extends Object
implements FromTermConverter<Compound,EvaluationError>

Field Summary

Fields

Modifier and Type	Field and Description
static String	EVALUATION_ERROR_FUNCTOR_NAME

Constructor Summary

Constructors

Constructor and Description
EvaluationErrorConverter()

Method Summary

Modifier and Type	Method and Description
EvaluationError	fromTerm(Compound term, Type type, Jpc context)
static boolean	isEvaluationError(Term term)

Methods inherited from class java.lang.Object

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

Field Detail

EVALUATION_ERROR_FUNCTOR_NAME

public static final String EVALUATION_ERROR_FUNCTOR_NAME

See Also:

Constant Field Values

Constructor Detail

EvaluationErrorConverter

public EvaluationErrorConverter()

Method Detail

isEvaluationError

public static boolean isEvaluationError(Term term)

fromTerm

public EvaluationError fromTerm(Compound term,
                                Type type,
                                Jpc context)

Specified by:

fromTerm in interface FromTermConverter<Compound,EvaluationError>