polyglot.ext.jl.types
Class UnknownType_c

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

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, Qualifier, Type, TypeObject, UnknownType, Copy

public class UnknownType_c
extends Type_c
implements UnknownType

An unknown type. This is used as a place-holder until types are disambiguated.

See Also:

Serialized Form

Field Summary

Fields inherited from class polyglot.ext.jl.types.TypeObject_c

position, ts

Constructor Summary

protected	UnknownType_c() Used for deserializing types.
	UnknownType_c(TypeSystem ts) Creates a new type in the given a TypeSystem.

Method Summary

boolean	isCanonical() Return true if the type object contains no unknown/ambiguous types.
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.

Methods inherited from class polyglot.ext.jl.types.Type_c

arrayOf, arrayOf, descendsFrom, descendsFromImpl, isArray, isBoolean, isByte, isCastValid, isCastValidImpl, isChar, isClass, isComparable, isDouble, isFloat, isImplicitCastValid, isImplicitCastValidImpl, isInt, isIntOrLess, isLong, isLongOrLess, isNull, isNumeric, isPackage, isPrimitive, isReference, isShort, isSubtype, isSubtypeImpl, isThrowable, isType, isUncheckedException, isVoid, numericConversionValid, numericConversionValid, numericConversionValidImpl, numericConversionValidImpl, toArray, toClass, toNull, toPackage, toPrimitive, toReference, toType

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.Type

arrayOf, arrayOf, descendsFrom, descendsFromImpl, isArray, isBoolean, isByte, isCastValid, isCastValidImpl, isChar, isClass, isComparable, isDouble, isFloat, isImplicitCastValid, isImplicitCastValidImpl, isInt, isIntOrLess, isLong, isLongOrLess, isNull, isNumeric, isPrimitive, isReference, isShort, isSubtype, isSubtypeImpl, isThrowable, isUncheckedException, isVoid, numericConversionValid, numericConversionValid, numericConversionValidImpl, numericConversionValidImpl, toArray, toClass, toNull, toPrimitive, toReference

Methods inherited from interface polyglot.types.Qualifier

isPackage, isType, toPackage, toType

Methods inherited from interface polyglot.types.TypeObject

equalsImpl, position, typeSystem

Methods inherited from interface polyglot.util.Copy

copy

Constructor Detail

UnknownType_c

protected UnknownType_c()

Used for deserializing types.

UnknownType_c

public UnknownType_c(TypeSystem ts)

Creates a new type in the given a TypeSystem.

Method Detail

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

translate

public java.lang.String translate(Resolver c)

Description copied from class: Type_c

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.

toString

public java.lang.String toString()

Description copied from class: Type_c

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 does not have to be a legal Java identifier. It is suggested, but not required, that it be an easily human readable representation, and thus useful in error messages and generated output.

Specified by:

toString in interface Type

Specified by:

toString in class Type_c