org.eclipse.xtext.xbase.typesystem.internal

Class ConstructorLinkingCandidate

java.lang.Object

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

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

org.eclipse.xtext.xbase.typesystem.internal.ConstructorLinkingCandidate

All Implemented Interfaces:

IApplicableCandidate, IConstructorLinkingCandidate, ILinkingCandidate

public class ConstructorLinkingCandidate
extends AbstractPendingLinkingCandidate<XConstructorCall>
implements IConstructorLinkingCandidate

Author:

Sebastian Zarnekow - Initial contribution and API TODO JavaDoc, toString

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 and Description
ConstructorLinkingCandidate(XConstructorCall constructorCall, IIdentifiableElementDescription description, ITypeExpectation expectation, ExpressionTypeComputationState state)

Method Summary

Methods

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.
protected ILinkingCandidate	createAmbiguousLinkingCandidate(AbstractPendingLinkingCandidate<?> second) Produce a candidate that carries the information about ambiguous candidates.
protected LightweightTypeReference	deferredBindTypeArgument(ITypeExpectation expectation, LightweightTypeReference type)
protected List<XExpression>	getArguments()
JvmConstructor	getConstructor()
XConstructorCall	getConstructorCall()
protected List<JvmTypeParameter>	getDeclaredTypeParameters()
protected org.eclipse.emf.ecore.EReference	getDefaultValidationFeature()
protected String	getFeatureTypeName() 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.
protected org.eclipse.emf.ecore.EReference	getInvalidArgumentsValidationFeature()
protected List<JvmTypeReference>	getPlainSyntacticTypeArguments()
protected String	getSimpleFeatureName()
boolean	isAnonymousClassConstructorCall()
protected boolean	isBoundTypeArgumentSkipped(JvmTypeParameter type, Map<JvmTypeParameter,LightweightMergedBoundTypeArgument> mapping, ITypeReferenceOwner owner)
boolean	validate(IAcceptor<? super AbstractDiagnostic> result) Validates this linking candidate and adds respective diagnostics to the given queue.

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, getArgumentTypesAsString, getArityMismatch, getArityMismatch, getConformanceFlags, getExpectedTypeCompareResultOther, getFeature, getFeatureParameterTypesAsString, getFeatureParameterTypesAsString, getFeatureTypeParametersAsString, getPreferredCandidate, getSeverity, getSyntacticArguments, getTypeArgumentConformanceFailures, getTypeArgumentsAsString, getTypeArityMismatch, getTypeParameterAsString, getTypeParameterMapping, getUnhandledExceptionSeverity, isDefiniteEarlyExit, isExtension, isLambdaExpression, isPossibleFunctionType, isVarArgs, isVisible, resolveLinkingProxy, toString, validateArity, validateTypeArgumentConformance, validateTypeArity, validateUnhandledExceptions, validateUnhandledExceptions, validateVisibility

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

accept, applyToComputationState, computeArgumentType, computeArgumentTypes, computeFixedArityArgumentType, computeVarArgumentType, createArgumentTypeSubstitutor, createLinkingTypeComputationState, createVarArgTypeComputationState, discardRefinementTypeIfReassigned, getActualType, getActualType, getDeclaratorParameterMapping, getDeclaredType, getExpectedType, getExpression, getState, getSubstitutedExpectedType, getSyntacticTypeArguments, getTypeArguments, hasReceiver, initializeArgumentTypeComputation, initializeConstraintMapping, initializeMapping, initializeTypeParameterMapping, initializeTypeParameterMapping, 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.IConstructorLinkingCandidate

getTypeArguments

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

applyToComputationState, getExpression, getFeature, getPreferredCandidate

Constructor Detail

ConstructorLinkingCandidate

public ConstructorLinkingCandidate(XConstructorCall constructorCall,
                           IIdentifiableElementDescription description,
                           ITypeExpectation expectation,
                           ExpressionTypeComputationState state)

Method Detail

getConstructor

public JvmConstructor getConstructor()

Specified by:

getConstructor in interface IConstructorLinkingCandidate

getConstructorCall

public XConstructorCall getConstructorCall()

Specified by:

getConstructorCall in interface IConstructorLinkingCandidate

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<XConstructorCall>

getArguments

protected List<XExpression> getArguments()

Specified by:

getArguments in class AbstractLinkingCandidate<XConstructorCall>

deferredBindTypeArgument

protected LightweightTypeReference deferredBindTypeArgument(ITypeExpectation expectation,
                                                LightweightTypeReference type)

Overrides:

deferredBindTypeArgument in class AbstractLinkingCandidate<XConstructorCall>

validate

public boolean validate(IAcceptor<? super AbstractDiagnostic> result)

Description copied from class: AbstractPendingLinkingCandidate

Validates this linking candidate and adds respective diagnostics to the given queue. This checks the following criteria:

1. visibility,
2. arity,
3. type arity,
4. type arguments,
5. unhandled excptions,

Specified by:

validate in interface IApplicableCandidate

Overrides:

validate in class AbstractPendingLinkingCandidate<XConstructorCall>

Returns:

true if further validation should be performed.

isBoundTypeArgumentSkipped

protected boolean isBoundTypeArgumentSkipped(JvmTypeParameter type,
                                 Map<JvmTypeParameter,LightweightMergedBoundTypeArgument> mapping,
                                 ITypeReferenceOwner owner)

Overrides:

isBoundTypeArgumentSkipped in class AbstractLinkingCandidate<XConstructorCall>

getDefaultValidationFeature

protected org.eclipse.emf.ecore.EReference getDefaultValidationFeature()

Overrides:

getDefaultValidationFeature in class AbstractPendingLinkingCandidate<XConstructorCall>

getInvalidArgumentsValidationFeature

protected org.eclipse.emf.ecore.EReference getInvalidArgumentsValidationFeature()

Overrides:

getInvalidArgumentsValidationFeature in class AbstractPendingLinkingCandidate<XConstructorCall>

getFeatureTypeName

protected 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<XConstructorCall>

getSimpleFeatureName

protected String getSimpleFeatureName()

Overrides:

getSimpleFeatureName in class AbstractPendingLinkingCandidate<XConstructorCall>

isAnonymousClassConstructorCall

public boolean isAnonymousClassConstructorCall()

Specified by:

isAnonymousClassConstructorCall in interface IConstructorLinkingCandidate

getPlainSyntacticTypeArguments

protected List<JvmTypeReference> getPlainSyntacticTypeArguments()

Specified by:

getPlainSyntacticTypeArguments in class AbstractLinkingCandidate<XConstructorCall>

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

getDeclaredTypeParameters

protected List<JvmTypeParameter> getDeclaredTypeParameters()

Overrides:

getDeclaredTypeParameters in class AbstractLinkingCandidate<XConstructorCall>