de.uka.ilkd.key.java.abstraction

Class PrimitiveType

java.lang.Object

de.uka.ilkd.key.java.abstraction.PrimitiveType

All Implemented Interfaces:

ProgramModelElement, Type, ModelElement, NamedModelElement

public final class PrimitiveType
extends Object
implements Type

A program model element representing primitive types.

Author:

AL, RN

Field Summary

Fields

Modifier and Type	Field and Description
private ProgramElementName	arrayElementName
private Literal	defaultValue
static PrimitiveType	JAVA_BIGINT
static PrimitiveType	JAVA_BOOLEAN
static PrimitiveType	JAVA_BYTE
static PrimitiveType	JAVA_CHAR
static PrimitiveType	JAVA_DOUBLE
static PrimitiveType	JAVA_FLOAT
static PrimitiveType	JAVA_FREE_ADT
static PrimitiveType	JAVA_INT
static PrimitiveType	JAVA_LOCSET
static PrimitiveType	JAVA_LONG
static PrimitiveType	JAVA_MAP
static PrimitiveType	JAVA_REAL
static PrimitiveType	JAVA_SEQ
static PrimitiveType	JAVA_SHORT
private static Map<Name,PrimitiveType>	ldtMap
private Name	ldtName
private String	name
static PrimitiveType	PROGRAM_SV
private static Map<String,PrimitiveType>	typeMap

Constructor Summary

Constructors

Modifier	Constructor and Description
private	PrimitiveType(String name, Literal defaultValue, Name ldtName)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object o)
ProgramElementName	getArrayElementName() Returns the specific name of this primitive type used in array types.
Name	getCorrespondingLDTName() Gets the name of the LDT corresponding to this primitive type.
Literal	getDefaultValue() returns the default value of the given type according to JLS ???4.5.5 ATTENTION: usually for byte and short this should be (byte) 0 (rsp.
String	getFullName() Returns the name of type.
String	getName() Returns the name of this type.
static PrimitiveType	getPrimitiveType(String name)
static PrimitiveType	getPrimitiveTypeByLDT(Name ldtName)
int	hashCode()
boolean	isArithmeticType() Returns true if this is an integer or floating point type.
boolean	isIntegerType() Returns whether this is a Java type which translates to int in DL.
String	toString() Returns the name of type.

Methods inherited from class java.lang.Object

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

Field Detail

typeMap

private static final Map<String,PrimitiveType> typeMap

ldtMap

private static final Map<Name,PrimitiveType> ldtMap

JAVA_BYTE

public static final PrimitiveType JAVA_BYTE

JAVA_SHORT

public static final PrimitiveType JAVA_SHORT

JAVA_INT

public static final PrimitiveType JAVA_INT

JAVA_CHAR

public static final PrimitiveType JAVA_CHAR

JAVA_LONG

public static final PrimitiveType JAVA_LONG

JAVA_BIGINT

public static final PrimitiveType JAVA_BIGINT

JAVA_FLOAT

public static final PrimitiveType JAVA_FLOAT

JAVA_DOUBLE

public static final PrimitiveType JAVA_DOUBLE

JAVA_REAL

public static final PrimitiveType JAVA_REAL

JAVA_BOOLEAN

public static final PrimitiveType JAVA_BOOLEAN

JAVA_LOCSET

public static final PrimitiveType JAVA_LOCSET

JAVA_SEQ

public static final PrimitiveType JAVA_SEQ

JAVA_FREE_ADT

public static final PrimitiveType JAVA_FREE_ADT

JAVA_MAP

public static final PrimitiveType JAVA_MAP

PROGRAM_SV

public static final PrimitiveType PROGRAM_SV

arrayElementName

private ProgramElementName arrayElementName

name

private final String name

defaultValue

private final Literal defaultValue

ldtName

private final Name ldtName

Constructor Detail

PrimitiveType

private PrimitiveType(String name,
                      Literal defaultValue,
                      Name ldtName)

Method Detail

getPrimitiveType

public static PrimitiveType getPrimitiveType(String name)

getPrimitiveTypeByLDT

public static PrimitiveType getPrimitiveTypeByLDT(Name ldtName)

getName

public String getName()

Returns the name of this type.

Specified by:

getName in interface NamedModelElement

Returns:

the name of this type.

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

getDefaultValue

public Literal getDefaultValue()

returns the default value of the given type according to JLS ???4.5.5 ATTENTION: usually for byte and short this should be (byte) 0 (rsp. (short)0) but currently is just 0.

Specified by:

getDefaultValue in interface Type

Returns:

the default value of the given type according to JLS ???4.5.5

getFullName

public String getFullName()

Returns the name of type.

Specified by:

getFullName in interface ProgramModelElement

Returns:

the full name of this program model element.

toString

public String toString()

Returns the name of type.

Overrides:

toString in class Object

Returns:

the full name of this program model element.

getArrayElementName

public ProgramElementName getArrayElementName()

Returns the specific name of this primitive type used in array types.

isIntegerType

public boolean isIntegerType()

Returns whether this is a Java type which translates to int in DL.

isArithmeticType

public boolean isArithmeticType()

Returns true if this is an integer or floating point type.

getCorrespondingLDTName

public Name getCorrespondingLDTName()

Gets the name of the LDT corresponding to this primitive type.

Returns:

may be null if no name set