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 and Description
ImplicitReceiver(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.
void	applyToModel(IResolvedTypes resolvedTypes) Injects the resolved information into the model.
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: IApplicableCandidate

Injects the resolved information into the model.

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.