de.uka.ilkd.key.java.abstraction

Class KeYJavaType

java.lang.Object

de.uka.ilkd.key.java.abstraction.KeYJavaType

All Implemented Interfaces:

ProgramModelElement, Type, ModelElement, NamedModelElement

public class KeYJavaType
extends Object
implements Type

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.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	KeYJavaType.LexicographicalKeYJavaTypeOrder<T extends KeYJavaType>

Field Summary

Fields

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 Summary

Constructors

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

Method Summary

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()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

VOID_TYPE

public static final KeYJavaType VOID_TYPE

Special return "type" for void methods.

javaType

private Type javaType

the AST type

sort

private Sort sort

the logic sort

Constructor Detail

KeYJavaType

public KeYJavaType()

creates a new KeYJavaType

KeYJavaType

public KeYJavaType(Type javaType,
                   Sort sort)

creates a new KeYJavaType

KeYJavaType

public KeYJavaType(Sort sort)

creates a new KeYJavaType

KeYJavaType

public KeYJavaType(Type type)

creates a new KeYJavaType

Method Detail

setJavaType

public void setJavaType(Type type)

setSort

public void setSort(Sort s)

getJavaType

public Type getJavaType()

getSort

public Sort getSort()

getDefaultValue

public 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.

Specified by:

getDefaultValue in interface Type

Returns:

the default value of the given type according to JLS Sect. 4.5.5

toString

public String toString()

Overrides:

toString in class Object

getFullName

public String getFullName()

Description copied from interface: ProgramModelElement

Returns the maximal expanded name including all applicable qualifiers.

Specified by:

getFullName in interface ProgramModelElement

Returns:

the full name of this program model element.

getName

public String getName()

Description copied from interface: NamedModelElement

Return the name of the model element.

Specified by:

getName in interface NamedModelElement

Returns:

the name of the model element.

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

createPackagePrefix

public PackageReference createPackagePrefix()