public class ResourceErrorConverter extends Object implements FromTermConverter<Compound,ResourceError>
| Modifier and Type | Field and Description |
|---|---|
static String |
RESOURCE_ERROR_FUNCTOR_NAME |
| Constructor and Description |
|---|
ResourceErrorConverter() |
| Modifier and Type | Method and Description |
|---|---|
ResourceError |
fromTerm(Compound term,
Type type,
Jpc context) |
static boolean |
isResourceError(Term term) |
public static final String RESOURCE_ERROR_FUNCTOR_NAME
public static boolean isResourceError(Term term)
public ResourceError fromTerm(Compound term, Type type, Jpc context)
fromTerm in interface FromTermConverter<Compound,ResourceError>Copyright © 2014. All rights reserved.