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

Class TypeLiteralLinkingCandidate

java.lang.Object

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

org.eclipse.xtext.xbase.typesystem.internal.AbstractPendingLinkingCandidate<XAbstractFeatureCall>

org.eclipse.xtext.xbase.typesystem.internal.TypeLiteralLinkingCandidate

All Implemented Interfaces:

IApplicableCandidate, IFeatureLinkingCandidate, ILinkingCandidate, ITypeLiteralLinkingCandidate

public class TypeLiteralLinkingCandidate
extends AbstractPendingLinkingCandidate<XAbstractFeatureCall>
implements ITypeLiteralLinkingCandidate

Nested Class Summary

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

AbstractLinkingCandidate.ArgumentTypeComputationState, AbstractLinkingCandidate.ObservableTypeExpectation

Field Summary

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

description

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

arguments, typeArguments

Constructor Summary

Constructors

Constructor	Description
TypeLiteralLinkingCandidate(XAbstractFeatureCall featureCall, IIdentifiableElementDescription description, ITypeExpectation expectation, 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.
void	computeArgumentTypes()
protected ILinkingCandidate	createAmbiguousLinkingCandidate(AbstractPendingLinkingCandidate<?> second)	Produce a candidate that carries the information about ambiguous candidates.
protected java.util.List<XExpression>	getArguments()	Returns the actual arguments of the expression.
int	getArityMismatch()	Returns the mismatch of actually given arguments and declared parameters.
protected int	getConformanceFlags(int idx, boolean recompute)
protected LightweightTypeReference	getDeclaredType(org.eclipse.xtext.common.types.JvmIdentifiableElement feature)
protected java.util.List<org.eclipse.xtext.common.types.JvmTypeParameter>	getDeclaredTypeParameters()
XAbstractFeatureCall	getFeatureCall()	Returns the feature call that is linked.
protected java.lang.String	getFeatureTypeName()	Returns the name of the feature type, e.g.
protected java.util.List<org.eclipse.xtext.common.types.JvmTypeReference>	getPlainSyntacticTypeArguments()
protected LightweightTypeReference	getSubstitutedExpectedType(int argumentIndex)	Returns the substituted expected type for the argument at argumentIndex.
protected java.util.List<XExpression>	getSyntacticArguments()
org.eclipse.xtext.common.types.JvmType	getType()	Returns the type that shall be resolved as a literal.
protected int	getTypeArgumentConformanceFailures(org.eclipse.xtext.util.IAcceptor<? super org.eclipse.xtext.diagnostics.AbstractDiagnostic> acceptor)
java.util.List<LightweightTypeReference>	getTypeArguments()	The resolved type arguments.
int	getTypeArityMismatch()
protected boolean	hasReceiver()	Returns true if the argument at index 0 will be considered as the receiver.
boolean	isExtension()	Returns true if the linked feature is contributed by an extension.
boolean	isStatic()	Returns true if the linked feature is static.
boolean	isTypeLiteral()	Returns true if the feature call is linked as a type literal.
protected void	preApply()
protected boolean	validateTypeArity(org.eclipse.xtext.util.IAcceptor<? super org.eclipse.xtext.diagnostics.AbstractDiagnostic> result)

Methods inherited from class org.eclipse.xtext.xbase.typesystem.internal.AbstractPendingLinkingCandidate

compareByArgumentTypes, compareByArgumentTypes, compareByArgumentTypes, compareByArgumentTypesFlags, compareByArity, compareByArityWith, compareByBoxing, compareByBucket, compareByName, compareByTypeArguments, compareDeclaredTypes, compareExpectedArgumentTypes, compareTo, compareTo, createSuspiciousLinkingCandidate, getAllDescriptionsHash, getArgumentTypesAsString, getArityMismatch, getDefaultValidationFeature, getExpectedTypeCompareResultOther, getFeature, getFeatureParameterTypesAsString, getFeatureParameterTypesAsString, getFeatureTypeParametersAsString, getInvalidArgumentsValidationFeature, getPreferredCandidate, getSeverity, getSimpleFeatureName, getTypeArgumentsAsString, getTypeParameterAsString, getTypeParameterMapping, getUnhandledExceptionSeverity, isDefiniteEarlyExit, isLambdaExpression, isPossibleFunctionType, isVarArgs, isVisible, resolveLinkingProxy, setAllDescriptionsHash, toString, validate, validateArity, validateTypeArgumentConformance, validateUnhandledExceptions, validateUnhandledExceptions, validateVisibility

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

accept, applyToComputationState, computeArgumentType, computeFixedArityArgumentType, computeVarArgumentType, createArgumentTypeSubstitutor, createLinkingTypeComputationState, createVarArgTypeComputationState, deferredBindTypeArgument, discardRefinementTypeIfReassigned, getActualType, getActualType, getDeclaratorParameterMapping, getExpectedType, getExpression, getState, getSyntacticTypeArguments, initializeArgumentTypeComputation, initializeConstraintMapping, initializeMapping, initializeTypeParameterMapping, initializeTypeParameterMapping, isBoundTypeArgumentSkipped, isRawTypeContext, mustDiscardRefinement, 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.IApplicableCandidate

validate

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

applyToComputationState, getExpression, getFeature, getPreferredCandidate

Constructor Detail

TypeLiteralLinkingCandidate

public TypeLiteralLinkingCandidate(XAbstractFeatureCall featureCall,
                                   IIdentifiableElementDescription description,
                                   ITypeExpectation expectation,
                                   ExpressionTypeComputationState state)

Method Detail

computeArgumentTypes

public void computeArgumentTypes()

Overrides:

computeArgumentTypes in class AbstractLinkingCandidate<XAbstractFeatureCall>

createAmbiguousLinkingCandidate

protected ILinkingCandidate createAmbiguousLinkingCandidate(AbstractPendingLinkingCandidate<?> second)

Description copied from class: AbstractPendingLinkingCandidate

Produce a candidate that carries the information about ambiguous candidates.

Specified by:

createAmbiguousLinkingCandidate in class AbstractPendingLinkingCandidate<XAbstractFeatureCall>

getArguments

protected java.util.List<XExpression> getArguments()

Returns the actual arguments of the expression. These do not include the receiver.

Specified by:

getArguments in class AbstractLinkingCandidate<XAbstractFeatureCall>

getFeatureTypeName

protected java.lang.String getFeatureTypeName()

Description copied from class: AbstractPendingLinkingCandidate

Returns the name of the feature type, e.g. a feature of type JvmOperation may return method, a XVariableDeclaration may identify itself as local variable.

Specified by:

getFeatureTypeName in class AbstractPendingLinkingCandidate<XAbstractFeatureCall>

getArityMismatch

public int getArityMismatch()

Description copied from class: AbstractPendingLinkingCandidate

Returns the mismatch of actually given arguments and declared parameters. Receivers and staticness of the feature is taken into account, too. The mismatch may either be negative or positive.

Overrides:

getArityMismatch in class AbstractPendingLinkingCandidate<XAbstractFeatureCall>

getSyntacticArguments

protected java.util.List<XExpression> getSyntacticArguments()

Overrides:

getSyntacticArguments in class AbstractPendingLinkingCandidate<XAbstractFeatureCall>

isExtension

public boolean isExtension()

Description copied from interface: IFeatureLinkingCandidate

Returns true if the linked feature is contributed by an extension.

Specified by:

isExtension in interface IFeatureLinkingCandidate

Specified by:

isExtension in interface ITypeLiteralLinkingCandidate

Overrides:

isExtension in class AbstractPendingLinkingCandidate<XAbstractFeatureCall>

Returns:

always false.

hasReceiver

protected boolean hasReceiver()

Description copied from class: AbstractLinkingCandidate

Returns true if the argument at index 0 will be considered as the receiver.

Overrides:

hasReceiver in class AbstractLinkingCandidate<XAbstractFeatureCall>

isStatic

public boolean isStatic()

Description copied from interface: IFeatureLinkingCandidate

Returns true if the linked feature is static.

Specified by:

isStatic in interface IFeatureLinkingCandidate

Specified by:

isStatic in interface ITypeLiteralLinkingCandidate

Returns:

always false.

isTypeLiteral

public boolean isTypeLiteral()

Description copied from interface: IFeatureLinkingCandidate

Returns true if the feature call is linked as a type literal.

Specified by:

isTypeLiteral in interface IFeatureLinkingCandidate

Specified by:

isTypeLiteral in interface ITypeLiteralLinkingCandidate

Overrides:

isTypeLiteral in class AbstractLinkingCandidate<XAbstractFeatureCall>

Returns:

always true.

getFeatureCall

public XAbstractFeatureCall getFeatureCall()

Description copied from interface: IFeatureLinkingCandidate

Returns the feature call that is linked.

Specified by:

getFeatureCall in interface IFeatureLinkingCandidate

Returns:

the feature call.

getPlainSyntacticTypeArguments

protected java.util.List<org.eclipse.xtext.common.types.JvmTypeReference> getPlainSyntacticTypeArguments()

Specified by:

getPlainSyntacticTypeArguments in class AbstractLinkingCandidate<XAbstractFeatureCall>

getConformanceFlags

protected int getConformanceFlags(int idx,
                                  boolean recompute)

Overrides:

getConformanceFlags in class AbstractPendingLinkingCandidate<XAbstractFeatureCall>

getSubstitutedExpectedType

protected LightweightTypeReference getSubstitutedExpectedType(int argumentIndex)

Description copied from class: AbstractLinkingCandidate

Returns the substituted expected type for the argument at argumentIndex. If the expected type is an unbound type parameter, a reference to the type parameter itself is returned.

Overrides:

getSubstitutedExpectedType in class AbstractLinkingCandidate<XAbstractFeatureCall>

validateTypeArity

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

Overrides:

validateTypeArity in class AbstractPendingLinkingCandidate<XAbstractFeatureCall>

getDeclaredType

protected LightweightTypeReference getDeclaredType(org.eclipse.xtext.common.types.JvmIdentifiableElement feature)

Overrides:

getDeclaredType in class AbstractLinkingCandidate<XAbstractFeatureCall>

getDeclaredTypeParameters

protected java.util.List<org.eclipse.xtext.common.types.JvmTypeParameter> getDeclaredTypeParameters()

Overrides:

getDeclaredTypeParameters in class AbstractLinkingCandidate<XAbstractFeatureCall>

getTypeArityMismatch

public int getTypeArityMismatch()

Overrides:

getTypeArityMismatch in class AbstractPendingLinkingCandidate<XAbstractFeatureCall>

getTypeArgumentConformanceFailures

protected int getTypeArgumentConformanceFailures(org.eclipse.xtext.util.IAcceptor<? super org.eclipse.xtext.diagnostics.AbstractDiagnostic> acceptor)

Overrides:

getTypeArgumentConformanceFailures in class AbstractPendingLinkingCandidate<XAbstractFeatureCall>

getTypeArguments

public java.util.List<LightweightTypeReference> getTypeArguments()

Description copied from interface: ILinkingCandidate

The resolved type arguments.

Specified by:

getTypeArguments in interface ILinkingCandidate

Specified by:

getTypeArguments in interface ITypeLiteralLinkingCandidate

Overrides:

getTypeArguments in class AbstractLinkingCandidate<XAbstractFeatureCall>

Returns:

an empty list.

preApply

protected void preApply()

Overrides:

preApply in class AbstractLinkingCandidate<XAbstractFeatureCall>

getType

public org.eclipse.xtext.common.types.JvmType getType()

Description copied from interface: ITypeLiteralLinkingCandidate

Returns the type that shall be resolved as a literal.

Specified by:

getType in interface ITypeLiteralLinkingCandidate

Returns:

the type.

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.

Specified by:

applyToModel in interface IApplicableCandidate

Specified by:

applyToModel in interface ILinkingCandidate