Type_c

java.lang.Object
- polyglot.types.TypeObject_c
- - polyglot.types.Type_c

All Implemented Interfaces:

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

Direct Known Subclasses:

NullType_c, PrimitiveType_c, ReferenceType_c, UnknownType_c
```
public abstract class Type_c
extends TypeObject_c
implements Type
```
Abstract implementation of a Type. This implements most of the "isa" and "cast" methods of the type and methods which just dispatch to the type system.

See Also:
Serialized Form

Nested Class Summary
- Nested classes/interfaces inherited from interface polyglot.util.Copy
  Copy.Util

Field Summary
- Fields inherited from class polyglot.types.TypeObject_c
  position, ts

Constructor Summary

Constructors
Modifier	Constructor and Description
`protected`	`Type_c()` Used for deserializing types.
	`Type_c(TypeSystem ts)` Creates a new type in the given a TypeSystem.
	`Type_c(TypeSystem ts, Position pos)` Creates a new type in the given a TypeSystem at a given position.

Method Summary

Methods
Modifier and Type	Method and Description
`ArrayType`	`arrayOf()` Return an array of this type.
`ArrayType`	`arrayOf(int dims)` Return a `dims`-array of this type.
`boolean`	`descendsFrom(Type ancestor)` Return true if this type descends from `ancestor`.
`boolean`	`descendsFromImpl(Type ancestor)` Return true if this type descends from `ancestor`.
`boolean`	`isArray()` Return true if an array type.
`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`	`isCastValid(Type toType)` Return true if this type can be cast to `toType`.
`boolean`	`isCastValidImpl(Type toType)` Return true if this type can be cast to `toType`.
`boolean`	`isChar()` Return true if char.
`boolean`	`isClass()` Return true if a class type.
`boolean`	`isComparable(Type t)` Return true if the types can be compared; that is, if they have the same type system.
`boolean`	`isDouble()` Return true if double.
`boolean`	`isFloat()` Return true if float.
`boolean`	`isImplicitCastValid(Type toType)` Return true if a value of this type can be assigned to a variable of type `toType`.
`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`	`isNull()` Return true if a null type.
`boolean`	`isNumeric()` Return true if double, float, long, int, short, byte, or char.
`boolean`	`isPackage()` Return true if the qualifier is a package.
`boolean`	`isPrimitive()` Return true if a primitive type.
`boolean`	`isReference()` Return true if a reference type.
`boolean`	`isShort()` Return true if short.
`boolean`	`isSubtype(Type ancestor)` Return true if this type is a subtype of `ancestor`.
`boolean`	`isSubtypeImpl(Type ancestor)` Return true if this type is a subtype of `ancestor`.
`boolean`	`isThrowable()` Return true if a subclass of `Throwable`.
`boolean`	`isType()` Return true if the qualifier is a type.
`boolean`	`isUncheckedException()` Return true if an unchecked exception.
`boolean`	`isVoid()` Return true if void.
`boolean`	`numericConversionValid(long value)` Deprecated.
`boolean`	`numericConversionValid(java.lang.Object value)` Return true a literal `value` can be converted to this type.
`boolean`	`numericConversionValidImpl(long value)` Deprecated.
`boolean`	`numericConversionValidImpl(java.lang.Object value)` Return true a literal `value` can be converted to this type.
`void`	`print(CodeWriter w)` Output a compilable representation of this type to `w`.
`ArrayType`	`toArray()` Cast the type to an array type, or null.
`ClassType`	`toClass()` Cast the type to a class type, or null.
`NullType`	`toNull()` Cast the type to a null type, or null.
`Package`	`toPackage()` Cast the qualifier to a package, or return null.
`PrimitiveType`	`toPrimitive()` Cast the type to a primitive type, or null.
`ReferenceType`	`toReference()` Cast the type to a reference type, or null.
`abstract java.lang.String`	`toString()` Yields a string representing this type.
`Type`	`toType()` Cast the qualifier to a type, or return null.
`abstract java.lang.String`	`translate(Resolver c)` Return a string into which to translate the type.
`boolean`	`typeEquals(Type t)` Return true if this type is equivalent to t.
`boolean`	`typeEqualsImpl(Type t)` Return true if this type is equivalent to t.

Methods inherited from class polyglot.types.TypeObject_c
copy, equals, equalsImpl, hashCode, position, typeSystem

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface polyglot.types.TypeObject
equalsImpl, position, typeSystem

Methods inherited from interface polyglot.util.Copy
copy

- Constructor Detail
  - Type_c
```
protected Type_c()
```
    Used for deserializing types.
  - Type_c
```
public Type_c(TypeSystem ts)
```
    Creates a new type in the given a TypeSystem.
  - Type_c
```
public Type_c(TypeSystem ts,
      Position pos)
```
    Creates a new type in the given a TypeSystem at a given position.
- Method Detail
  - translate
```
public abstract 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
    
    Parameters:
    c - A resolver in which to lookup this type to determine if the type is unique in the given resolver.
  - isType
```
public boolean isType()
```
    Description copied from interface: Qualifier
    
    Return true if the qualifier is a type.
    
    Specified by:
    
    isType in interface Qualifier
  - isPackage
```
public boolean isPackage()
```
    Description copied from interface: Qualifier
    
    Return true if the qualifier is a package.
    
    Specified by:
    
    isPackage in interface Qualifier
  - toType
```
public Type toType()
```
    Description copied from interface: Qualifier
    
    Cast the qualifier to a type, or return null. This method will probably be deprecated.
    
    Specified by:
    
    toType in interface Qualifier
  - toPackage
```
public Package toPackage()
```
    Description copied from interface: Qualifier
    
    Cast the qualifier to a package, or return null. This method will probably be deprecated.
    
    Specified by:
    
    toPackage in interface Qualifier
  - 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
  - isPrimitive
```
public boolean isPrimitive()
```
    Description copied from interface: Type
    
    Return true if a primitive type.
    
    Specified by:
    
    isPrimitive in interface Type
  - 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
  - isIntOrLess
```
public boolean isIntOrLess()
```
    Description copied from interface: Type
    
    Return true if int, short, byte, or char.
    
    Specified by:
    
    isIntOrLess in interface Type
  - isLongOrLess
```
public boolean isLongOrLess()
```
    Description copied from interface: Type
    
    Return true if long, int, short, byte, or char.
    
    Specified by:
    
    isLongOrLess in interface Type
  - isVoid
```
public boolean isVoid()
```
    Description copied from interface: Type
    
    Return true if void.
    
    Specified by:
    
    isVoid in interface Type
  - isBoolean
```
public boolean isBoolean()
```
    Description copied from interface: Type
    
    Return true if boolean.
    
    Specified by:
    
    isBoolean in interface Type
  - isChar
```
public boolean isChar()
```
    Description copied from interface: Type
    
    Return true if char.
    
    Specified by:
    
    isChar in interface Type
  - isByte
```
public boolean isByte()
```
    Description copied from interface: Type
    
    Return true if byte.
    
    Specified by:
    
    isByte in interface Type
  - isShort
```
public boolean isShort()
```
    Description copied from interface: Type
    
    Return true if short.
    
    Specified by:
    
    isShort in interface Type
  - isInt
```
public boolean isInt()
```
    Description copied from interface: Type
    
    Return true if int.
    
    Specified by:
    
    isInt in interface Type
  - isLong
```
public boolean isLong()
```
    Description copied from interface: Type
    
    Return true if long.
    
    Specified by:
    
    isLong in interface Type
  - isFloat
```
public boolean isFloat()
```
    Description copied from interface: Type
    
    Return true if float.
    
    Specified by:
    
    isFloat in interface Type
  - isDouble
```
public boolean isDouble()
```
    Description copied from interface: Type
    
    Return true if double.
    
    Specified by:
    
    isDouble in interface Type
  - isReference
```
public boolean isReference()
```
    Description copied from interface: Type
    
    Return true if a reference type.
    
    Specified by:
    
    isReference in interface Type
  - isNull
```
public boolean isNull()
```
    Description copied from interface: Type
    
    Return true if a null type.
    
    Specified by:
    
    isNull in interface Type
  - isClass
```
public boolean isClass()
```
    Description copied from interface: Type
    
    Return true if a class type.
    
    Specified by:
    
    isClass in interface Type
  - isArray
```
public boolean isArray()
```
    Description copied from interface: Type
    
    Return true if an array type.
    
    Specified by:
    
    isArray in interface Type
  - isThrowable
```
public boolean isThrowable()
```
    Description copied from interface: Type
    
    Return true if a subclass of Throwable.
    
    Specified by:
    
    isThrowable in interface Type
  - isUncheckedException
```
public boolean isUncheckedException()
```
    Description copied from interface: Type
    
    Return true if an unchecked exception.
    
    Specified by:
    
    isUncheckedException in interface Type
  - toClass
```
public ClassType toClass()
```
    Description copied from interface: Type
    
    Cast the type to a class type, or null.
    
    Specified by:
    
    toClass in interface Type
    
    Returns:
    a non-null iff isClass() returns true.
  - toNull
```
public NullType toNull()
```
    Description copied from interface: Type
    
    Cast the type to a null type, or null.
    
    Specified by:
    
    toNull in interface Type
    
    Returns:
    a non-null iff isNull() returns true.
  - toReference
```
public ReferenceType toReference()
```
    Description copied from interface: Type
    
    Cast the type to a reference type, or null.
    
    Specified by:
    
    toReference in interface Type
    
    Returns:
    a non-null iff isReference() returns true.
  - toPrimitive
```
public PrimitiveType toPrimitive()
```
    Description copied from interface: Type
    
    Cast the type to a primitive type, or null.
    
    Specified by:
    
    toPrimitive in interface Type
    
    Returns:
    a non-null iff isPrimitive() returns true.
  - toArray
```
public ArrayType toArray()
```
    Description copied from interface: Type
    
    Cast the type to an array type, or null.
    
    Specified by:
    
    toArray in interface Type
    
    Returns:
    a non-null iff isArray() returns true.
  - arrayOf
```
public ArrayType arrayOf(int dims)
```
    Description copied from interface: Type
    
    Return a dims-array of this type.
    
    Specified by:
    
    arrayOf in interface Type
  - arrayOf
```
public ArrayType arrayOf()
```
    Description copied from interface: Type
    
    Return an array of this type.
    
    Specified by:
    
    arrayOf in interface Type
  - typeEquals
```
public final boolean typeEquals(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:
    
    typeEquals in interface Type
    
    Parameters:
    t - Type to compare to
    
    Returns:
    True if this type is equivalent to t.
  - 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
    
    Parameters:
    t - Type to compare to
    
    Returns:
    True if this type is equivalent to t.
  - isSubtype
```
public final boolean isSubtype(Type ancestor)
```
    Description copied from interface: Type
    
    Return true if this type is a subtype of ancestor.
    
    Specified by:
    
    isSubtype in interface Type
  - isSubtypeImpl
```
public boolean isSubtypeImpl(Type ancestor)
```
    Description copied from interface: Type
    
    Return true if this type is a subtype of ancestor.
    
    Specified by:
    
    isSubtypeImpl in interface Type
  - descendsFrom
```
public final boolean descendsFrom(Type ancestor)
```
    Description copied from interface: Type
    
    Return true if this type descends from ancestor.
    
    Specified by:
    
    descendsFrom in interface Type
  - 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
  - isCastValid
```
public final boolean isCastValid(Type toType)
```
    Description copied from interface: Type
    
    Return true if this type can be cast to toType.
    
    Specified by:
    
    isCastValid in interface Type
  - isCastValidImpl
```
public boolean isCastValidImpl(Type toType)
```
    Description copied from interface: Type
    
    Return true if this type can be cast to toType.
    
    Specified by:
    
    isCastValidImpl in interface Type
  - isImplicitCastValid
```
public final boolean isImplicitCastValid(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:
    
    isImplicitCastValid in interface Type
  - 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
  - numericConversionValid
```
@Deprecated
public final boolean numericConversionValid(long value)
```
    Deprecated.
    
    Description copied from interface: Type
    
    Return true a literal value can be converted to this type.
    
    Specified by:
    
    numericConversionValid in interface Type
  - numericConversionValidImpl
```
@Deprecated
public boolean numericConversionValidImpl(long value)
```
    Deprecated.
    
    Description copied from interface: Type
    
    Return true a literal value can be converted to this type.
    
    Specified by:
    
    numericConversionValidImpl in interface Type
  - numericConversionValid
```
public final boolean numericConversionValid(java.lang.Object value)
```
    Description copied from interface: Type
    
    Return true a literal value can be converted to this type.
    
    Specified by:
    
    numericConversionValid in interface Type
  - 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
  - isComparable
```
public boolean isComparable(Type t)
```
    Description copied from interface: Type
    
    Return true if the types can be compared; that is, if they have the same type system.
    
    Specified by:
    
    isComparable in interface Type
  - toString
```
public abstract 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
    
    Overrides:
    
    toString in class java.lang.Object
  - print
```
public void print(CodeWriter w)
```
    Output a compilable representation of this type to w. This implementation generates whatever representation is produced by toString(). To satisfy the specification of Type.toString(), this implementation needs to be overridden if toString does not produce a compilable representation.
    
    Specified by:
    
    print in interface Type

Class Type_c

Nested Class Summary

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

Field Summary

Fields inherited from class polyglot.types.TypeObject_c

Constructor Summary

Method Summary

Methods inherited from class polyglot.types.TypeObject_c

Methods inherited from class java.lang.Object

Methods inherited from interface polyglot.types.TypeObject

Methods inherited from interface polyglot.util.Copy

Constructor Detail

Type_c

Type_c

Type_c

Method Detail

translate

isType

isPackage

toType

toPackage

isCanonical

isPrimitive

isNumeric

isIntOrLess

isLongOrLess

isVoid

isBoolean

isChar

isByte

isShort

isInt

isLong

isFloat

isDouble

isReference

isNull

isClass

isArray

isThrowable

isUncheckedException

toClass

toNull

toReference

toPrimitive

toArray

arrayOf

arrayOf

typeEquals

typeEqualsImpl

isSubtype

isSubtypeImpl

descendsFrom

descendsFromImpl

isCastValid

isCastValidImpl

isImplicitCastValid

isImplicitCastValidImpl

numericConversionValid

numericConversionValidImpl

numericConversionValid

numericConversionValidImpl

isComparable

toString

print