org.jpc.converter.catalog.error

Class DomainErrorConverter

java.lang.Object

org.jpc.converter.catalog.error.DomainErrorConverter

All Implemented Interfaces:

FromTermConverter<Compound,DomainError>, JpcConverter

public class DomainErrorConverter
extends Object
implements FromTermConverter<Compound,DomainError>

Field Summary

Fields

Modifier and Type	Field and Description
static String	DOMAIN_ERROR_FUNCTOR_NAME

Constructor Summary

Constructors

Constructor and Description
DomainErrorConverter()

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

DOMAIN_ERROR_FUNCTOR_NAME

public static final String DOMAIN_ERROR_FUNCTOR_NAME

See Also:

Constant Field Values

Constructor Detail

DomainErrorConverter

public DomainErrorConverter()

Method Detail

isDomainError

public static boolean isDomainError(Term term)

fromTerm

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

Specified by:

fromTerm in interface FromTermConverter<Compound,DomainError>