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
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidapplyToComputationState()Apply this candidate to the current computation state model.voidapplyToModel(IResolvedTypes resolvedTypes)Injects the resolved feature into the model with the same semantics as the implicitresolveof EMF.booleanvalidate(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
-
-
-
-
Constructor Detail
-
ImplicitReceiver
public ImplicitReceiver(XAbstractFeatureCall featureCall, XAbstractFeatureCall implicit, ExpressionTypeComputationState state)
-
-
Method Detail
-
applyToComputationState
public void applyToComputationState()
Description copied from interface:ILinkingCandidateApply 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:
applyToComputationStatein interfaceILinkingCandidate- Overrides:
applyToComputationStatein classAbstractImplicitFeature
-
applyToModel
public void applyToModel(IResolvedTypes resolvedTypes)
Description copied from interface:ILinkingCandidateInjects the resolved feature into the model with the same semantics as the implicitresolveof 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:IApplicableCandidateProduce diagnostics for this condidate. It is not the responsibility of this candidate to propagate the acceptor to its children.- Specified by:
validatein interfaceIApplicableCandidate- Overrides:
validatein classAbstractImplicitFeature- Returns:
trueif further validation should be performed.
-
-