org.eclipse.xtext.xbase.typesystem.internal

Class SuspiciouslyOverloadedCandidate

java.lang.Object

org.eclipse.xtext.xbase.typesystem.internal.SuspiciouslyOverloadedCandidate

All Implemented Interfaces:

IApplicableCandidate, IFeatureLinkingCandidate, ILinkingCandidate, ISuspiciouslyOverloadedCandidate

public class SuspiciouslyOverloadedCandidate
extends Object
implements IFeatureLinkingCandidate, ISuspiciouslyOverloadedCandidate

A linking candidate that was picked from an implicit this receiver though an overloaded candidate on it exists.

Author:

Sebastian Zarnekow - Initial contribution and API

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	SuspiciouslyOverloadedCandidate(FeatureLinkingCandidate chosenCandidate, FeatureLinkingCandidate rejectedCandidate)

Method Summary

Methods

Modifier and Type	Method and Description
protected void	appendCandidate(FeatureLinkingCandidate candidate, StringBuilder result)
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.
protected org.eclipse.xtext.xbase.typesystem.internal.CandidateCompareResult	compareTo(AbstractPendingLinkingCandidate<?> right)
FeatureLinkingCandidate	getChosenCandidate()
protected String	getDeclaratorSimpleName(JvmIdentifiableElement element)
XExpression	getExpression() The current expression that shall be linked.
JvmIdentifiableElement	getFeature() The currently considered feature (if any).
XAbstractFeatureCall	getFeatureCall() Returns the feature call that is linked.
protected String	getFeatureTypeName()
ILinkingCandidate	getPreferredCandidate(ILinkingCandidate other) Produces the best candidate for the current two candidates.
FeatureLinkingCandidate	getRejectedCandidate()
List<LightweightTypeReference>	getTypeArguments() The resolved type arguments.
boolean	isExtension() Returns true if the the linked feature is contributed by an extension.
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.
boolean	validate(IAcceptor<? super AbstractDiagnostic> result) Produce diagnostics for this condidate.

Methods inherited from class java.lang.Object

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

Constructor Detail

SuspiciouslyOverloadedCandidate

protected SuspiciouslyOverloadedCandidate(FeatureLinkingCandidate chosenCandidate,
                               FeatureLinkingCandidate rejectedCandidate)

Method Detail

getChosenCandidate

public FeatureLinkingCandidate getChosenCandidate()

Specified by:

getChosenCandidate in interface ISuspiciouslyOverloadedCandidate

Returns:

the applied candidate.

getRejectedCandidate

public FeatureLinkingCandidate getRejectedCandidate()

Specified by:

getRejectedCandidate in interface ISuspiciouslyOverloadedCandidate

Returns:

the suspiciously rejected candidate.

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

compareTo

protected org.eclipse.xtext.xbase.typesystem.internal.CandidateCompareResult compareTo(AbstractPendingLinkingCandidate<?> right)

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

applyToModel

public void applyToModel(IResolvedTypes resolvedTypes)

Description copied from interface: ILinkingCandidate

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

Specified by:

applyToModel in interface ILinkingCandidate

validate

public boolean validate(IAcceptor<? super AbstractDiagnostic> result)

Description copied from interface: IApplicableCandidate

Produce diagnostics for this condidate. It is not the responsibility of this candidate to propagate the acceptor to its children.

Specified by:

validate in interface IApplicableCandidate

Returns:

true if further validation should be performed.

appendCandidate

protected void appendCandidate(FeatureLinkingCandidate candidate,
                   StringBuilder result)

getFeatureTypeName

protected String getFeatureTypeName()

getDeclaratorSimpleName

protected String getDeclaratorSimpleName(JvmIdentifiableElement element)

getFeature

public JvmIdentifiableElement getFeature()

Description copied from interface: ILinkingCandidate

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

Specified by:

getFeature in interface ILinkingCandidate

getExpression

public XExpression getExpression()

Description copied from interface: ILinkingCandidate

The current expression that shall be linked.

Specified by:

getExpression in interface ILinkingCandidate

getTypeArguments

public List<LightweightTypeReference> getTypeArguments()

Description copied from interface: ILinkingCandidate

The resolved type arguments.

Specified by:

getTypeArguments in interface ILinkingCandidate

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.

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.

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.

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

Returns:

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