org.eclipse.xtext.xbase.typesystem.util

Class CustomTypeParameterSubstitutor

java.lang.Object

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

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

org.eclipse.xtext.xbase.typesystem.util.CustomTypeParameterSubstitutor

Direct Known Subclasses:

TypeParameterByConstraintSubstitutor, TypeParameterByUnboundSubstitutor

public abstract class CustomTypeParameterSubstitutor
extends TypeParameterSubstitutor<ConstraintVisitingInfo>

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	CustomTypeParameterSubstitutor(java.util.Map<org.eclipse.xtext.common.types.JvmTypeParameter,LightweightMergedBoundTypeArgument> typeParameterMapping, ITypeReferenceOwner owner)

Method Summary

Modifier and Type	Method and Description
protected ConstraintVisitingInfo	createVisiting()
protected ConstraintVisitingInfo	createVisiting(org.eclipse.xtext.common.types.JvmTypeParameter initialValue)
LightweightTypeReference	doVisitParameterizedTypeReference(ParameterizedTypeReference reference, ConstraintVisitingInfo visiting)
protected LightweightTypeReference	enhanceParameterizedTypeReference(ParameterizedTypeReference origin, org.eclipse.xtext.common.types.JvmType type, ParameterizedTypeReference result, ConstraintVisitingInfo visiting)
protected LightweightMergedBoundTypeArgument	getBoundTypeArgument(org.eclipse.xtext.common.types.JvmTypeParameter type, ConstraintVisitingInfo info)
protected LightweightTypeReference	getDeclaredUpperBound(org.eclipse.xtext.common.types.JvmTypeParameter typeParameter, ConstraintVisitingInfo visiting)
protected LightweightTypeReference	getDeclaredUpperBound(org.eclipse.xtext.common.types.JvmTypeParameterDeclarator type, int parameterIndex, ConstraintVisitingInfo visiting)
protected LightweightTypeReference	getObjectReference()
protected abstract LightweightTypeReference	getUnmappedSubstitute(ParameterizedTypeReference reference, org.eclipse.xtext.common.types.JvmTypeParameter type, ConstraintVisitingInfo visiting)
protected boolean	isDeclaredTypeParameter(org.eclipse.xtext.common.types.JvmTypeParameter typeParameter)
LightweightTypeReference	substitute(LightweightTypeReference original)

Methods inherited from class org.eclipse.xtext.xbase.typesystem.util.TypeParameterSubstitutor

copy, doVisitAnyTypeReference, doVisitArrayTypeReference, doVisitCompoundTypeReference, doVisitFunctionTypeReference, doVisitInnerFunctionTypeReference, doVisitInnerTypeReference, doVisitParameterizedTypeReference, doVisitUnknownTypeReference, doVisitWildcardTypeReference, enhanceFunctionType, enhanceMapping, getBoundTypeArgument, getOwner, getTypeParameterMapping, substitute, toString, visitTypeArgument, visitTypeArgument

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

CustomTypeParameterSubstitutor

protected CustomTypeParameterSubstitutor(java.util.Map<org.eclipse.xtext.common.types.JvmTypeParameter,LightweightMergedBoundTypeArgument> typeParameterMapping,
                                         ITypeReferenceOwner owner)

Method Detail

doVisitParameterizedTypeReference

public LightweightTypeReference doVisitParameterizedTypeReference(ParameterizedTypeReference reference,
                                                                  ConstraintVisitingInfo visiting)

Overrides:

doVisitParameterizedTypeReference in class TypeParameterSubstitutor<ConstraintVisitingInfo>

enhanceParameterizedTypeReference

protected LightweightTypeReference enhanceParameterizedTypeReference(ParameterizedTypeReference origin,
                                                                     org.eclipse.xtext.common.types.JvmType type,
                                                                     ParameterizedTypeReference result,
                                                                     ConstraintVisitingInfo visiting)

Overrides:

enhanceParameterizedTypeReference in class TypeParameterSubstitutor<ConstraintVisitingInfo>

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

isDeclaredTypeParameter

protected boolean isDeclaredTypeParameter(org.eclipse.xtext.common.types.JvmTypeParameter typeParameter)

getBoundTypeArgument

protected LightweightMergedBoundTypeArgument getBoundTypeArgument(org.eclipse.xtext.common.types.JvmTypeParameter type,
                                                                  ConstraintVisitingInfo info)

Parameters:

type - the type parameter that is bound

info - the current traversal state

getUnmappedSubstitute

protected abstract LightweightTypeReference getUnmappedSubstitute(ParameterizedTypeReference reference,
                                                                  org.eclipse.xtext.common.types.JvmTypeParameter type,
                                                                  ConstraintVisitingInfo visiting)

getDeclaredUpperBound

protected LightweightTypeReference getDeclaredUpperBound(org.eclipse.xtext.common.types.JvmTypeParameterDeclarator type,
                                                         int parameterIndex,
                                                         ConstraintVisitingInfo visiting)

getObjectReference

protected LightweightTypeReference getObjectReference()

getDeclaredUpperBound

protected LightweightTypeReference getDeclaredUpperBound(org.eclipse.xtext.common.types.JvmTypeParameter typeParameter,
                                                         ConstraintVisitingInfo visiting)

substitute

public LightweightTypeReference substitute(LightweightTypeReference original)

Overrides:

substitute in class TypeParameterSubstitutor<ConstraintVisitingInfo>

createVisiting

protected ConstraintVisitingInfo createVisiting()

Specified by:

createVisiting in class TypeParameterSubstitutor<ConstraintVisitingInfo>

createVisiting

protected ConstraintVisitingInfo createVisiting(org.eclipse.xtext.common.types.JvmTypeParameter initialValue)