Package org.eclipse.xtext.xbase.typesystem.util

Class TypeParameterByConstraintSubstitutor

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

org.eclipse.xtext.xbase.typesystem.util.TypeParameterByConstraintSubstitutor

public class TypeParameterByConstraintSubstitutor
extends CustomTypeParameterSubstitutor

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
protected static class	TypeParameterByConstraintSubstitutor.DeclaredConstraintVisitingInfo

Constructor Summary

Constructors

Constructor	Description
TypeParameterByConstraintSubstitutor(java.util.Map<org.eclipse.xtext.common.types.JvmTypeParameter,LightweightMergedBoundTypeArgument> typeParameterMapping, ITypeReferenceOwner owner)
TypeParameterByConstraintSubstitutor(java.util.Map<org.eclipse.xtext.common.types.JvmTypeParameter,LightweightMergedBoundTypeArgument> typeParameterMapping, ITypeReferenceOwner owner, boolean ignoreDeclaredTypeParameters)

Method Summary

Modifier and Type	Method	Description
protected TypeParameterByConstraintSubstitutor.DeclaredConstraintVisitingInfo	createVisiting()
protected LightweightTypeReference	doVisitUnboundTypeReference(UnboundTypeReference reference, ConstraintVisitingInfo visiting)
protected LightweightTypeReference	getDeclaredUpperBound(org.eclipse.xtext.common.types.JvmTypeParameter typeParameter, ConstraintVisitingInfo visiting)
protected LightweightTypeReference	getUnmappedSubstitute(ParameterizedTypeReference reference, org.eclipse.xtext.common.types.JvmTypeParameter type, ConstraintVisitingInfo visiting)
LightweightTypeReference	substitute(org.eclipse.xtext.common.types.JvmTypeParameter original)
protected LightweightTypeReference	visitTypeArgument(LightweightTypeReference reference, ConstraintVisitingInfo visiting, boolean lowerBound)

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

createVisiting, doVisitParameterizedTypeReference, enhanceParameterizedTypeReference, getBoundTypeArgument, getDeclaredUpperBound, getObjectReference, isDeclaredTypeParameter, substitute

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

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

doVisitMultiTypeReference, doVisitSynonymTypeReference, doVisitTypeReference

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeParameterByConstraintSubstitutor

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

TypeParameterByConstraintSubstitutor

public TypeParameterByConstraintSubstitutor(java.util.Map<org.eclipse.xtext.common.types.JvmTypeParameter,LightweightMergedBoundTypeArgument> typeParameterMapping,
                                            ITypeReferenceOwner owner,
                                            boolean ignoreDeclaredTypeParameters)

Method Detail

doVisitUnboundTypeReference

protected LightweightTypeReference doVisitUnboundTypeReference(UnboundTypeReference reference,
                                                               ConstraintVisitingInfo visiting)

Overrides:

doVisitUnboundTypeReference in class TypeReferenceVisitorWithParameterAndResult<ConstraintVisitingInfo,LightweightTypeReference>

visitTypeArgument

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

Overrides:

visitTypeArgument in class TypeParameterSubstitutor<ConstraintVisitingInfo>

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

getDeclaredUpperBound

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

Overrides:

getDeclaredUpperBound in class CustomTypeParameterSubstitutor

createVisiting

protected TypeParameterByConstraintSubstitutor.DeclaredConstraintVisitingInfo createVisiting()

Overrides:

createVisiting in class CustomTypeParameterSubstitutor

substitute

public LightweightTypeReference substitute(org.eclipse.xtext.common.types.JvmTypeParameter original)

getUnmappedSubstitute

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

Specified by:

getUnmappedSubstitute in class CustomTypeParameterSubstitutor