de.uka.ilkd.key.rule.conditions

Class TypeResolver.ContainerTypeResolver

java.lang.Object

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

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

Enclosing class:

TypeResolver

public static class TypeResolver.ContainerTypeResolver
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 SchemaVariable	memberSV

Constructor Summary

Constructors

Constructor and Description
ContainerTypeResolver(SchemaVariable sv)

Method Summary

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)
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

memberSV

private final SchemaVariable memberSV

Constructor Detail

ContainerTypeResolver

public ContainerTypeResolver(SchemaVariable sv)

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

getContainerSort

private Sort getContainerSort(Operator op,
                              TermServices services)

toString

public String toString()

Overrides:

toString in class Object