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 and Description
protected	ImplicitFirstArgument(XAbstractFeatureCall featureCall, XAbstractFeatureCall implicit, ExpressionTypeComputationState state)

Method Summary

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

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: 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.