| java.lang.Object de.uka.ilkd.key.java.abstraction.KeYJavaType
KeYJavaType | public class KeYJavaType implements Type(Code) | | The KeY java type realises a tuple (sort, type) of a logic sort and
the java type (for example a class declaration).
In contrast to other classes the KeYJavaType is not
immutable, so use it with care.
|
Inner Class :final public static class LexicographicalKeYJavaTypeOrder implements Comparator | |
KeYJavaType | public KeYJavaType()(Code) | | creates a new KeYJavaType
|
KeYJavaType | public KeYJavaType(Type javaType, Sort sort)(Code) | | creates a new KeYJavaType
|
KeYJavaType | public KeYJavaType(Sort sort)(Code) | | creates a new KeYJavaType
|
KeYJavaType | public KeYJavaType(Type type)(Code) | | creates a new KeYJavaType
|
getDefaultValue | public Literal getDefaultValue()(Code) | | returns the default value of the given type
according to JLS ???4.5.5
the default value of the given type according to JLS ???4.5.5 |
setJavaType | public void setJavaType(Type type)(Code) | | |
|
|