public class KeYJavaType extends java.lang.Object implements Type
Modifier and Type | Class and Description |
---|---|
static class |
KeYJavaType.LexicographicalKeYJavaTypeOrder<T extends KeYJavaType> |
Modifier and Type | Field and Description |
---|---|
private Type |
javaType
the AST type
|
private Sort |
sort
the logic sort
|
static KeYJavaType |
VOID_TYPE
Special return "type" for void methods.
|
Constructor and Description |
---|
KeYJavaType()
creates a new KeYJavaType
|
KeYJavaType(Sort sort)
creates a new KeYJavaType
|
KeYJavaType(Type type)
creates a new KeYJavaType
|
KeYJavaType(Type javaType,
Sort sort)
creates a new KeYJavaType
|
Modifier and Type | Method and Description |
---|---|
PackageReference |
createPackagePrefix() |
boolean |
equals(java.lang.Object o) |
Literal |
getDefaultValue()
Returns the default value of the given type
according to JLS Sect. 4.5.5;
returns null if this is not a real Java type.
|
java.lang.String |
getFullName()
Returns the maximal expanded name including all applicable
qualifiers.
|
Type |
getJavaType() |
java.lang.String |
getName()
Return the name of the model element.
|
Sort |
getSort() |
int |
hashCode() |
void |
setJavaType(Type type) |
void |
setSort(Sort s) |
java.lang.String |
toString() |
public static final KeYJavaType VOID_TYPE
private Type javaType
private Sort sort
public KeYJavaType()
public KeYJavaType(Sort sort)
public KeYJavaType(Type type)
public void setJavaType(Type type)
public void setSort(Sort s)
public Type getJavaType()
public Sort getSort()
public Literal getDefaultValue()
getDefaultValue
in interface Type
public java.lang.String toString()
toString
in class java.lang.Object
public java.lang.String getFullName()
ProgramModelElement
getFullName
in interface ProgramModelElement
public java.lang.String getName()
NamedModelElement
getName
in interface NamedModelElement
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public PackageReference createPackagePrefix()