org.eclipse.xtext.xbase.typesystem.internal

Class AbstractAmbiguousLinkingCandidate<Candidate extends AbstractPendingLinkingCandidate<?>>

java.lang.Object

org.eclipse.xtext.xbase.typesystem.internal.AbstractAmbiguousLinkingCandidate<Candidate>

All Implemented Interfaces:

IAmbiguousLinkingCandidate, IApplicableCandidate, ILinkingCandidate

Direct Known Subclasses:

AmbiguousConstructorLinkingCandidate, AmbiguousFeatureLinkingCandidate

public abstract class AbstractAmbiguousLinkingCandidate<Candidate extends AbstractPendingLinkingCandidate<?>>
extends Object
implements ILinkingCandidate, IAmbiguousLinkingCandidate

Author:

Sebastian Zarnekow - Initial contribution and API

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AbstractAmbiguousLinkingCandidate(Candidate first, AbstractPendingLinkingCandidate<?> second)

Method Summary

Methods

Modifier and Type	Method and Description
protected void	addCandidate(AbstractPendingLinkingCandidate<?> next)
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)
List<? extends ILinkingCandidate>	getAlternatives() A readonly representation of all equally good candidates.
protected String	getDeclaratorSimpleName(JvmIdentifiableElement element)
protected abstract String[]	getDiagnosticData()
XExpression	getExpression() The current expression that shall be linked.
JvmIdentifiableElement	getFeature() The currently considered feature (if any).
protected abstract org.eclipse.emf.ecore.EStructuralFeature	getFeatureToMark()
protected String	getFeatureTypeName()
ILinkingCandidate	getPreferredCandidate(ILinkingCandidate other) Produces the best candidate for the current two candidates.
protected Candidate	getPrimaryCandidate()
protected abstract String	getSyntaxDescriptions()
List<LightweightTypeReference>	getTypeArguments() The resolved type arguments.
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

AbstractAmbiguousLinkingCandidate

protected AbstractAmbiguousLinkingCandidate(Candidate first,
                                 AbstractPendingLinkingCandidate<?> second)

Method Detail

getAlternatives

public List<? extends ILinkingCandidate> getAlternatives()

Description copied from interface: IAmbiguousLinkingCandidate

A readonly representation of all equally good candidates. The list is never null or empty.

Specified by:

getAlternatives in interface IAmbiguousLinkingCandidate

Returns:

all the candidates.

addCandidate

protected final void addCandidate(AbstractPendingLinkingCandidate<?> next)

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)

getPrimaryCandidate

protected final Candidate getPrimaryCandidate()

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.

getDiagnosticData

protected abstract String[] getDiagnosticData()

getFeatureTypeName

protected String getFeatureTypeName()

getSyntaxDescriptions

protected abstract String getSyntaxDescriptions()

getDeclaratorSimpleName

protected String getDeclaratorSimpleName(JvmIdentifiableElement element)

getFeatureToMark

protected abstract org.eclipse.emf.ecore.EStructuralFeature getFeatureToMark()

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