public class KeYJavaType extends 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(Object o) |
Literal |
getDefaultValue()
Returns the default value of the given type
according to JLS Sect.
|
String |
getFullName()
Returns the maximal expanded name including all applicable
qualifiers.
|
Type |
getJavaType() |
String |
getName()
Return the name of the model element.
|
Sort |
getSort() |
int |
hashCode() |
void |
setJavaType(Type type) |
void |
setSort(Sort s) |
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 String getFullName()
ProgramModelElement
getFullName
in interface ProgramModelElement
public String getName()
NamedModelElement
getName
in interface NamedModelElement
public PackageReference createPackagePrefix()