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

Class AbstractTypeReferencePairWalker

java.lang.Object

org.eclipse.xtext.xbase.typesystem.references.TypeReferenceVisitorWithParameter<LightweightTypeReference>

org.eclipse.xtext.xbase.typesystem.util.AbstractTypeReferencePairWalker

Direct Known Subclasses:

ActualTypeArgumentCollector, DeferredTypeParameterHintCollector

public abstract class AbstractTypeReferencePairWalker
extends TypeReferenceVisitorWithParameter<LightweightTypeReference>

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
protected class	AbstractTypeReferencePairWalker.ArrayTypeReferenceTraverser
protected class	AbstractTypeReferencePairWalker.CompoundTypeReferenceTraverser
protected class	AbstractTypeReferencePairWalker.ParameterizedTypeReferenceTraverser
protected class	AbstractTypeReferencePairWalker.UnboundTypeReferenceTraverser
protected class	AbstractTypeReferencePairWalker.WildcardTypeReferenceTraverser

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	AbstractTypeReferencePairWalker(ITypeReferenceOwner owner)

Method Summary

Modifier and Type	Method	Description
protected AbstractTypeReferencePairWalker.ArrayTypeReferenceTraverser	createArrayTypeReferenceTraverser()
protected AbstractTypeReferencePairWalker.CompoundTypeReferenceTraverser	createCompoundTypeReferenceTraverser()
protected AbstractTypeReferencePairWalker.ParameterizedTypeReferenceTraverser	createParameterizedTypeReferenceTraverser()
protected TypeParameterSubstitutor<?>	createTypeParameterSubstitutor(java.util.Map<org.eclipse.xtext.common.types.JvmTypeParameter,LightweightMergedBoundTypeArgument> mapping)
protected AbstractTypeReferencePairWalker.UnboundTypeReferenceTraverser	createUnboundTypeReferenceTraverser()
protected AbstractTypeReferencePairWalker.WildcardTypeReferenceTraverser	createWildcardTypeReferenceTraverser()
protected void	doVisitAnyTypeReference(AnyTypeReference reference, LightweightTypeReference param)
protected void	doVisitArrayTypeReference(ArrayTypeReference declaredReference, LightweightTypeReference param)
protected void	doVisitCompoundTypeReference(CompoundTypeReference declaredReference, LightweightTypeReference param)
protected void	doVisitParameterizedTypeReference(ParameterizedTypeReference reference, LightweightTypeReference param)
protected void	doVisitUnboundTypeReference(UnboundTypeReference reference, LightweightTypeReference param)
protected void	doVisitUnknownTypeReference(UnknownTypeReference reference, LightweightTypeReference param)
protected void	doVisitWildcardTypeReference(WildcardTypeReference declaredReference, LightweightTypeReference param)
protected org.eclipse.xtext.common.types.JvmTypeParameter	findMappedParameter(org.eclipse.xtext.common.types.JvmTypeParameter parameter, java.util.Map<org.eclipse.xtext.common.types.JvmTypeParameter,LightweightMergedBoundTypeArgument> mapping, java.util.Collection<org.eclipse.xtext.common.types.JvmTypeParameter> visited)
protected VarianceInfo	getActualVariance()
protected VarianceInfo	getExpectedVariance()
protected java.lang.Object	getOrigin()
protected ITypeReferenceOwner	getOwner()
protected void	outerVisit(LightweightTypeReference declaredType, LightweightTypeReference actualType)
protected void	outerVisit(LightweightTypeReference declaredType, LightweightTypeReference actualType, java.lang.Object origin, VarianceInfo expectedVariance, VarianceInfo actualVariance)
void	processPairedReferences(LightweightTypeReference declaredType, LightweightTypeReference actualType)
protected void	processTypeParameter(org.eclipse.xtext.common.types.JvmTypeParameter typeParameter, LightweightTypeReference reference)
protected boolean	shouldProcess(org.eclipse.xtext.common.types.JvmTypeParameter typeParameter)	Allows to veto the processing of a given type parameter.

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

doVisitFunctionTypeReference, doVisitInnerFunctionTypeReference, doVisitInnerTypeReference, doVisitMultiTypeReference, doVisitSynonymTypeReference, doVisitTypeReference

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractTypeReferencePairWalker

protected AbstractTypeReferencePairWalker(ITypeReferenceOwner owner)

Method Detail

processTypeParameter

protected void processTypeParameter(org.eclipse.xtext.common.types.JvmTypeParameter typeParameter,
                                    LightweightTypeReference reference)

Parameters:

typeParameter - the to-be-processed type parameter.

reference - the reference that is bound to the given type parameter.

shouldProcess

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

Allows to veto the processing of a given type parameter.

Parameters:

typeParameter - the to-be-processed type parameter.

Returns:

always true.

createUnboundTypeReferenceTraverser

protected AbstractTypeReferencePairWalker.UnboundTypeReferenceTraverser createUnboundTypeReferenceTraverser()

createArrayTypeReferenceTraverser

protected AbstractTypeReferencePairWalker.ArrayTypeReferenceTraverser createArrayTypeReferenceTraverser()

createCompoundTypeReferenceTraverser

protected AbstractTypeReferencePairWalker.CompoundTypeReferenceTraverser createCompoundTypeReferenceTraverser()

createWildcardTypeReferenceTraverser

protected AbstractTypeReferencePairWalker.WildcardTypeReferenceTraverser createWildcardTypeReferenceTraverser()

createParameterizedTypeReferenceTraverser

protected AbstractTypeReferencePairWalker.ParameterizedTypeReferenceTraverser createParameterizedTypeReferenceTraverser()

doVisitParameterizedTypeReference

protected void doVisitParameterizedTypeReference(ParameterizedTypeReference reference,
                                                 LightweightTypeReference param)

Overrides:

doVisitParameterizedTypeReference in class TypeReferenceVisitorWithParameter<LightweightTypeReference>

doVisitWildcardTypeReference

protected void doVisitWildcardTypeReference(WildcardTypeReference declaredReference,
                                            LightweightTypeReference param)

Overrides:

doVisitWildcardTypeReference in class TypeReferenceVisitorWithParameter<LightweightTypeReference>

doVisitArrayTypeReference

protected void doVisitArrayTypeReference(ArrayTypeReference declaredReference,
                                         LightweightTypeReference param)

Overrides:

doVisitArrayTypeReference in class TypeReferenceVisitorWithParameter<LightweightTypeReference>

doVisitCompoundTypeReference

protected void doVisitCompoundTypeReference(CompoundTypeReference declaredReference,
                                            LightweightTypeReference param)

Overrides:

doVisitCompoundTypeReference in class TypeReferenceVisitorWithParameter<LightweightTypeReference>

doVisitUnboundTypeReference

protected void doVisitUnboundTypeReference(UnboundTypeReference reference,
                                           LightweightTypeReference param)

Overrides:

doVisitUnboundTypeReference in class TypeReferenceVisitorWithParameter<LightweightTypeReference>

doVisitAnyTypeReference

protected void doVisitAnyTypeReference(AnyTypeReference reference,
                                       LightweightTypeReference param)

Overrides:

doVisitAnyTypeReference in class TypeReferenceVisitorWithParameter<LightweightTypeReference>

doVisitUnknownTypeReference

protected void doVisitUnknownTypeReference(UnknownTypeReference reference,
                                           LightweightTypeReference param)

Overrides:

doVisitUnknownTypeReference in class TypeReferenceVisitorWithParameter<LightweightTypeReference>

outerVisit

protected void outerVisit(LightweightTypeReference declaredType,
                          LightweightTypeReference actualType,
                          java.lang.Object origin,
                          VarianceInfo expectedVariance,
                          VarianceInfo actualVariance)

outerVisit

protected void outerVisit(LightweightTypeReference declaredType,
                          LightweightTypeReference actualType)

processPairedReferences

public void processPairedReferences(LightweightTypeReference declaredType,
                                    LightweightTypeReference actualType)

getActualVariance

protected VarianceInfo getActualVariance()

getExpectedVariance

protected VarianceInfo getExpectedVariance()

getOrigin

protected java.lang.Object getOrigin()

getOwner

protected ITypeReferenceOwner getOwner()

createTypeParameterSubstitutor

protected TypeParameterSubstitutor<?> createTypeParameterSubstitutor(java.util.Map<org.eclipse.xtext.common.types.JvmTypeParameter,LightweightMergedBoundTypeArgument> mapping)

findMappedParameter

protected org.eclipse.xtext.common.types.JvmTypeParameter findMappedParameter(org.eclipse.xtext.common.types.JvmTypeParameter parameter,
                                                                              java.util.Map<org.eclipse.xtext.common.types.JvmTypeParameter,LightweightMergedBoundTypeArgument> mapping,
                                                                              java.util.Collection<org.eclipse.xtext.common.types.JvmTypeParameter> visited)