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

Author:

Sebastian Zarnekow - Initial contribution and API TODO JavaDoc, toString

Nested Class Summary

Nested Classes

Modifier and Type	Class and 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 and Description
ActualTypeArgumentCollector(Collection<JvmTypeParameter> parametersToBeMapped, BoundTypeArgumentSource defaultSource, ITypeReferenceOwner owner)

Method Summary

Methods

Modifier and Type	Method and Description
protected LightweightBoundTypeArgument	boundByConstraint(LightweightTypeReference reference, Object origin)
protected LightweightBoundTypeArgument	boundByDefaultSource(LightweightTypeReference reference)
protected AbstractTypeReferencePairWalker.ParameterizedTypeReferenceTraverser	createParameterizedTypeReferenceTraverser()
protected BoundTypeArgumentSource	getDefaultSource()
protected Collection<JvmTypeParameter>	getParametersToProcess()
Map<JvmTypeParameter,List<LightweightBoundTypeArgument>>	getTypeParameterMapping()
void	populateTypeParameterMapping(LightweightTypeReference declaredType, LightweightTypeReference actualType)
void	processPairedReferences(LightweightTypeReference declaredType, LightweightTypeReference actualType)
protected void	processTypeParameter(JvmTypeParameter typeParameter, LightweightTypeReference reference)
Map<JvmTypeParameter,List<LightweightBoundTypeArgument>>	rawGetTypeParameterMapping()
protected boolean	shouldProcess(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(Collection<JvmTypeParameter> parametersToBeMapped,
                           BoundTypeArgumentSource defaultSource,
                           ITypeReferenceOwner owner)

Method Detail

populateTypeParameterMapping

public void populateTypeParameterMapping(LightweightTypeReference declaredType,
                                LightweightTypeReference actualType)

boundByConstraint

protected LightweightBoundTypeArgument boundByConstraint(LightweightTypeReference reference,
                                             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(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 Map<JvmTypeParameter,List<LightweightBoundTypeArgument>> rawGetTypeParameterMapping()

getParametersToProcess

protected Collection<JvmTypeParameter> getParametersToProcess()

shouldProcess

protected boolean shouldProcess(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 Map<JvmTypeParameter,List<LightweightBoundTypeArgument>> getTypeParameterMapping()