polyglot.types

Class PrimitiveType_c

java.lang.Object

polyglot.types.TypeObject_c

polyglot.types.Type_c

polyglot.types.PrimitiveType_c

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, Named, PrimitiveType, Qualifier, Type, TypeObject, Copy<TypeObject>

Direct Known Subclasses:

JL5PrimitiveType_c

public class PrimitiveType_c
extends Type_c
implements PrimitiveType

A PrimitiveType represents a type which may not be directly coerced to java.lang.Object (under the standard Java type system).

This class should never be instantiated directly. Instead, you should use the TypeSystem.get* methods.

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from interface polyglot.types.PrimitiveType

PrimitiveType.Kind

Nested classes/interfaces inherited from interface polyglot.util.Copy

Copy.Util

Field Summary

Fields

Modifier and Type	Field and Description
protected PrimitiveType.Kind	kind

Fields inherited from class polyglot.types.TypeObject_c

position, ts

Fields inherited from interface polyglot.types.PrimitiveType

BOOLEAN, BYTE, CHAR, DOUBLE, FLOAT, INT, LONG, SHORT, VOID

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	PrimitiveType_c() Used for deserializing types.
	PrimitiveType_c(TypeSystem ts, PrimitiveType.Kind kind)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	descendsFromImpl(Type ancestor) Return true if this type descends from ancestor.
boolean	equalsImpl(TypeObject t) Default implementation is pointer equality.
java.lang.String	fullName() Full dotted-name of the type object.
int	hashCode()
boolean	isBoolean() Return true if boolean.
boolean	isByte() Return true if byte.
boolean	isCanonical() Return true if the type object contains no unknown/ambiguous types.
boolean	isCastValidImpl(Type toType) Requires: all type arguments are canonical.
boolean	isChar() Return true if char.
boolean	isDouble() Return true if double.
boolean	isFloat() Return true if float.
boolean	isImplicitCastValidImpl(Type toType) Return true if a value of this type can be assigned to a variable of type toType.
boolean	isInt() Return true if int.
boolean	isIntOrLess() Return true if int, short, byte, or char.
boolean	isLong() Return true if long.
boolean	isLongOrLess() Return true if long, int, short, byte, or char.
boolean	isNumeric() Return true if double, float, long, int, short, byte, or char.
boolean	isPrimitive() Return true if a primitive type.
boolean	isShort() Return true if short.
boolean	isVoid() Return true if void.
PrimitiveType.Kind	kind() The kind of primitive.
java.lang.String	name() Simple name of the type object.
boolean	numericConversionValidImpl(java.lang.Object value) Return true a literal value can be converted to this type.
PrimitiveType	toPrimitive() Cast the type to a primitive type, or null.
java.lang.String	toString() Yields a string representing this type.
java.lang.String	translate(Resolver c) Return a string into which to translate the type.
boolean	typeEqualsImpl(Type t) Return true if this type is equivalent to t.
java.lang.String	wrapperTypeString(TypeSystem ts) A string representing the type used to box this primitive.

Methods inherited from class polyglot.types.Type_c

arrayOf, arrayOf, descendsFrom, isArray, isCastValid, isClass, isComparable, isImplicitCastValid, isNull, isPackage, isReference, isSubtype, isSubtypeImpl, isThrowable, isType, isUncheckedException, numericConversionValid, numericConversionValid, numericConversionValidImpl, print, toArray, toClass, toNull, toPackage, toReference, toType, typeEquals

Methods inherited from class polyglot.types.TypeObject_c

copy, equals, position, typeSystem

Methods inherited from class java.lang.Object

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

Methods inherited from interface polyglot.types.Type

arrayOf, arrayOf, descendsFrom, isArray, isCastValid, isClass, isComparable, isImplicitCastValid, isNull, isReference, isSubtype, isSubtypeImpl, isThrowable, isUncheckedException, numericConversionValid, numericConversionValid, numericConversionValidImpl, print, toArray, toClass, toNull, toReference, typeEquals

Methods inherited from interface polyglot.types.Qualifier

isPackage, isType, toPackage, toType

Methods inherited from interface polyglot.types.TypeObject

position, typeSystem

Methods inherited from interface polyglot.util.Copy

copy

Field Detail

kind

protected PrimitiveType.Kind kind

Constructor Detail

PrimitiveType_c

protected PrimitiveType_c()

Used for deserializing types.

PrimitiveType_c

public PrimitiveType_c(TypeSystem ts,
               PrimitiveType.Kind kind)

Method Detail

kind

public PrimitiveType.Kind kind()

Description copied from interface: PrimitiveType

The kind of primitive.

Specified by:

kind in interface PrimitiveType

toString

public java.lang.String toString()

Description copied from interface: Type

Yields a string representing this type. The string should be consistent with equality. That is, if this.equals(anotherType), then it should be that this.toString().equals(anotherType.toString()). The string is not necessarily a legal type expression in the language, such as a Java identifier. It is suggested, but not required, that it be an easily human-readable representation that can be used both in error messages and in generated output.

Specified by:

toString in interface Type

Specified by:

toString in class Type_c

translate

public java.lang.String translate(Resolver c)

Description copied from interface: Type

Return a string into which to translate the type.

Specified by:

translate in interface Type

Specified by:

translate in class Type_c

Parameters:

c - A resolver in which to lookup this type to determine if the type is unique in the given resolver.

isCanonical

public boolean isCanonical()

Description copied from interface: TypeObject

Return true if the type object contains no unknown/ambiguous types.

Specified by:

isCanonical in interface TypeObject

Overrides:

isCanonical in class Type_c

isPrimitive

public boolean isPrimitive()

Description copied from interface: Type

Return true if a primitive type.

Specified by:

isPrimitive in interface Type

Overrides:

isPrimitive in class Type_c

toPrimitive

public PrimitiveType toPrimitive()

Description copied from interface: Type

Cast the type to a primitive type, or null.

Specified by:

toPrimitive in interface Type

Overrides:

toPrimitive in class Type_c

Returns:

a non-null iff isPrimitive() returns true.

isVoid

public boolean isVoid()

Description copied from interface: Type

Return true if void.

Specified by:

isVoid in interface Type

Overrides:

isVoid in class Type_c

isBoolean

public boolean isBoolean()

Description copied from interface: Type

Return true if boolean.

Specified by:

isBoolean in interface Type

Overrides:

isBoolean in class Type_c

isChar

public boolean isChar()

Description copied from interface: Type

Return true if char.

Specified by:

isChar in interface Type

Overrides:

isChar in class Type_c

isByte

public boolean isByte()

Description copied from interface: Type

Return true if byte.

Specified by:

isByte in interface Type

Overrides:

isByte in class Type_c

isShort

public boolean isShort()

Description copied from interface: Type

Return true if short.

Specified by:

isShort in interface Type

Overrides:

isShort in class Type_c

isInt

public boolean isInt()

Description copied from interface: Type

Return true if int.

Specified by:

isInt in interface Type

Overrides:

isInt in class Type_c

isLong

public boolean isLong()

Description copied from interface: Type

Return true if long.

Specified by:

isLong in interface Type

Overrides:

isLong in class Type_c

isFloat

public boolean isFloat()

Description copied from interface: Type

Return true if float.

Specified by:

isFloat in interface Type

Overrides:

isFloat in class Type_c

isDouble

public boolean isDouble()

Description copied from interface: Type

Return true if double.

Specified by:

isDouble in interface Type

Overrides:

isDouble in class Type_c

isIntOrLess

public boolean isIntOrLess()

Description copied from interface: Type

Return true if int, short, byte, or char.

Specified by:

isIntOrLess in interface Type

Overrides:

isIntOrLess in class Type_c

isLongOrLess

public boolean isLongOrLess()

Description copied from interface: Type

Return true if long, int, short, byte, or char.

Specified by:

isLongOrLess in interface Type

Overrides:

isLongOrLess in class Type_c

isNumeric

public boolean isNumeric()

Description copied from interface: Type

Return true if double, float, long, int, short, byte, or char.

Specified by:

isNumeric in interface Type

Overrides:

isNumeric in class Type_c

hashCode

public int hashCode()

Overrides:

hashCode in class TypeObject_c

equalsImpl

public boolean equalsImpl(TypeObject t)

Description copied from class: TypeObject_c

Default implementation is pointer equality.

Specified by:

equalsImpl in interface TypeObject

Overrides:

equalsImpl in class TypeObject_c

See Also:

TypeObject_c.equalsImpl(TypeObject), Object.hashCode()

typeEqualsImpl

public boolean typeEqualsImpl(Type t)

Description copied from interface: Type

Return true if this type is equivalent to t. Usually this is the same as equalsImpl(TypeObject), but that method should return true only if the types are structurally equal.

Specified by:

typeEqualsImpl in interface Type

Overrides:

typeEqualsImpl in class Type_c

Parameters:

t - Type to compare to

Returns:

True if this type is equivalent to t.

wrapperTypeString

public java.lang.String wrapperTypeString(TypeSystem ts)

Description copied from interface: PrimitiveType

A string representing the type used to box this primitive.

Specified by:

wrapperTypeString in interface PrimitiveType

name

public java.lang.String name()

Description copied from interface: Named

Simple name of the type object. Anonymous classes do not have names.

Specified by:

name in interface Named

fullName

public java.lang.String fullName()

Description copied from interface: Named

Full dotted-name of the type object. For a package, top level class, top level interface, or primitive type, this is the fully qualified name. For a member class or interface that is directly enclosed in a class or interface with a fully qualified name, then this is the fully qualified name of the member class or interface. For local and anonymous classes, this method returns a string that is not the fully qualified name (as these classes do not have fully qualified names), but that may be suitable for debugging or error messages.

Specified by:

fullName in interface Named

descendsFromImpl

public boolean descendsFromImpl(Type ancestor)

Description copied from interface: Type

Return true if this type descends from ancestor.

Specified by:

descendsFromImpl in interface Type

Overrides:

descendsFromImpl in class Type_c

isImplicitCastValidImpl

public boolean isImplicitCastValidImpl(Type toType)

Description copied from interface: Type

Return true if a value of this type can be assigned to a variable of type toType.

Specified by:

isImplicitCastValidImpl in interface Type

Overrides:

isImplicitCastValidImpl in class Type_c

isCastValidImpl

public boolean isCastValidImpl(Type toType)

Requires: all type arguments are canonical. ToType is not a NullType. Returns true iff a cast from this to toType is valid; in other words, some non-null members of this are also members of toType.

Specified by:

isCastValidImpl in interface Type

Overrides:

isCastValidImpl in class Type_c

numericConversionValidImpl

public boolean numericConversionValidImpl(java.lang.Object value)

Description copied from interface: Type

Return true a literal value can be converted to this type.

Specified by:

numericConversionValidImpl in interface Type

Overrides:

numericConversionValidImpl in class Type_c