org.eclipse.xtext.xbase.typesystem.computation

Interface IApplicableCandidate

All Known Subinterfaces:

IClosureCandidate, IConstructorLinkingCandidate, IFeatureLinkingCandidate, ILinkingCandidate, ITypeLiteralLinkingCandidate

All Known Implementing Classes:

AbstractAmbiguousLinkingCandidate, AbstractClosureTypeHelper, AbstractImplicitFeature, AbstractLinkingCandidate, AbstractNullLinkingCandidate, AbstractPendingLinkingCandidate, AbstractResolvedReference, AbstractUnresolvableReference, AbstractUnresolvableReferenceWithNode, AmbiguousConstructorLinkingCandidate, AmbiguousFeatureLinkingCandidate, AppliedFeatureLinkingCandidate, ClosureWithExpectationHelper, ClosureWithoutExpectationHelper, ConstructorLinkingCandidate, FeatureLinkingCandidate, FollowUpError, ImplicitFirstArgument, ImplicitReceiver, NullConstructorLinkingCandidate, NullFeatureLinkingCandidate, ResolvedConstructor, ResolvedFeature, ResolvedImplicitFirstArgument, ResolvedImplicitReceiver, ResolvedTypeLiteral, SuspiciouslyOverloadedCandidate, TypeInsteadOfConstructorLinkingCandidate, TypeLiteralLinkingCandidate, UnknownClosureTypeHelper, UnresolvableConstructorCall, UnresolvableFeatureCall

public interface IApplicableCandidate

A candidate encapsulates intermediate computation results. It may represent a not yet applied linking candidate or other derived properties that are pending to be written into the model, e.g. the implicit parameters of closures.

See Also:

ILinkingCandidate

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.

Method Detail

applyToModel

void applyToModel(IResolvedTypes resolvedTypes)

Injects the resolved information into the model.

validate

boolean validate(org.eclipse.xtext.util.IAcceptor<? super org.eclipse.xtext.diagnostics.AbstractDiagnostic> result)

Produce diagnostics for this condidate. It is not the responsibility of this candidate to propagate the acceptor to its children.

Returns:

true if further validation should be performed.