public class TypeErrorConverter extends Object implements FromTermConverter<Compound,TypeError>
Modifier and Type | Field and Description |
---|---|
static String |
TYPE_ERROR_FUNCTOR_NAME |
Constructor and Description |
---|
TypeErrorConverter() |
Modifier and Type | Method and Description |
---|---|
TypeError |
fromTerm(Compound term,
Type type,
Jpc context) |
static boolean |
isTypeError(Term term) |
public static final String TYPE_ERROR_FUNCTOR_NAME
Copyright © 2014. All rights reserved.