org.eclipse.xtext.xbase.typesystem.internal

Class AbstractImplicitFeature

java.lang.Object

org.eclipse.xtext.xbase.typesystem.internal.AbstractImplicitFeature

All Implemented Interfaces:

IApplicableCandidate, IFeatureLinkingCandidate, ILinkingCandidate

Direct Known Subclasses:

ImplicitFirstArgument, ImplicitReceiver

public abstract class AbstractImplicitFeature
extends java.lang.Object
implements IFeatureLinkingCandidate

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AbstractImplicitFeature(XAbstractFeatureCall featureCall, XAbstractFeatureCall implicit, ExpressionTypeComputationState state)

Method Summary

Modifier and Type	Method and Description
void	applyToComputationState() Apply this candidate to the current computation state model.
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.
protected XAbstractFeatureCall	getOwner()
ILinkingCandidate	getPreferredCandidate(ILinkingCandidate other) Produces the best candidate for the current two candidates.
protected ExpressionTypeComputationState	getState()
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

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

applyToModel

Constructor Detail

AbstractImplicitFeature

protected AbstractImplicitFeature(XAbstractFeatureCall featureCall,
                                  XAbstractFeatureCall implicit,
                                  ExpressionTypeComputationState state)

Method Detail

getState

protected ExpressionTypeComputationState getState()

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

getOwner

protected XAbstractFeatureCall getOwner()

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

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.

getTypeArguments

public java.util.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.

getExpression

public XExpression getExpression()

Description copied from interface: ILinkingCandidate

The current expression that shall be linked.

Specified by:

getExpression in interface ILinkingCandidate

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

Returns:

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

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.