| java.lang.Object de.uka.ilkd.key.rule.conditions.TypeResolver
TypeResolver | abstract public class TypeResolver (Code) | | Several variable conditions deal with types. The type resolver provides a
unique interface to access types, e.g. the type of a schemavariable instantiation,
the instantiated type of a generic sort or the type an attribut eis declared in.
|
Inner Class :public static class GenericSortResolver extends TypeResolver | |
Inner Class :public static class ElementTypeResolverForSV extends TypeResolver | |
Inner Class :public static class ContainerTypeResolver extends TypeResolver | |
|
|