public static class TypeResolver.ElementTypeResolverForSV extends TypeResolver
TypeResolver.ContainerTypeResolver, TypeResolver.ElementTypeResolverForSV, TypeResolver.GenericSortResolver, TypeResolver.NonGenericSortResolver
Modifier and Type | Field and Description |
---|---|
private SchemaVariable |
resolveSV |
Constructor and Description |
---|
TypeResolver.ElementTypeResolverForSV(SchemaVariable sv) |
Modifier and Type | Method and Description |
---|---|
boolean |
isComplete(SchemaVariable sv,
SVSubstitute instCandidate,
SVInstantiations instMap,
TermServices services) |
Sort |
resolveSort(SchemaVariable sv,
SVSubstitute instCandidate,
SVInstantiations instMap,
Services services) |
String |
toString() |
createContainerTypeResolver, createElementTypeResolver, createGenericSortResolver, createNonGenericSortResolver
private final SchemaVariable resolveSV
public TypeResolver.ElementTypeResolverForSV(SchemaVariable sv)
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