polyglot.types

Class UnknownType_c

java.lang.Object

polyglot.types.TypeObject_c

polyglot.types.Type_c

polyglot.types.UnknownType_c

All Implemented Interfaces:

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

Direct Known Subclasses:

UnknownReferenceType_c

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

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	UnknownType_c() Used for deserializing types.
	UnknownType_c(TypeSystem ts) Creates a new type in the given a TypeSystem.

Method Summary

Methods

Modifier and Type	Method and Description
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.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, print, toArray, toClass, toNull, toPackage, toPrimitive, toReference, toType, typeEquals, typeEqualsImpl

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.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, print, toArray, toClass, toNull, toPrimitive, toReference, typeEquals, typeEqualsImpl

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

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