org.eclipse.xtext.xbase.typesystem.internal

Class ResolvedFeature

java.lang.Object

org.eclipse.xtext.xbase.typesystem.internal.AbstractLinkingCandidate<Expression>

org.eclipse.xtext.xbase.typesystem.internal.AbstractResolvedReference<XAbstractFeatureCall>

org.eclipse.xtext.xbase.typesystem.internal.ResolvedFeature

All Implemented Interfaces:

IApplicableCandidate, IFeatureLinkingCandidate, ILinkingCandidate

public class ResolvedFeature
extends AbstractResolvedReference<XAbstractFeatureCall>
implements IFeatureLinkingCandidate

Author:

Sebastian Zarnekow - Initial contribution and API

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.xtext.xbase.typesystem.internal.AbstractLinkingCandidate

AbstractLinkingCandidate.ArgumentTypeComputationState, AbstractLinkingCandidate.ObservableTypeExpectation

Field Summary

Fields inherited from class org.eclipse.xtext.xbase.typesystem.internal.AbstractResolvedReference

resolvedElement

Fields inherited from class org.eclipse.xtext.xbase.typesystem.internal.AbstractLinkingCandidate

arguments, typeArguments

Constructor Summary

Constructors

Constructor and Description
ResolvedFeature(XAbstractFeatureCall featureCall, JvmIdentifiableElement feature, FeatureLinkHelper helper, ITypeExpectation expectation, ExpressionTypeComputationState state)

Method Summary

Methods

Modifier and Type	Method and Description
void	applyToComputationState() Apply this candidate to the current computation state model.
protected void	computeVarArgumentType(IFeatureCallArgumentSlot slot, TypeParameterSubstitutor<?> substitutor)
protected List<XExpression>	getArguments()
protected Map<JvmTypeParameter,LightweightMergedBoundTypeArgument>	getDeclaratorParameterMapping()
protected LightweightTypeReference	getDeclaredType(JvmIdentifiableElement feature)
XAbstractFeatureCall	getFeatureCall() Returns the feature call that is linked.
protected XExpression	getImplicitFirstArgument()
protected LightweightTypeReference	getImplicitFirstArgumentType()
protected XExpression	getImplicitReceiver()
protected LightweightTypeReference	getImplicitReceiverType()
protected List<JvmTypeReference>	getPlainSyntacticTypeArguments()
ILinkingCandidate	getPreferredCandidate(ILinkingCandidate other) Produces the best candidate for the current two candidates.
protected XExpression	getReceiver()
protected LightweightTypeReference	getReceiverType()
protected LightweightTypeReference	getSubstitutedExpectedType(int idx) Returns the substituted expected type for the argument at argumentIndex.
protected List<XExpression>	getSyntacticArguments() For testing purpose
protected XExpression	getSyntacticReceiver()
protected LightweightTypeReference	getSyntacticReceiverType()
protected boolean	hasReceiver() Returns true if the argument at index 0 will be considered as the receiver.
boolean	isExtension() Returns true if the the linked feature is contributed by an extension.
protected boolean	isRawTypeContext()
boolean	isStatic() Returns true if the the linked feature is static.
boolean	isTypeLiteral() Returns true if the the feature call is linked as a type literal.
protected void	resolveAgainstActualType(LightweightTypeReference declaredType, LightweightTypeReference actualType, AbstractTypeComputationState state)
protected void	resolveArgumentType(XExpression argument, LightweightTypeReference declaredType, ITypeComputationState argumentState)
protected void	resolveKnownArgumentType(XExpression argument, LightweightTypeReference knownType, LightweightTypeReference declaredType, ITypeComputationState argumentState)

Methods inherited from class org.eclipse.xtext.xbase.typesystem.internal.AbstractResolvedReference

applyToModel, getFeature, getTypeParameterMapping, toString, validate

Methods inherited from class org.eclipse.xtext.xbase.typesystem.internal.AbstractLinkingCandidate

accept, computeArgumentType, computeArgumentTypes, computeFixedArityArgumentType, createArgumentTypeSubstitutor, createLinkingTypeComputationState, createVarArgTypeComputationState, deferredBindTypeArgument, discardRefinementTypeIfReassigned, getActualType, getActualType, getDeclaredTypeParameters, getExpectedType, getExpression, getState, getSyntacticTypeArguments, getTypeArguments, initializeArgumentTypeComputation, initializeConstraintMapping, initializeMapping, initializeTypeParameterMapping, initializeTypeParameterMapping, isBoundTypeArgumentSkipped, mustDiscardRefinement, preApply

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.eclipse.xtext.xbase.typesystem.computation.ILinkingCandidate

applyToModel, getExpression, getFeature, getTypeArguments

Methods inherited from interface org.eclipse.xtext.xbase.typesystem.computation.IApplicableCandidate

validate

Constructor Detail

ResolvedFeature

public ResolvedFeature(XAbstractFeatureCall featureCall,
               JvmIdentifiableElement feature,
               FeatureLinkHelper helper,
               ITypeExpectation expectation,
               ExpressionTypeComputationState state)

Method Detail

getPreferredCandidate

public ILinkingCandidate getPreferredCandidate(ILinkingCandidate other)

Description copied from interface: ILinkingCandidate

Produces the best candidate for the current two candidates. It may turn out that both candidates (this and other) are ambiguous so no prefered candidate can be chosen. In that case, a new linking candidate may be produced that carries this information and will use that on ILinkingCandidate.applyToComputationState(), ILinkingCandidate.applyToModel(IResolvedTypes), and IApplicableCandidate.validate(IAcceptor).

Specified by:

getPreferredCandidate in interface ILinkingCandidate

getSubstitutedExpectedType

protected LightweightTypeReference getSubstitutedExpectedType(int idx)

Description copied from class: AbstractLinkingCandidate

Returns the substituted expected type for the argument at argumentIndex. If the expected type is an unbound type parameter, a reference to the type parameter itself is returned.

Overrides:

getSubstitutedExpectedType in class AbstractLinkingCandidate<XAbstractFeatureCall>

applyToComputationState

public void applyToComputationState()

Description copied from interface: ILinkingCandidate

Apply this candidate to the current computation state model. This propagates the type information about arguments and child expressions to the currently active resolution state.

Specified by:

applyToComputationState in interface ILinkingCandidate

Overrides:

applyToComputationState in class AbstractLinkingCandidate<XAbstractFeatureCall>

isRawTypeContext

protected boolean isRawTypeContext()

Overrides:

isRawTypeContext in class AbstractLinkingCandidate<XAbstractFeatureCall>

resolveAgainstActualType

protected void resolveAgainstActualType(LightweightTypeReference declaredType,
                            LightweightTypeReference actualType,
                            AbstractTypeComputationState state)

Overrides:

resolveAgainstActualType in class AbstractLinkingCandidate<XAbstractFeatureCall>

getArguments

protected List<XExpression> getArguments()

Specified by:

getArguments in class AbstractLinkingCandidate<XAbstractFeatureCall>

getFeatureCall

public XAbstractFeatureCall getFeatureCall()

Description copied from interface: IFeatureLinkingCandidate

Returns the feature call that is linked.

Specified by:

getFeatureCall in interface IFeatureLinkingCandidate

Returns:

the feature call.

getPlainSyntacticTypeArguments

protected List<JvmTypeReference> getPlainSyntacticTypeArguments()

Specified by:

getPlainSyntacticTypeArguments in class AbstractLinkingCandidate<XAbstractFeatureCall>

computeVarArgumentType

protected void computeVarArgumentType(IFeatureCallArgumentSlot slot,
                          TypeParameterSubstitutor<?> substitutor)

Overrides:

computeVarArgumentType in class AbstractLinkingCandidate<XAbstractFeatureCall>

resolveArgumentType

protected void resolveArgumentType(XExpression argument,
                       LightweightTypeReference declaredType,
                       ITypeComputationState argumentState)

Overrides:

resolveArgumentType in class AbstractLinkingCandidate<XAbstractFeatureCall>

Parameters:

argument - the expression that should be processed.

declaredType - the declared (expected) type for the given expression.

argumentState - the to-be-used state to compute the actual type of the argument. It is already configured with the expectation.

resolveKnownArgumentType

protected void resolveKnownArgumentType(XExpression argument,
                            LightweightTypeReference knownType,
                            LightweightTypeReference declaredType,
                            ITypeComputationState argumentState)

getDeclaratorParameterMapping

protected Map<JvmTypeParameter,LightweightMergedBoundTypeArgument> getDeclaratorParameterMapping()

Overrides:

getDeclaratorParameterMapping in class AbstractLinkingCandidate<XAbstractFeatureCall>

getDeclaredType

protected LightweightTypeReference getDeclaredType(JvmIdentifiableElement feature)

Overrides:

getDeclaredType in class AbstractLinkingCandidate<XAbstractFeatureCall>

getImplicitReceiver

protected XExpression getImplicitReceiver()

getImplicitReceiverType

protected LightweightTypeReference getImplicitReceiverType()

getImplicitFirstArgument

protected XExpression getImplicitFirstArgument()

getImplicitFirstArgumentType

protected LightweightTypeReference getImplicitFirstArgumentType()

getReceiver

protected XExpression getReceiver()

getReceiverType

protected LightweightTypeReference getReceiverType()

getSyntacticReceiver

protected XExpression getSyntacticReceiver()

getSyntacticReceiverType

protected LightweightTypeReference getSyntacticReceiverType()

getSyntacticArguments

protected List<XExpression> getSyntacticArguments()

For testing purpose

isExtension

public boolean isExtension()

Description copied from interface: IFeatureLinkingCandidate

Returns true if the the linked feature is contributed by an extension.

Specified by:

isExtension in interface IFeatureLinkingCandidate

Returns:

whether the feature is extension.

hasReceiver

protected boolean hasReceiver()

Description copied from class: AbstractLinkingCandidate

Returns true if the argument at index 0 will be considered as the receiver.

Overrides:

hasReceiver in class AbstractLinkingCandidate<XAbstractFeatureCall>

isStatic

public boolean isStatic()

Description copied from interface: IFeatureLinkingCandidate

Returns true if the the linked feature is static.

Specified by:

isStatic in interface IFeatureLinkingCandidate

Returns:

whether the feature is static.

isTypeLiteral

public boolean isTypeLiteral()

Description copied from interface: IFeatureLinkingCandidate

Returns true if the the feature call is linked as a type literal.

Specified by:

isTypeLiteral in interface IFeatureLinkingCandidate

Overrides:

isTypeLiteral in class AbstractLinkingCandidate<XAbstractFeatureCall>

Returns:

whether the feature call is a type literal rather than a real feature call.