org.eclipse.xtext.xbase.typesystem.internal

Class AbstractResolvedReference<Expression extends XExpression>

java.lang.Object

org.eclipse.xtext.xbase.typesystem.internal.AbstractLinkingCandidate<Expression>

org.eclipse.xtext.xbase.typesystem.internal.AbstractResolvedReference<Expression>

All Implemented Interfaces:

IApplicableCandidate, ILinkingCandidate

Direct Known Subclasses:

ResolvedConstructor, ResolvedFeature, ResolvedTypeLiteral

public abstract class AbstractResolvedReference<Expression extends XExpression>
extends AbstractLinkingCandidate<Expression>

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.xtext.xbase.typesystem.internal.AbstractLinkingCandidate

AbstractLinkingCandidate.ArgumentTypeComputationState, AbstractLinkingCandidate.ObservableTypeExpectation

Field Summary

Fields

Modifier and Type	Field and Description
protected org.eclipse.xtext.common.types.JvmIdentifiableElement	resolvedElement

Fields inherited from class org.eclipse.xtext.xbase.typesystem.internal.AbstractLinkingCandidate

arguments, typeArguments

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AbstractResolvedReference(Expression expression, org.eclipse.xtext.common.types.JvmIdentifiableElement resolvedElement, ITypeExpectation expectation, ExpressionTypeComputationState state)

Method Summary

Modifier and Type	Method and Description
void	applyToModel(IResolvedTypes resolvedTypes) Injects the resolved feature into the model with the same semantics as the implicit resolve of EMF.
org.eclipse.xtext.common.types.JvmIdentifiableElement	getFeature() The currently considered feature (if any).
protected java.util.Map<org.eclipse.xtext.common.types.JvmTypeParameter,LightweightMergedBoundTypeArgument>	getTypeParameterMapping()
java.lang.String	toString()
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.AbstractLinkingCandidate

accept, applyToComputationState, computeArgumentType, computeArgumentTypes, computeFixedArityArgumentType, computeVarArgumentType, createArgumentTypeSubstitutor, createLinkingTypeComputationState, createVarArgTypeComputationState, deferredBindTypeArgument, discardRefinementTypeIfReassigned, getActualType, getActualType, getArguments, getDeclaratorParameterMapping, getDeclaredType, getDeclaredTypeParameters, getExpectedType, getExpression, getPlainSyntacticTypeArguments, getState, getSubstitutedExpectedType, getSyntacticTypeArguments, getTypeArguments, hasReceiver, initializeArgumentTypeComputation, initializeConstraintMapping, initializeMapping, initializeTypeParameterMapping, initializeTypeParameterMapping, isBoundTypeArgumentSkipped, isRawTypeContext, isTypeLiteral, mustDiscardRefinement, preApply, resolveAgainstActualType, resolveArgumentType

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.eclipse.xtext.xbase.typesystem.computation.ILinkingCandidate

getPreferredCandidate

Field Detail

resolvedElement

protected final org.eclipse.xtext.common.types.JvmIdentifiableElement resolvedElement

Constructor Detail

AbstractResolvedReference

protected AbstractResolvedReference(Expression expression,
                                    org.eclipse.xtext.common.types.JvmIdentifiableElement resolvedElement,
                                    ITypeExpectation expectation,
                                    ExpressionTypeComputationState state)

Method Detail

getTypeParameterMapping

protected java.util.Map<org.eclipse.xtext.common.types.JvmTypeParameter,LightweightMergedBoundTypeArgument> getTypeParameterMapping()

Specified by:

getTypeParameterMapping in class AbstractLinkingCandidate<Expression extends XExpression>

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.

Returns:

true if further validation should be performed.

getFeature

public org.eclipse.xtext.common.types.JvmIdentifiableElement getFeature()

Description copied from interface: ILinkingCandidate

The currently considered feature (if any). Otherwise null.

Specified by:

getFeature in interface ILinkingCandidate

Specified by:

getFeature in class AbstractLinkingCandidate<Expression extends XExpression>

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object