org.eclipse.xtext.xbase.typesystem.util

Class TypeArgumentFromComputedTypeCollector

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

org.eclipse.xtext.xbase.typesystem.util.TypeArgumentFromComputedTypeCollector

public class TypeArgumentFromComputedTypeCollector
extends UnboundTypeParameterAwareTypeArgumentCollector

Author:

Sebastian Zarnekow - Initial contribution and API

Nested Class Summary

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

UnboundTypeParameterAwareTypeArgumentCollector.UnboundTypeParameterAwareParameterizedTypeReferenceTraverser, 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
TypeArgumentFromComputedTypeCollector(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.ArrayTypeReferenceTraverser	createArrayTypeReferenceTraverser()
protected AbstractTypeReferencePairWalker.ParameterizedTypeReferenceTraverser	createParameterizedTypeReferenceTraverser()
protected AbstractTypeReferencePairWalker.UnboundTypeReferenceTraverser	createUnboundTypeReferenceTraverser()
static void	resolveAgainstActualType(LightweightTypeReference declaredType, LightweightTypeReference actualType, Collection<JvmTypeParameter> typeParameters, Map<JvmTypeParameter,LightweightMergedBoundTypeArgument> typeParameterMapping, BoundTypeArgumentSource source, ITypeReferenceOwner owner)

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

createTypeParameterSubstitutor, findMappedParameter

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

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

TypeArgumentFromComputedTypeCollector

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

Method Detail

resolveAgainstActualType

public static void resolveAgainstActualType(LightweightTypeReference declaredType,
                            LightweightTypeReference actualType,
                            Collection<JvmTypeParameter> typeParameters,
                            Map<JvmTypeParameter,LightweightMergedBoundTypeArgument> typeParameterMapping,
                            BoundTypeArgumentSource source,
                            ITypeReferenceOwner owner)

acceptHint

protected void acceptHint(UnboundTypeReference reference,
              LightweightTypeReference param)

Overrides:

acceptHint in class UnboundTypeParameterAwareTypeArgumentCollector

createArrayTypeReferenceTraverser

protected AbstractTypeReferencePairWalker.ArrayTypeReferenceTraverser createArrayTypeReferenceTraverser()

Overrides:

createArrayTypeReferenceTraverser in class AbstractTypeReferencePairWalker

createParameterizedTypeReferenceTraverser

protected AbstractTypeReferencePairWalker.ParameterizedTypeReferenceTraverser createParameterizedTypeReferenceTraverser()

Overrides:

createParameterizedTypeReferenceTraverser in class UnboundTypeParameterAwareTypeArgumentCollector

createUnboundTypeReferenceTraverser

protected AbstractTypeReferencePairWalker.UnboundTypeReferenceTraverser createUnboundTypeReferenceTraverser()

Overrides:

createUnboundTypeReferenceTraverser in class UnboundTypeParameterAwareTypeArgumentCollector