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

Class ActualTypeArgumentCollector

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

Direct Known Subclasses:

UnboundTypeParameterAwareTypeArgumentCollector

public class ActualTypeArgumentCollector
extends AbstractTypeReferencePairWalker

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
protected class	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	Description
ActualTypeArgumentCollector(java.util.Collection<org.eclipse.xtext.common.types.JvmTypeParameter> parametersToBeMapped, BoundTypeArgumentSource defaultSource, ITypeReferenceOwner owner)

Method Summary

Modifier and Type	Method	Description
protected LightweightBoundTypeArgument	boundByConstraint(LightweightTypeReference reference, java.lang.Object origin)
protected LightweightBoundTypeArgument	boundByDefaultSource(LightweightTypeReference reference)
protected AbstractTypeReferencePairWalker.ParameterizedTypeReferenceTraverser	createParameterizedTypeReferenceTraverser()
protected BoundTypeArgumentSource	getDefaultSource()
protected java.util.Collection<org.eclipse.xtext.common.types.JvmTypeParameter>	getParametersToProcess()
java.util.Map<org.eclipse.xtext.common.types.JvmTypeParameter,java.util.List<LightweightBoundTypeArgument>>	getTypeParameterMapping()
void	populateTypeParameterMapping(LightweightTypeReference declaredType, LightweightTypeReference actualType)
void	processPairedReferences(LightweightTypeReference declaredType, LightweightTypeReference actualType)
protected void	processTypeParameter(org.eclipse.xtext.common.types.JvmTypeParameter typeParameter, LightweightTypeReference reference)
java.util.Map<org.eclipse.xtext.common.types.JvmTypeParameter,java.util.List<LightweightBoundTypeArgument>>	rawGetTypeParameterMapping()
protected boolean	shouldProcess(org.eclipse.xtext.common.types.JvmTypeParameter type)	Allows to veto the processing of a given type parameter.

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

createArrayTypeReferenceTraverser, createCompoundTypeReferenceTraverser, createTypeParameterSubstitutor, createUnboundTypeReferenceTraverser, createWildcardTypeReferenceTraverser, doVisitAnyTypeReference, doVisitArrayTypeReference, doVisitCompoundTypeReference, doVisitParameterizedTypeReference, doVisitUnboundTypeReference, doVisitUnknownTypeReference, doVisitWildcardTypeReference, findMappedParameter, 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

ActualTypeArgumentCollector

public ActualTypeArgumentCollector(java.util.Collection<org.eclipse.xtext.common.types.JvmTypeParameter> parametersToBeMapped,
                                   BoundTypeArgumentSource defaultSource,
                                   ITypeReferenceOwner owner)

Method Detail

populateTypeParameterMapping

public void populateTypeParameterMapping(LightweightTypeReference declaredType,
                                         LightweightTypeReference actualType)

boundByConstraint

protected LightweightBoundTypeArgument boundByConstraint(LightweightTypeReference reference,
                                                         java.lang.Object origin)

getDefaultSource

protected BoundTypeArgumentSource getDefaultSource()

boundByDefaultSource

protected LightweightBoundTypeArgument boundByDefaultSource(LightweightTypeReference reference)

createParameterizedTypeReferenceTraverser

protected AbstractTypeReferencePairWalker.ParameterizedTypeReferenceTraverser createParameterizedTypeReferenceTraverser()

Overrides:

createParameterizedTypeReferenceTraverser in class AbstractTypeReferencePairWalker

processTypeParameter

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

Overrides:

processTypeParameter in class AbstractTypeReferencePairWalker

Parameters:

typeParameter - the to-be-processed type parameter.

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

rawGetTypeParameterMapping

public java.util.Map<org.eclipse.xtext.common.types.JvmTypeParameter,java.util.List<LightweightBoundTypeArgument>> rawGetTypeParameterMapping()

getParametersToProcess

protected java.util.Collection<org.eclipse.xtext.common.types.JvmTypeParameter> getParametersToProcess()

shouldProcess

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

Description copied from class: AbstractTypeReferencePairWalker

Allows to veto the processing of a given type parameter.

Overrides:

shouldProcess in class AbstractTypeReferencePairWalker

Parameters:

type - the to-be-processed type parameter.

Returns:

always true.

processPairedReferences

public void processPairedReferences(LightweightTypeReference declaredType,
                                    LightweightTypeReference actualType)

Overrides:

processPairedReferences in class AbstractTypeReferencePairWalker

getTypeParameterMapping

public java.util.Map<org.eclipse.xtext.common.types.JvmTypeParameter,java.util.List<LightweightBoundTypeArgument>> getTypeParameterMapping()