public static class TypeResolver.GenericSortResolver extends TypeResolver
TypeResolver.ContainerTypeResolver, TypeResolver.ElementTypeResolverForSV, TypeResolver.GenericSortResolver, TypeResolver.NonGenericSortResolver
Modifier and Type | Field and Description |
---|---|
private GenericSort |
gs |
Constructor and Description |
---|
GenericSortResolver(GenericSort gs) |
Modifier and Type | Method and Description |
---|---|
GenericSort |
getGenericSort() |
boolean |
isComplete(SchemaVariable sv,
SVSubstitute instCandidate,
SVInstantiations instMap,
TermServices services) |
Sort |
resolveSort(SchemaVariable sv,
SVSubstitute instCandidate,
SVInstantiations instMap,
Services services) |
java.lang.String |
toString() |
createContainerTypeResolver, createElementTypeResolver, createGenericSortResolver, createNonGenericSortResolver
private final GenericSort gs
public GenericSortResolver(GenericSort gs)
public GenericSort getGenericSort()
public boolean isComplete(SchemaVariable sv, SVSubstitute instCandidate, SVInstantiations instMap, TermServices services)
isComplete
in class TypeResolver
public Sort resolveSort(SchemaVariable sv, SVSubstitute instCandidate, SVInstantiations instMap, Services services)
resolveSort
in class TypeResolver
public java.lang.String toString()
toString
in class java.lang.Object