Package org.eclipse.xtext.xbase.typesystem.internal

Class ImplicitReceiver

java.lang.Object

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

org.eclipse.xtext.xbase.typesystem.internal.ImplicitReceiver

All Implemented Interfaces:

IApplicableCandidate, IFeatureLinkingCandidate, ILinkingCandidate

Direct Known Subclasses:

ResolvedImplicitReceiver

public class ImplicitReceiver
extends AbstractImplicitFeature

Constructor Summary

Constructors

Constructor	Description
ImplicitReceiver(XAbstractFeatureCall featureCall, XAbstractFeatureCall implicit, ExpressionTypeComputationState state)

Method Summary

Modifier and Type	Method	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.
boolean	validate(org.eclipse.xtext.util.IAcceptor<? super org.eclipse.xtext.diagnostics.AbstractDiagnostic> result)	Produce diagnostics for this condidate.

Methods inherited from class org.eclipse.xtext.xbase.typesystem.internal.AbstractImplicitFeature

getExpression, getFeature, getFeatureCall, getOwner, getPreferredCandidate, getState, getTypeArguments, isExtension, isStatic, isTypeLiteral

Methods inherited from class java.lang.Object

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

Constructor Detail

ImplicitReceiver

public ImplicitReceiver(XAbstractFeatureCall featureCall,
                        XAbstractFeatureCall implicit,
                        ExpressionTypeComputationState state)

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

Overrides:

applyToComputationState in class AbstractImplicitFeature

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.

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

Overrides:

validate in class AbstractImplicitFeature

Returns:

true if further validation should be performed.