org.eclipse.xtext.xbase.typesystem.util

Class UnboundTypeParameterAwareTypeArgumentCollector

java.lang.Object

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

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

org.eclipse.xtext.xbase.typesystem.util.ActualTypeArgumentCollector

org.eclipse.xtext.xbase.typesystem.util.UnboundTypeParameterAwareTypeArgumentCollector

Direct Known Subclasses:

TypeArgumentFromComputedTypeCollector

public class UnboundTypeParameterAwareTypeArgumentCollector
extends ActualTypeArgumentCollector

Author:

Sebastian Zarnekow - Initial contribution and API TODO JavaDoc, toString, inline into super type if only subtype and super type not used besides in tests

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected class	UnboundTypeParameterAwareTypeArgumentCollector.UnboundTypeParameterAwareParameterizedTypeReferenceTraverser
protected class	UnboundTypeParameterAwareTypeArgumentCollector.UnboundTypeParameterAwareUnboundTypeReferenceTraverser

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

ActualTypeArgumentCollector.ActualParameterizedTypeReferenceTraverser

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
UnboundTypeParameterAwareTypeArgumentCollector(Collection<JvmTypeParameter> parametersToBeMapped, BoundTypeArgumentSource defaultSource, ITypeReferenceOwner owner)

Method Summary

Methods

Modifier and Type	Method and Description
protected void	acceptHint(UnboundTypeReference reference, LightweightTypeReference param)
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)

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

boundByConstraint, boundByDefaultSource, getDefaultSource, getParametersToProcess, getTypeParameterMapping, populateTypeParameterMapping, processPairedReferences, processTypeParameter, rawGetTypeParameterMapping, shouldProcess

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

createArrayTypeReferenceTraverser, createCompoundTypeReferenceTraverser, createWildcardTypeReferenceTraverser, doVisitAnyTypeReference, doVisitArrayTypeReference, doVisitCompoundTypeReference, doVisitParameterizedTypeReference, doVisitUnboundTypeReference, doVisitUnknownTypeReference, doVisitWildcardTypeReference, getActualVariance, getExpectedVariance, getOrigin, getOwner, outerVisit, outerVisit

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

UnboundTypeParameterAwareTypeArgumentCollector

public UnboundTypeParameterAwareTypeArgumentCollector(Collection<JvmTypeParameter> parametersToBeMapped,
                                              BoundTypeArgumentSource defaultSource,
                                              ITypeReferenceOwner owner)

Method Detail

createTypeParameterSubstitutor

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

Overrides:

createTypeParameterSubstitutor in class AbstractTypeReferencePairWalker

createUnboundTypeReferenceTraverser

protected AbstractTypeReferencePairWalker.UnboundTypeReferenceTraverser createUnboundTypeReferenceTraverser()

Overrides:

createUnboundTypeReferenceTraverser in class AbstractTypeReferencePairWalker

acceptHint

protected void acceptHint(UnboundTypeReference reference,
              LightweightTypeReference param)

createParameterizedTypeReferenceTraverser

protected AbstractTypeReferencePairWalker.ParameterizedTypeReferenceTraverser createParameterizedTypeReferenceTraverser()

Overrides:

createParameterizedTypeReferenceTraverser in class ActualTypeArgumentCollector

findMappedParameter

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

Overrides:

findMappedParameter in class AbstractTypeReferencePairWalker