Package | Description |
---|---|
de.uka.ilkd.key.rule.conditions |
Modifier and Type | Class and Description |
---|---|
static class |
TypeResolver.ContainerTypeResolver |
static class |
TypeResolver.ElementTypeResolverForSV |
static class |
TypeResolver.GenericSortResolver |
static class |
TypeResolver.NonGenericSortResolver |
Modifier and Type | Method and Description |
---|---|
static TypeResolver |
TypeResolver.createContainerTypeResolver(SchemaVariable s) |
static TypeResolver |
TypeResolver.createElementTypeResolver(SchemaVariable s) |
static TypeResolver |
TypeResolver.createGenericSortResolver(GenericSort gs) |
static TypeResolver |
TypeResolver.createNonGenericSortResolver(Sort s) |
TypeResolver |
TypeComparisonCondition.getFirstResolver() |
TypeResolver |
TypeCondition.getResolver() |
TypeResolver |
TypeComparisonCondition.getSecondResolver() |
TypeResolver |
AbstractOrInterfaceType.getTypeResolver() |
TypeResolver |
TypeCondition.getTypeResolver() |
Constructor and Description |
---|
AbstractOrInterfaceType(TypeResolver tr,
boolean negation) |
EnumTypeCondition(TypeResolver resolver,
boolean negated)
creates a condition that checks if a type is a EnumDeclaration
|
TypeComparisonCondition(TypeResolver fst,
TypeResolver snd,
TypeComparisonCondition.Mode mode)
creates a condition that checks if the declaration types of the
schemavariable's instantiations are unequal
|
TypeCondition(TypeResolver tr,
boolean isReference,
boolean nonNull)
create a type condition
|
Copyright © 2003-2019 The KeY-Project.