randoop.types

Class PrimitiveType

java.lang.Object

randoop.types.Type

randoop.types.PrimitiveType

All Implemented Interfaces:

java.lang.Comparable<Type>

public class PrimitiveType
extends Type

Represents a Java primitive type. Corresponds to primitive types as defined in JLS section 4.2.

Field Summary

Fields

Modifier and Type	Field and Description
private static java.util.Map<java.lang.Class<?>,PrimitiveType>	cache All the PrimitiveTypes that have been created.
private java.lang.Class<?>	runtimeClass The runtime class of the primitive type.

Constructor Summary

Constructors

Modifier	Constructor and Description
private	PrimitiveType(java.lang.Class<?> runtimeClass) Creates a primitive type from the given runtime class.

Method Summary

Modifier and Type	Method and Description
boolean	equals(@Nullable java.lang.Object obj)
static PrimitiveType	forClass(java.lang.Class<?> runtimeClass) Creates a primitive type from the given runtime class.
java.lang.String	getBinaryName() Returns the binary name of this type, including type arguments if this is a parameterized type (so, it isn't really a binary name).
@Nullable java.lang.String	getFqName() Returns the fully-qualified name of this type, including type arguments if this is a parameterized type.
java.lang.Class<?>	getRuntimeClass() Returns the runtime Class object for this type.
java.lang.String	getSimpleName() Returns the name of this type without type arguments or package qualifiers.
int	hashCode()
boolean	isAssignableFrom(Type sourceType) Indicates whether there is an assignment conversion from a source Type to this type.
boolean	isNonreceiverType() Indicates whether this is the type of a non-receiver term: primitive, boxed primitive, String, or Class.
boolean	isPrimitive() Indicates whether this is a primitive type.
boolean	isSubtypeOf(Type otherType) Test whether this type is a subtype of the given type according to transitive closure of definition of the direct supertype relation in section 4.10 of JLS for Java SE 8.
NonParameterizedType	toBoxedPrimitive() Returns the boxed type for this primitive type.

Methods inherited from class randoop.types.Type

applyCaptureConversion, compareTo, forFullyQualifiedName, forName, forType, forValue, getCanonicalName, getRawtype, getTypeforFullyQualifiedName, getUnqualifiedBinaryName, hasCaptureVariable, hasWildcard, isArray, isAssignableFromTypeOf, isBoxedPrimitive, isClass, isClassOrInterfaceType, isEnum, isGeneric, isGeneric, isInterface, isObject, isParameterized, isRawtype, isReferenceType, isString, isVariable, isVoid, runtimeClassIs, substitute, toString

Methods inherited from class java.lang.Object

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

Field Detail

runtimeClass

private final java.lang.Class<?> runtimeClass

The runtime class of the primitive type.

cache

private static java.util.Map<java.lang.Class<?>,PrimitiveType> cache

All the PrimitiveTypes that have been created.

Constructor Detail

PrimitiveType

private PrimitiveType(java.lang.Class<?> runtimeClass)

Creates a primitive type from the given runtime class.

Parameters:

runtimeClass - the runtime class

Method Detail

forClass

public static PrimitiveType forClass(java.lang.Class<?> runtimeClass)

Creates a primitive type from the given runtime class.

Parameters:

runtimeClass - the runtime class

Returns:

the PrimitiveType for the given runtime class

equals

public boolean equals(@Nullable java.lang.Object obj)

Overrides:

equals in class java.lang.Object

Returns:

true if the runtime class of this primitive type and the object are the same, false otherwise

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

getFqName

public @Nullable java.lang.String getFqName()

Description copied from class: Type

Returns the fully-qualified name of this type, including type arguments if this is a parameterized type. For java.util.List<T> return "java.util.List<T>".

Specified by:

getFqName in class Type

Returns:

the fully-qualified type name for this type

getBinaryName

public java.lang.String getBinaryName()

Description copied from class: Type

Returns the binary name of this type, including type arguments if this is a parameterized type (so, it isn't really a binary name). For java.util.List<T> return "java.util.List<T>".

Specified by:

getBinaryName in class Type

Returns:

the binary name for this type

getSimpleName

public java.lang.String getSimpleName()

Description copied from class: Type

Returns the name of this type without type arguments or package qualifiers. For java.util.List<T>, returns "List".

Specified by:

getSimpleName in class Type

Returns:

the name of this type without type arguments

getRuntimeClass

public java.lang.Class<?> getRuntimeClass()

Returns the runtime Class object for this type. For use when reflection is needed.

Note that type variables and the null reference type do not have a runtime class, and this method will return null in those cases.

This method should not be confused with the inherited Object.getClass() method, which returns the Class<?> for the Type object, and not of the represented type. For instance, if a Type object t represented the Java type int, then t.getRuntimeClass() would return int.class while t.getClass() would return Type.class.

Specified by:

getRuntimeClass in class Type

Returns:

the Class object for this primitive type

isAssignableFrom

public boolean isAssignableFrom(Type sourceType)

Indicates whether there is an assignment conversion from a source Type to this type. (In other words, a value of the source type can be assigned to an l-value of this type.) Returns true if this is a legal assignment conversion: Variablethis = Expressionsourcetype.

Based on the definition of assignment context in section 5.2 of the Java Language Specification, a value of one type is assignable to a variable of another type if the first type can be converted to the second by

• an identity conversion (section 5.1.1),
• a widening primitive conversion (section 5.1.2),
• a widening reference conversion (section 5.1.5),
• a boxing conversion (5.1.7), or
• an unboxing conversion (section 5.1.8) possibly followed by a widening conversion.

And, if after all those conversions, the type is a raw type, an unchecked conversion may occur.

Checks for primitive widening (section 5.1.2), and unboxing (section 5.1.8) conversions. For a primitive type, returns true if this type can be assigned from the source type by primitive widening or unboxing.

Overrides:

isAssignableFrom in class Type

Parameters:

sourceType - the type to test for assignability

Returns:

true if this type can be assigned from the source type, and false otherwise

isPrimitive

public boolean isPrimitive()

Indicates whether this is a primitive type.

Overrides:

isPrimitive in class Type

Returns:

true since this object represents a primitive type

isNonreceiverType

public boolean isNonreceiverType()

Indicates whether this is the type of a non-receiver term: primitive, boxed primitive, String, or Class.

Overrides:

isNonreceiverType in class Type

Returns:

true since this object represents a non-receiver type

isSubtypeOf

public boolean isSubtypeOf(Type otherType)

Test whether this type is a subtype of the given type according to transitive closure of definition of the direct supertype relation in section 4.10 of JLS for Java SE 8.

Specifically implements tests for primitive types as defined in section 4.10.1 of JLS for JavaSE 8.

Overrides:

isSubtypeOf in class Type

Parameters:

otherType - the possible supertype

Returns:

true if this type is a subtype of the given type, false otherwise

toBoxedPrimitive

public NonParameterizedType toBoxedPrimitive()

Returns the boxed type for this primitive type.

Returns:

the boxed type for this primitive type