org.eclipse.xtext.xbase.typesystem.util

Class TypeParameterByUnboundSubstitutor

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

public abstract class TypeParameterByUnboundSubstitutor
extends CustomTypeParameterSubstitutor

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
protected abstract UnboundTypeReference	createUnboundTypeReference(org.eclipse.xtext.common.types.JvmTypeParameter type)
LightweightTypeReference	doVisitUnboundTypeReference(UnboundTypeReference reference, ConstraintVisitingInfo param)
protected LightweightTypeReference	getUnmappedSubstitute(ParameterizedTypeReference reference, org.eclipse.xtext.common.types.JvmTypeParameter type, ConstraintVisitingInfo visiting)

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

createVisiting, createVisiting, doVisitParameterizedTypeReference, enhanceParameterizedTypeReference, getBoundTypeArgument, getDeclaredUpperBound, 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, 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

TypeParameterByUnboundSubstitutor

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

Method Detail

doVisitUnboundTypeReference

public LightweightTypeReference doVisitUnboundTypeReference(UnboundTypeReference reference,
                                                            ConstraintVisitingInfo param)

Overrides:

doVisitUnboundTypeReference in class TypeReferenceVisitorWithParameterAndResult<ConstraintVisitingInfo,LightweightTypeReference>

getUnmappedSubstitute

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

Specified by:

getUnmappedSubstitute in class CustomTypeParameterSubstitutor

createUnboundTypeReference

protected abstract UnboundTypeReference createUnboundTypeReference(org.eclipse.xtext.common.types.JvmTypeParameter type)