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<Set<JvmTypeParameter>>

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

public class UnboundTypeParameterPreservingSubstitutor
extends TypeParameterSubstitutor<Set<JvmTypeParameter>>

Author:

Sebastian Zarnekow - Initial contribution and API TODO JavaDoc, toString

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
protected Set<JvmTypeParameter>	createVisiting()
protected LightweightTypeReference	doVisitUnboundTypeReference(UnboundTypeReference reference, Set<JvmTypeParameter> visiting)
protected LightweightTypeReference	getBoundTypeArgument(ParameterizedTypeReference reference, JvmTypeParameter type, Set<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(Map<JvmTypeParameter,LightweightMergedBoundTypeArgument> typeParameterMapping,
                                         ITypeReferenceOwner owner)

Method Detail

doVisitUnboundTypeReference

protected LightweightTypeReference doVisitUnboundTypeReference(UnboundTypeReference reference,
                                                   Set<JvmTypeParameter> visiting)

Overrides:

doVisitUnboundTypeReference in class TypeReferenceVisitorWithParameterAndResult<Set<JvmTypeParameter>,LightweightTypeReference>

getBoundTypeArgument

protected LightweightTypeReference getBoundTypeArgument(ParameterizedTypeReference reference,
                                            JvmTypeParameter type,
                                            Set<JvmTypeParameter> visiting)

Overrides:

getBoundTypeArgument in class TypeParameterSubstitutor<Set<JvmTypeParameter>>

createVisiting

protected Set<JvmTypeParameter> createVisiting()

Specified by:

createVisiting in class TypeParameterSubstitutor<Set<JvmTypeParameter>>