org.eclipse.xtext.xbase.typesystem.computation

Interface ILinkingCandidate

All Superinterfaces:

IApplicableCandidate

All Known Subinterfaces:

IConstructorLinkingCandidate, IFeatureLinkingCandidate, ITypeLiteralLinkingCandidate

All Known Implementing Classes:

AbstractAmbiguousLinkingCandidate, AbstractImplicitFeature, AbstractLinkingCandidate, AbstractNullLinkingCandidate, AbstractPendingLinkingCandidate, AbstractResolvedReference, AbstractUnresolvableReference, AbstractUnresolvableReferenceWithNode, AmbiguousConstructorLinkingCandidate, AmbiguousFeatureLinkingCandidate, AppliedFeatureLinkingCandidate, ConstructorLinkingCandidate, FeatureLinkingCandidate, FollowUpError, ImplicitFirstArgument, ImplicitReceiver, NullConstructorLinkingCandidate, NullFeatureLinkingCandidate, ResolvedConstructor, ResolvedFeature, ResolvedImplicitFirstArgument, ResolvedImplicitReceiver, ResolvedTypeLiteral, SuspiciouslyOverloadedCandidate, TypeInsteadOfConstructorLinkingCandidate, TypeLiteralLinkingCandidate, UnresolvableConstructorCall, UnresolvableFeatureCall

public interface ILinkingCandidate
extends IApplicableCandidate

A linking candidate encapsulates a linked feature. The link may be broken, e.g. the proxy cannot be resolved. It may even be the case that no suitable feature exists. Key to this abstraction is the possibility to compare two possible candidates with each other, apply the best match to the AST, and resolve the link on the EMF level. Furthermore it is possible to trigger the validation of an established link.

Author:

Sebastian Zarnekow - Initial contribution and API

See Also:

IFeatureLinkingCandidate, IConstructorLinkingCandidate, AbstractPendingLinkingCandidate, AbstractUnresolvableReferenceWithNode, AbstractResolvedReference

Method Summary

Methods

Modifier and Type	Method and Description
void	applyToComputationState() Apply this candidate to the current computation state model.
void	applyToModel(IResolvedTypes resolvedTypes) Injects the resolved feature into the model with the same semantics as the implicit resolve of EMF.
XExpression	getExpression() The current expression that shall be linked.
JvmIdentifiableElement	getFeature() The currently considered feature (if any).
ILinkingCandidate	getPreferredCandidate(ILinkingCandidate other) Produces the best candidate for the current two candidates.
List<LightweightTypeReference>	getTypeArguments() The resolved type arguments.

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

validate

Method Detail

applyToComputationState

void applyToComputationState()

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.

applyToModel

void applyToModel(IResolvedTypes resolvedTypes)

Injects the resolved feature into the model with the same semantics as the implicit resolve of EMF. This implies that the linked feature call may still point to a proxy afterwards.

Specified by:

applyToModel in interface IApplicableCandidate

getPreferredCandidate

ILinkingCandidate getPreferredCandidate(ILinkingCandidate other)

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 applyToComputationState(), applyToModel(IResolvedTypes), and IApplicableCandidate.validate(IAcceptor).

getFeature

JvmIdentifiableElement getFeature()

The currently considered feature (if any). Otherwise null.

getExpression

XExpression getExpression()

The current expression that shall be linked.

getTypeArguments

List<LightweightTypeReference> getTypeArguments()

The resolved type arguments.