public static class TypeResolver.ContainerTypeResolver extends TypeResolver
TypeResolver.ContainerTypeResolver, TypeResolver.ElementTypeResolverForSV, TypeResolver.GenericSortResolver, TypeResolver.NonGenericSortResolver
Modifier and Type | Field and Description |
---|---|
private SchemaVariable |
memberSV |
Constructor and Description |
---|
ContainerTypeResolver(SchemaVariable sv) |
Modifier and Type | Method and Description |
---|---|
private Sort |
getContainerSort(Operator op,
TermServices services) |
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 SchemaVariable memberSV
public ContainerTypeResolver(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
private Sort getContainerSort(Operator op, TermServices services)
public java.lang.String toString()
toString
in class java.lang.Object