org.jpc.converter.catalog.error

Class ExistenceErrorConverter

java.lang.Object

org.jpc.converter.catalog.error.ExistenceErrorConverter

All Implemented Interfaces:

FromTermConverter<Compound,ExistenceError>, JpcConverter

public class ExistenceErrorConverter
extends Object
implements FromTermConverter<Compound,ExistenceError>

Field Summary

Fields

Modifier and Type	Field and Description
static String	EXISTENCE_ERROR_FUNCTOR_NAME

Constructor Summary

Constructors

Constructor and Description
ExistenceErrorConverter()

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

EXISTENCE_ERROR_FUNCTOR_NAME

public static final String EXISTENCE_ERROR_FUNCTOR_NAME

See Also:

Constant Field Values

Constructor Detail

ExistenceErrorConverter

public ExistenceErrorConverter()

Method Detail

isExistenceError

public static boolean isExistenceError(Term term)

fromTerm

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

Specified by:

fromTerm in interface FromTermConverter<Compound,ExistenceError>