org.eclipse.xtext.xbase.typesystem.internal

Class AppliedFeatureLinkingCandidate

java.lang.Object

org.eclipse.xtext.xbase.typesystem.internal.AppliedFeatureLinkingCandidate

All Implemented Interfaces:

IApplicableCandidate, IFeatureLinkingCandidate, ILinkingCandidate

public class AppliedFeatureLinkingCandidate
extends java.lang.Object
implements IFeatureLinkingCandidate

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AppliedFeatureLinkingCandidate(IFeatureLinkingCandidate delegate)

Method Summary

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.
org.eclipse.xtext.common.types.JvmIdentifiableElement	getFeature() The currently considered feature (if any).
XAbstractFeatureCall	getFeatureCall() Returns the feature call that is linked.
ILinkingCandidate	getPreferredCandidate(ILinkingCandidate other) Produces the best candidate for the current two candidates.
java.util.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(org.eclipse.xtext.util.IAcceptor<? super org.eclipse.xtext.diagnostics.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

AppliedFeatureLinkingCandidate

protected AppliedFeatureLinkingCandidate(IFeatureLinkingCandidate delegate)

Method Detail

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(org.eclipse.xtext.util.IAcceptor<? super org.eclipse.xtext.diagnostics.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.

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

getFeature

public org.eclipse.xtext.common.types.JvmIdentifiableElement getFeature()

Description copied from interface: ILinkingCandidate

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

Specified by:

getFeature in interface ILinkingCandidate

getTypeArguments

public java.util.List<LightweightTypeReference> getTypeArguments()

Description copied from interface: ILinkingCandidate

The resolved type arguments.

Specified by:

getTypeArguments 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

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.