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

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(java.util.Collection<org.eclipse.xtext.common.types.JvmTypeParameter> parametersToBeMapped, BoundTypeArgumentSource defaultSource, ITypeReferenceOwner owner)

Method Summary

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, java.util.Collection<org.eclipse.xtext.common.types.JvmTypeParameter> typeParameters, java.util.Map<org.eclipse.xtext.common.types.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(java.util.Collection<org.eclipse.xtext.common.types.JvmTypeParameter> parametersToBeMapped,
                                             BoundTypeArgumentSource defaultSource,
                                             ITypeReferenceOwner owner)

Method Detail

resolveAgainstActualType

public static void resolveAgainstActualType(LightweightTypeReference declaredType,
                                            LightweightTypeReference actualType,
                                            java.util.Collection<org.eclipse.xtext.common.types.JvmTypeParameter> typeParameters,
                                            java.util.Map<org.eclipse.xtext.common.types.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