org.eclipse.xtext.xbase.typesystem.util

Class DeferredTypeParameterHintCollector

java.lang.Object

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

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

org.eclipse.xtext.xbase.typesystem.util.DeferredTypeParameterHintCollector

Direct Known Subclasses:

ExpectationTypeParameterHintCollector

public class DeferredTypeParameterHintCollector
extends AbstractTypeReferencePairWalker

Author:

Sebastian Zarnekow - Initial contribution and API TODO JavaDoc, toString - focus on differences to ActualTypeArgumentCollector and UnboundTypeParameterAwareTypeArgumentCollector

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected class	DeferredTypeParameterHintCollector.DeferredParameterizedTypeReferenceHintCollector
protected class	DeferredTypeParameterHintCollector.UnboundTypeParameterHintCollector

Nested classes/interfaces inherited from class org.eclipse.xtext.xbase.typesystem.util.AbstractTypeReferencePairWalker

AbstractTypeReferencePairWalker.ArrayTypeReferenceTraverser, AbstractTypeReferencePairWalker.CompoundTypeReferenceTraverser, AbstractTypeReferencePairWalker.ParameterizedTypeReferenceTraverser, AbstractTypeReferencePairWalker.UnboundTypeReferenceTraverser, AbstractTypeReferencePairWalker.WildcardTypeReferenceTraverser

Constructor Summary

Constructors

Constructor and Description
DeferredTypeParameterHintCollector(ITypeReferenceOwner owner)

Method Summary

Methods

Modifier and Type	Method and Description
protected void	addHint(UnboundTypeReference typeParameter, LightweightTypeReference reference)
protected LightweightTypeReference	copy(UnboundTypeReference reference)
protected AbstractTypeReferencePairWalker.CompoundTypeReferenceTraverser	createCompoundTypeReferenceTraverser()
protected AbstractTypeReferencePairWalker.ParameterizedTypeReferenceTraverser	createParameterizedTypeReferenceTraverser()
protected TypeParameterSubstitutor<?>	createTypeParameterSubstitutor(Map<JvmTypeParameter,LightweightMergedBoundTypeArgument> mapping)
protected AbstractTypeReferencePairWalker.UnboundTypeReferenceTraverser	createUnboundTypeReferenceTraverser()
protected JvmTypeParameter	findMappedParameter(JvmTypeParameter parameter, Map<JvmTypeParameter,LightweightMergedBoundTypeArgument> mapping, Collection<JvmTypeParameter> visited)
protected LightweightTypeReference	getStricterConstraint(UnboundTypeReference typeParameter, LightweightTypeReference hint)
protected BoundTypeArgumentSource	getTypeArgumentSource()

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

createArrayTypeReferenceTraverser, createWildcardTypeReferenceTraverser, doVisitAnyTypeReference, doVisitArrayTypeReference, doVisitCompoundTypeReference, doVisitParameterizedTypeReference, doVisitUnboundTypeReference, doVisitUnknownTypeReference, doVisitWildcardTypeReference, getActualVariance, getExpectedVariance, getOrigin, getOwner, outerVisit, outerVisit, processPairedReferences, processTypeParameter, shouldProcess

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

DeferredTypeParameterHintCollector

public DeferredTypeParameterHintCollector(ITypeReferenceOwner owner)

Method Detail

createTypeParameterSubstitutor

protected TypeParameterSubstitutor<?> createTypeParameterSubstitutor(Map<JvmTypeParameter,LightweightMergedBoundTypeArgument> mapping)

Overrides:

createTypeParameterSubstitutor in class AbstractTypeReferencePairWalker

copy

protected LightweightTypeReference copy(UnboundTypeReference reference)

createUnboundTypeReferenceTraverser

protected AbstractTypeReferencePairWalker.UnboundTypeReferenceTraverser createUnboundTypeReferenceTraverser()

Overrides:

createUnboundTypeReferenceTraverser in class AbstractTypeReferencePairWalker

createCompoundTypeReferenceTraverser

protected AbstractTypeReferencePairWalker.CompoundTypeReferenceTraverser createCompoundTypeReferenceTraverser()

Overrides:

createCompoundTypeReferenceTraverser in class AbstractTypeReferencePairWalker

createParameterizedTypeReferenceTraverser

protected AbstractTypeReferencePairWalker.ParameterizedTypeReferenceTraverser createParameterizedTypeReferenceTraverser()

Overrides:

createParameterizedTypeReferenceTraverser in class AbstractTypeReferencePairWalker

findMappedParameter

protected JvmTypeParameter findMappedParameter(JvmTypeParameter parameter,
                                   Map<JvmTypeParameter,LightweightMergedBoundTypeArgument> mapping,
                                   Collection<JvmTypeParameter> visited)

Overrides:

findMappedParameter in class AbstractTypeReferencePairWalker

addHint

protected void addHint(UnboundTypeReference typeParameter,
           LightweightTypeReference reference)

getTypeArgumentSource

protected BoundTypeArgumentSource getTypeArgumentSource()

getStricterConstraint

protected LightweightTypeReference getStricterConstraint(UnboundTypeReference typeParameter,
                                             LightweightTypeReference hint)