org.jpc.converter.catalog.error

Class InstantiationErrorConverter

java.lang.Object

org.jpc.converter.catalog.error.InstantiationErrorConverter

All Implemented Interfaces:

FromTermConverter<Compound,InstantiationError>, JpcConverter

public class InstantiationErrorConverter
extends Object
implements FromTermConverter<Compound,InstantiationError>

Field Summary

Fields

Modifier and Type	Field and Description
static String	INSTANTIATION_ERROR_FUNCTOR_NAME

Constructor Summary

Constructors

Constructor and Description
InstantiationErrorConverter()

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

INSTANTIATION_ERROR_FUNCTOR_NAME

public static final String INSTANTIATION_ERROR_FUNCTOR_NAME

See Also:

Constant Field Values

Constructor Detail

InstantiationErrorConverter

public InstantiationErrorConverter()

Method Detail

isInstantiationError

public static boolean isInstantiationError(Term term)

fromTerm

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

Specified by:

fromTerm in interface FromTermConverter<Compound,InstantiationError>