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