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

Class ImplicitFirstArgument

java.lang.Object

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

org.eclipse.xtext.xbase.typesystem.internal.ImplicitFirstArgument

All Implemented Interfaces:

IApplicableCandidate, IFeatureLinkingCandidate, ILinkingCandidate

Direct Known Subclasses:

ResolvedImplicitFirstArgument

public class ImplicitFirstArgument
extends AbstractImplicitFeature

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
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

applyToComputationState, 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

ImplicitFirstArgument

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

Method Detail

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.