Package gw.internal.gosu.parser

Class TypeVariableType

java.lang.Object

gw.lang.reflect.AbstractType

gw.internal.gosu.parser.TypeVariableType

All Implemented Interfaces:

INonLoadableType, IType, ITypeVariableType, Serializable

public class TypeVariableType
extends AbstractType
implements ITypeVariableType

See Also:

Serialized Form

Field Summary

Fields inherited from interface gw.lang.reflect.IType

EMPTY_ARRAY, EMPTY_TYPE_ARRAY, EMPTY_TYPE_LIST

Constructor Summary

Constructors

Constructor	Description
TypeVariableType(ITypeVariableDefinition typeVarDef, boolean forFunction)
TypeVariableType(IType ownersType, IGenericTypeVariable typeVar)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object obj)	Ok, here's the deal.
Set<IType>	getAllTypesInHierarchy()
Object	getArrayComponent(Object array, int iIndex)
int	getArrayLength(Object array)
IType	getArrayType()
IType	getBoundingType()
IType	getComponentType()
Set<IType>	getCompoundTypeComponents()
String	getDisplayName()
IType	getEnclosingType()
IType	getGenericType()
GenericTypeVariable[]	getGenericTypeVariables()
IType[]	getInterfaces()
int	getModifiers()
String	getName()
String	getNamespace()
String	getNameWithBoundingType()
String	getNameWithEnclosingType()
IType	getParameterizedType(IType... ofType)
String	getRelativeName()
IType	getSupertype()
ITypeInfo	getTypeInfo()
ITypeLoader	getTypeLoader()
IType[]	getTypeParameters()
ITypeVariableDefinition	getTypeVarDef()
int	hashCode()
boolean	isAbstract()
boolean	isArray()
boolean	isAssignableFrom(IType type)	A type variable type is assignable only to/from itself or a reference thereof.
boolean	isCompoundType()
boolean	isDiscarded()
boolean	isEnum()
boolean	isFinal()
boolean	isFunctionStatement()
boolean	isGenericType()
boolean	isInterface()
boolean	isMutable()
boolean	isParameterizedType()
boolean	isPrimitive()
boolean	isValid()
Object	makeArrayInstance(int iLength)
Object	readResolve()
void	setArrayComponent(Object array, int iIndex, Object value)
void	setDiscarded(boolean bDiscarded)
String	toString()
void	unloadTypeInfo()

Methods inherited from class gw.lang.reflect.AbstractType

getLiteralMetaType, getMetaType, getTheRef

Methods inherited from class java.lang.Object

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

Methods inherited from interface gw.lang.reflect.IType

compile, getFunctionalInterface, getLiteralMetaType, getMetaType, getSourceFiles, isCompilable, isDynamic

Constructor Detail

TypeVariableType

public TypeVariableType(ITypeVariableDefinition typeVarDef,
                        boolean forFunction)

TypeVariableType

public TypeVariableType(IType ownersType,
                        IGenericTypeVariable typeVar)

Method Detail

getTypeVarDef

public ITypeVariableDefinition getTypeVarDef()

Specified by:

getTypeVarDef in interface ITypeVariableType

getName

public String getName()

Specified by:

getName in interface IType

getDisplayName

public String getDisplayName()

Specified by:

getDisplayName in interface IType

getRelativeName

public String getRelativeName()

Specified by:

getRelativeName in interface IType

getNameWithEnclosingType

public String getNameWithEnclosingType()

Specified by:

getNameWithEnclosingType in interface ITypeVariableType

getNameWithBoundingType

public String getNameWithBoundingType()

getNamespace

public String getNamespace()

Specified by:

getNamespace in interface IType

getTypeLoader

public ITypeLoader getTypeLoader()

Specified by:

getTypeLoader in interface IType

getBoundingType

public IType getBoundingType()

Specified by:

getBoundingType in interface ITypeVariableType

isInterface

public boolean isInterface()

Specified by:

isInterface in interface IType

isEnum

public boolean isEnum()

Specified by:

isEnum in interface IType

getInterfaces

public IType[] getInterfaces()

Specified by:

getInterfaces in interface IType

getSupertype

public IType getSupertype()

Specified by:

getSupertype in interface IType

getEnclosingType

public IType getEnclosingType()

Specified by:

getEnclosingType in interface IType

getGenericType

public IType getGenericType()

Specified by:

getGenericType in interface IType

isFinal

public boolean isFinal()

Specified by:

isFinal in interface IType

isParameterizedType

public boolean isParameterizedType()

Specified by:

isParameterizedType in interface IType

isGenericType

public boolean isGenericType()

Specified by:

isGenericType in interface IType

getGenericTypeVariables

public GenericTypeVariable[] getGenericTypeVariables()

Specified by:

getGenericTypeVariables in interface IType

getParameterizedType

public IType getParameterizedType(IType... ofType)

Specified by:

getParameterizedType in interface IType

getTypeParameters

public IType[] getTypeParameters()

Specified by:

getTypeParameters in interface IType

getAllTypesInHierarchy

public Set<IType> getAllTypesInHierarchy()

Specified by:

getAllTypesInHierarchy in interface IType

isArray

public boolean isArray()

Specified by:

isArray in interface IType

isPrimitive

public boolean isPrimitive()

Specified by:

isPrimitive in interface IType

getArrayType

public IType getArrayType()

Specified by:

getArrayType in interface IType

makeArrayInstance

public Object makeArrayInstance(int iLength)

Specified by:

makeArrayInstance in interface IType

getArrayComponent

public Object getArrayComponent(Object array,
                                int iIndex)
                         throws IllegalArgumentException,
                                ArrayIndexOutOfBoundsException

Specified by:

getArrayComponent in interface IType

Throws:

IllegalArgumentException

ArrayIndexOutOfBoundsException

setArrayComponent

public void setArrayComponent(Object array,
                              int iIndex,
                              Object value)
                       throws IllegalArgumentException,
                              ArrayIndexOutOfBoundsException

Specified by:

setArrayComponent in interface IType

Throws:

IllegalArgumentException

ArrayIndexOutOfBoundsException

getArrayLength

public int getArrayLength(Object array)
                   throws IllegalArgumentException

Specified by:

getArrayLength in interface IType

Throws:

IllegalArgumentException

getComponentType

public IType getComponentType()

Specified by:

getComponentType in interface IType

isAssignableFrom

public boolean isAssignableFrom(IType type)

A type variable type is assignable only to/from itself or a reference thereof.

For example:

   function foo( t: T, s: S )
   {
     t = s         // illegal, T and S may not have the same type at runtime
     t = "hello"   // illegal, T may not be a String
     var x: T = t  // ok, x and t are both of type T
   }

Specified by:

isAssignableFrom in interface IType

equals

public boolean equals(Object obj)

Ok, here's the deal. By all rights type variable types should have identity equality. That's not the case right now for at least these two reasons:

• We compile in multiple phases (header, decl, def). Each phase recompiles the header, including type vars. Each time a new type var type is created for the type var definition. It's not too hard to re-use the prior type var type, but then there's this problem...
• If a subclass is generic and parameterizes its super with its type vars the super parameterizd type retains whatever the type var type from the first phase of the subclass' compilation. And, in studio, we don't refresh the type system, just the type we're editing. So the super class parameterized with the subclass' type vars and whatever else stemming from there that refs the type vars remains. So the subclass can be edited and refreshed a zillion time, but the super parameterized class will still have the type var from way back.

Probably the best way to handle this is to make TypeVariableType a loadable type i.e., there will only ever be a single ref for a particular type var. The challege is not so much with class type vars, but with function type vars, since 1) we parse them before we parse the function's args we don't quite have a fq name (yay! for overloading), and 2) function types themselves are non-loadable and must remain that way as long as other types are permitted to be non-loadable. Specifically, since a param type in a function can be of any type, the fq name of the function may not be unique i.e., the reason a type is non-loadable is usually because it can't have a unique name. (yay! again for overloading)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

isMutable

public boolean isMutable()

Specified by:

isMutable in interface IType

getTypeInfo

public ITypeInfo getTypeInfo()

Specified by:

getTypeInfo in interface IType

unloadTypeInfo

public void unloadTypeInfo()

Specified by:

unloadTypeInfo in interface IType

readResolve

public Object readResolve()
                   throws ObjectStreamException

Specified by:

readResolve in interface IType

Throws:

ObjectStreamException

isValid

public boolean isValid()

Specified by:

isValid in interface IType

getModifiers

public int getModifiers()

Specified by:

getModifiers in interface IType

isAbstract

public boolean isAbstract()

Specified by:

isAbstract in interface IType

isFunctionStatement

public boolean isFunctionStatement()

Specified by:

isFunctionStatement in interface ITypeVariableType

isDiscarded

public boolean isDiscarded()

Specified by:

isDiscarded in interface IType

setDiscarded

public void setDiscarded(boolean bDiscarded)

Specified by:

setDiscarded in interface IType

isCompoundType

public boolean isCompoundType()

Specified by:

isCompoundType in interface IType

getCompoundTypeComponents

public Set<IType> getCompoundTypeComponents()

Specified by:

getCompoundTypeComponents in interface IType

toString

public String toString()

Overrides:

toString in class Object