org.eclipse.xtext.xbase.typesystem.internal

Class TypeInsteadOfConstructorLinkingCandidate

java.lang.Object

org.eclipse.xtext.xbase.typesystem.internal.AbstractUnresolvableReference

org.eclipse.xtext.xbase.typesystem.internal.TypeInsteadOfConstructorLinkingCandidate

All Implemented Interfaces:

IApplicableCandidate, IConstructorLinkingCandidate, ILinkingCandidate

public class TypeInsteadOfConstructorLinkingCandidate
extends AbstractUnresolvableReference
implements IConstructorLinkingCandidate

Constructor Summary

Constructors

Constructor and Description
TypeInsteadOfConstructorLinkingCandidate(XConstructorCall constructorCall, IIdentifiableElementDescription description, 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.
protected void	applyType()
protected java.util.List<XExpression>	getArguments()
org.eclipse.xtext.common.types.JvmConstructor	getConstructor()
XConstructorCall	getConstructorCall()
org.eclipse.xtext.common.types.JvmIdentifiableElement	getFeature() The currently considered feature (if any).
java.util.List<LightweightTypeReference>	getSyntacticTypeArguments()
java.util.List<LightweightTypeReference>	getTypeArguments() The resolved type arguments.
boolean	isAnonymousClassConstructorCall()
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.AbstractUnresolvableReference

applyToComputationState, computeArgumentTypes, getContext, getExpression, getPreferredCandidate, getResolvedTypes, getState

Methods inherited from class java.lang.Object

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

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

applyToComputationState, getExpression, getPreferredCandidate

Constructor Detail

TypeInsteadOfConstructorLinkingCandidate

public TypeInsteadOfConstructorLinkingCandidate(XConstructorCall constructorCall,
                                                IIdentifiableElementDescription description,
                                                ExpressionTypeComputationState state)

Method Detail

getConstructor

public org.eclipse.xtext.common.types.JvmConstructor getConstructor()

Specified by:

getConstructor in interface IConstructorLinkingCandidate

isAnonymousClassConstructorCall

public boolean isAnonymousClassConstructorCall()

Specified by:

isAnonymousClassConstructorCall in interface IConstructorLinkingCandidate

applyType

protected void applyType()

Overrides:

applyType in class AbstractUnresolvableReference

getConstructorCall

public XConstructorCall getConstructorCall()

Specified by:

getConstructorCall in interface IConstructorLinkingCandidate

getArguments

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

Specified by:

getArguments in class AbstractUnresolvableReference

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

Overrides:

getFeature in class AbstractUnresolvableReference

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.

Specified by:

validate in interface IApplicableCandidate

Overrides:

validate in class AbstractUnresolvableReference

Returns:

true if further validation should be performed.

getTypeArguments

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

Description copied from interface: IConstructorLinkingCandidate

The resolved type arguments. If the constructor itself defines type parameters, their resolved representation is prepended to the list of type arguments. Consider the following type:

 class C<T, V> {
   public 
 C(P p) {}
 }
 

An invocation of the constructor C will return three type arguments, the bound values of for P, T and V.

Specified by:

getTypeArguments in interface IConstructorLinkingCandidate

Specified by:

getTypeArguments in interface ILinkingCandidate

getSyntacticTypeArguments

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

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