de.uka.ilkd.key.rule.conditions

Class TypeResolver.NonGenericSortResolver

java.lang.Object

de.uka.ilkd.key.rule.conditions.TypeResolver

de.uka.ilkd.key.rule.conditions.TypeResolver.NonGenericSortResolver

Enclosing class:

TypeResolver

public static class TypeResolver.NonGenericSortResolver
extends TypeResolver

Nested Class Summary

Nested classes/interfaces inherited from class de.uka.ilkd.key.rule.conditions.TypeResolver

TypeResolver.ContainerTypeResolver, TypeResolver.ElementTypeResolverForSV, TypeResolver.GenericSortResolver, TypeResolver.NonGenericSortResolver

Field Summary

Fields

Modifier and Type	Field and Description
private Sort	s

Constructor Summary

Constructors

Constructor and Description
NonGenericSortResolver(Sort s)

Method Summary

Modifier and Type	Method and Description
Sort	getSort()
boolean	isComplete(SchemaVariable sv, SVSubstitute instCandidate, SVInstantiations instMap, TermServices services)
Sort	resolveSort(SchemaVariable sv, SVSubstitute instCandidate, SVInstantiations instMap, Services services)
String	toString()

Methods inherited from class de.uka.ilkd.key.rule.conditions.TypeResolver

createContainerTypeResolver, createElementTypeResolver, createGenericSortResolver, createNonGenericSortResolver

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

s

private final Sort s

Constructor Detail

NonGenericSortResolver

public NonGenericSortResolver(Sort s)

Method Detail

isComplete

public boolean isComplete(SchemaVariable sv,
                          SVSubstitute instCandidate,
                          SVInstantiations instMap,
                          TermServices services)

Specified by:

isComplete in class TypeResolver

resolveSort

public Sort resolveSort(SchemaVariable sv,
                        SVSubstitute instCandidate,
                        SVInstantiations instMap,
                        Services services)

Specified by:

resolveSort in class TypeResolver

getSort

public Sort getSort()

toString

public String toString()

Overrides:

toString in class Object