org.eclipse.xtext.xbase.typesystem.util

Class TypeParameterSubstitutor<Visiting>

java.lang.Object

org.eclipse.xtext.xbase.typesystem.references.TypeReferenceVisitorWithParameterAndResult<Visiting,LightweightTypeReference>

org.eclipse.xtext.xbase.typesystem.util.TypeParameterSubstitutor<Visiting>

Direct Known Subclasses:

CustomTypeParameterSubstitutor, RawTypeSubstitutor, StandardTypeParameterSubstitutor, UnboundTypeParameterPreservingSubstitutor

public abstract class TypeParameterSubstitutor<Visiting>
extends TypeReferenceVisitorWithParameterAndResult<Visiting,LightweightTypeReference>

Author:

Sebastian Zarnekow - Initial contribution and API TODO JavaDoc, toString TODO implement as member function on LightweightTypeReference

Constructor Summary

Constructors

Constructor and Description
TypeParameterSubstitutor(Map<JvmTypeParameter,LightweightMergedBoundTypeArgument> typeParameterMapping, ITypeReferenceOwner owner)

Method Summary

Methods

Modifier and Type	Method and Description
protected LightweightTypeReference	copy(LightweightTypeReference reference)
protected abstract Visiting	createVisiting()
protected LightweightTypeReference	doVisitAnyTypeReference(AnyTypeReference reference, Visiting visiting)
protected LightweightTypeReference	doVisitArrayTypeReference(ArrayTypeReference reference, Visiting visiting)
protected LightweightTypeReference	doVisitCompoundTypeReference(CompoundTypeReference reference, Visiting visiting)
protected LightweightTypeReference	doVisitFunctionTypeReference(FunctionTypeReference reference, Visiting visiting)
protected LightweightTypeReference	doVisitInnerFunctionTypeReference(InnerFunctionTypeReference reference, Visiting visiting)
protected LightweightTypeReference	doVisitInnerTypeReference(InnerTypeReference reference, Visiting visiting)
protected LightweightTypeReference	doVisitParameterizedTypeReference(ParameterizedTypeReference reference, JvmType type, Visiting visiting)
protected LightweightTypeReference	doVisitParameterizedTypeReference(ParameterizedTypeReference reference, Visiting visiting)
protected LightweightTypeReference	doVisitUnknownTypeReference(UnknownTypeReference reference, Visiting param)
protected LightweightTypeReference	doVisitWildcardTypeReference(WildcardTypeReference reference, Visiting visiting)
protected void	enhanceFunctionType(FunctionTypeReference reference, FunctionTypeReference result, Visiting visiting)
void	enhanceMapping(Map<JvmTypeParameter,LightweightMergedBoundTypeArgument> typeParameterMapping)
protected LightweightTypeReference	enhanceParameterizedTypeReference(ParameterizedTypeReference origin, JvmType type, ParameterizedTypeReference result, Visiting visiting)
protected LightweightTypeReference	getBoundTypeArgument(ParameterizedTypeReference reference, JvmTypeParameter type, Visiting visiting)
protected ITypeReferenceOwner	getOwner()
protected Map<JvmTypeParameter,LightweightMergedBoundTypeArgument>	getTypeParameterMapping()
LightweightTypeReference	substitute(JvmTypeReference original)
LightweightTypeReference	substitute(LightweightTypeReference original)
String	toString()
protected LightweightTypeReference	visitTypeArgument(LightweightTypeReference reference, Visiting visiting) This is equivalent to visitTypeArgument(reference, visiting, false).
protected LightweightTypeReference	visitTypeArgument(LightweightTypeReference reference, Visiting visiting, boolean lowerBound)

Methods inherited from class org.eclipse.xtext.xbase.typesystem.references.TypeReferenceVisitorWithParameterAndResult

doVisitMultiTypeReference, doVisitSynonymTypeReference, doVisitTypeReference, doVisitUnboundTypeReference

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

TypeParameterSubstitutor

public TypeParameterSubstitutor(Map<JvmTypeParameter,LightweightMergedBoundTypeArgument> typeParameterMapping,
                        ITypeReferenceOwner owner)

Method Detail

getTypeParameterMapping

protected Map<JvmTypeParameter,LightweightMergedBoundTypeArgument> getTypeParameterMapping()

enhanceMapping

public void enhanceMapping(Map<JvmTypeParameter,LightweightMergedBoundTypeArgument> typeParameterMapping)

getOwner

protected ITypeReferenceOwner getOwner()

doVisitFunctionTypeReference

protected LightweightTypeReference doVisitFunctionTypeReference(FunctionTypeReference reference,
                                                    Visiting visiting)

Overrides:

doVisitFunctionTypeReference in class TypeReferenceVisitorWithParameterAndResult<Visiting,LightweightTypeReference>

enhanceFunctionType

protected void enhanceFunctionType(FunctionTypeReference reference,
                       FunctionTypeReference result,
                       Visiting visiting)

doVisitInnerFunctionTypeReference

protected LightweightTypeReference doVisitInnerFunctionTypeReference(InnerFunctionTypeReference reference,
                                                         Visiting visiting)

Overrides:

doVisitInnerFunctionTypeReference in class TypeReferenceVisitorWithParameterAndResult<Visiting,LightweightTypeReference>

visitTypeArgument

protected LightweightTypeReference visitTypeArgument(LightweightTypeReference reference,
                                         Visiting visiting)

This is equivalent to visitTypeArgument(reference, visiting, false).

See Also:

visitTypeArgument(LightweightTypeReference, Object, boolean)

visitTypeArgument

protected LightweightTypeReference visitTypeArgument(LightweightTypeReference reference,
                                         Visiting visiting,
                                         boolean lowerBound)

Parameters:

lowerBound - if the given reference was used as the lower bound of a wildcard

doVisitParameterizedTypeReference

protected LightweightTypeReference doVisitParameterizedTypeReference(ParameterizedTypeReference reference,
                                                         Visiting visiting)

Overrides:

doVisitParameterizedTypeReference in class TypeReferenceVisitorWithParameterAndResult<Visiting,LightweightTypeReference>

doVisitInnerTypeReference

protected LightweightTypeReference doVisitInnerTypeReference(InnerTypeReference reference,
                                                 Visiting visiting)

Overrides:

doVisitInnerTypeReference in class TypeReferenceVisitorWithParameterAndResult<Visiting,LightweightTypeReference>

doVisitParameterizedTypeReference

protected LightweightTypeReference doVisitParameterizedTypeReference(ParameterizedTypeReference reference,
                                                         JvmType type,
                                                         Visiting visiting)

enhanceParameterizedTypeReference

protected LightweightTypeReference enhanceParameterizedTypeReference(ParameterizedTypeReference origin,
                                                         JvmType type,
                                                         ParameterizedTypeReference result,
                                                         Visiting visiting)

Parameters:

type - the type of the reference. May be used by subtypes.

getBoundTypeArgument

protected LightweightTypeReference getBoundTypeArgument(ParameterizedTypeReference reference,
                                            JvmTypeParameter type,
                                            Visiting visiting)

doVisitWildcardTypeReference

protected LightweightTypeReference doVisitWildcardTypeReference(WildcardTypeReference reference,
                                                    Visiting visiting)

Overrides:

doVisitWildcardTypeReference in class TypeReferenceVisitorWithParameterAndResult<Visiting,LightweightTypeReference>

doVisitArrayTypeReference

protected LightweightTypeReference doVisitArrayTypeReference(ArrayTypeReference reference,
                                                 Visiting visiting)

Overrides:

doVisitArrayTypeReference in class TypeReferenceVisitorWithParameterAndResult<Visiting,LightweightTypeReference>

doVisitAnyTypeReference

protected LightweightTypeReference doVisitAnyTypeReference(AnyTypeReference reference,
                                               Visiting visiting)

Overrides:

doVisitAnyTypeReference in class TypeReferenceVisitorWithParameterAndResult<Visiting,LightweightTypeReference>

doVisitUnknownTypeReference

protected LightweightTypeReference doVisitUnknownTypeReference(UnknownTypeReference reference,
                                                   Visiting param)

Overrides:

doVisitUnknownTypeReference in class TypeReferenceVisitorWithParameterAndResult<Visiting,LightweightTypeReference>

doVisitCompoundTypeReference

protected LightweightTypeReference doVisitCompoundTypeReference(CompoundTypeReference reference,
                                                    Visiting visiting)

Overrides:

doVisitCompoundTypeReference in class TypeReferenceVisitorWithParameterAndResult<Visiting,LightweightTypeReference>

substitute

public LightweightTypeReference substitute(LightweightTypeReference original)

substitute

public LightweightTypeReference substitute(JvmTypeReference original)

createVisiting

protected abstract Visiting createVisiting()

copy

protected LightweightTypeReference copy(LightweightTypeReference reference)

toString

public String toString()

Overrides:

toString in class Object