org.eclipse.xtext.xbase.typesystem.util

Class UnboundTypeParameterPreservingSubstitutor

java.lang.Object

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

org.eclipse.xtext.xbase.typesystem.util.TypeParameterSubstitutor<java.util.Set<org.eclipse.xtext.common.types.JvmTypeParameter>>

org.eclipse.xtext.xbase.typesystem.util.UnboundTypeParameterPreservingSubstitutor

public class UnboundTypeParameterPreservingSubstitutor
extends TypeParameterSubstitutor<java.util.Set<org.eclipse.xtext.common.types.JvmTypeParameter>>

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
protected java.util.Set<org.eclipse.xtext.common.types.JvmTypeParameter>	createVisiting()
protected LightweightTypeReference	doVisitUnboundTypeReference(UnboundTypeReference reference, java.util.Set<org.eclipse.xtext.common.types.JvmTypeParameter> visiting)
protected LightweightTypeReference	getBoundTypeArgument(ParameterizedTypeReference reference, org.eclipse.xtext.common.types.JvmTypeParameter type, java.util.Set<org.eclipse.xtext.common.types.JvmTypeParameter> visiting)

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

copy, doVisitAnyTypeReference, doVisitArrayTypeReference, doVisitCompoundTypeReference, doVisitFunctionTypeReference, doVisitInnerFunctionTypeReference, doVisitInnerTypeReference, doVisitParameterizedTypeReference, doVisitParameterizedTypeReference, doVisitUnknownTypeReference, doVisitWildcardTypeReference, enhanceFunctionType, enhanceMapping, enhanceParameterizedTypeReference, getOwner, getTypeParameterMapping, substitute, 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

UnboundTypeParameterPreservingSubstitutor

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

Method Detail

doVisitUnboundTypeReference

protected LightweightTypeReference doVisitUnboundTypeReference(UnboundTypeReference reference,
                                                               java.util.Set<org.eclipse.xtext.common.types.JvmTypeParameter> visiting)

Overrides:

doVisitUnboundTypeReference in class TypeReferenceVisitorWithParameterAndResult<java.util.Set<org.eclipse.xtext.common.types.JvmTypeParameter>,LightweightTypeReference>

getBoundTypeArgument

protected LightweightTypeReference getBoundTypeArgument(ParameterizedTypeReference reference,
                                                        org.eclipse.xtext.common.types.JvmTypeParameter type,
                                                        java.util.Set<org.eclipse.xtext.common.types.JvmTypeParameter> visiting)

Overrides:

getBoundTypeArgument in class TypeParameterSubstitutor<java.util.Set<org.eclipse.xtext.common.types.JvmTypeParameter>>

createVisiting

protected java.util.Set<org.eclipse.xtext.common.types.JvmTypeParameter> createVisiting()

Specified by:

createVisiting in class TypeParameterSubstitutor<java.util.Set<org.eclipse.xtext.common.types.JvmTypeParameter>>