Type_c

Overview

Package

Class

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

polyglot.ext.jl.types
Class Type_c

java.lang.Object
  polyglot.ext.jl.types.TypeObject_c
      polyglot.ext.jl.types.Type_c

All Implemented Interfaces:: java.io.Serializable, java.lang.Cloneable, Qualifier, Type, TypeObject, Copy

Direct Known Subclasses:: NullType_c, PrimitiveType_c, ReferenceType_c, UnknownType_c

public abstract class Type_c
extends TypeObject_c
implements Type
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

Field Summary

Fields inherited from class polyglot.ext.jl.types.TypeObject_c
`position, ts`

Constructor Summary
`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
`ArrayType`	`arrayOf()` Return an array of this type.
`ArrayType`	`arrayOf(int dims)` Return a `dims`-array of this type.
`boolean`	`descendsFrom(Type t)` Return true if this type descends from `ancestor`.
`boolean`	`descendsFromImpl(Type t)` 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 t)` Return true if this type is a subtype of `ancestor`.
`boolean`	`isSubtypeImpl(Type t)` 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)` Return true a literal `value` can be converted to this type.
`boolean`	`numericConversionValid(java.lang.Object value)` Return true a literal `value` can be converted to this type.
`boolean`	`numericConversionValidImpl(long value)` Return true a literal `value` can be converted to this type.
`boolean`	`numericConversionValidImpl(java.lang.Object value)` Return true a literal `value` can be converted to this type.
`ArrayType`	`toArray()` Returns a non-null iff isArray() returns true.
`ClassType`	`toClass()` Returns a non-null iff isClass() returns true.
`NullType`	`toNull()` Returns a non-null iff isNull() returns true.
`Package`	`toPackage()` Cast the qualifier to a package, or return null.
`PrimitiveType`	`toPrimitive()` Returns a non-null iff isPrimitive() returns true.
`ReferenceType`	`toReference()` Returns a non-null iff isReference() returns true.
`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.

Methods inherited from class polyglot.ext.jl.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)

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