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

Class ResolvedTypeLiteral

java.lang.Object

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

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

org.eclipse.xtext.xbase.typesystem.internal.ResolvedTypeLiteral

All Implemented Interfaces:

IApplicableCandidate, IFeatureLinkingCandidate, ILinkingCandidate, ITypeLiteralLinkingCandidate

public class ResolvedTypeLiteral
extends AbstractResolvedReference<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.AbstractResolvedReference

resolvedElement

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

arguments, typeArguments

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	ResolvedTypeLiteral(XAbstractFeatureCall featureCall, org.eclipse.xtext.common.types.JvmIdentifiableElement resolvedElement, ITypeExpectation expectation, ExpressionTypeComputationState state)

Method Summary

Modifier and Type	Method	Description
void	applyToComputationState()	Apply this candidate to the current computation state model.
protected java.util.List<XExpression>	getArguments()
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.util.List<org.eclipse.xtext.common.types.JvmTypeReference>	getPlainSyntacticTypeArguments()
ILinkingCandidate	getPreferredCandidate(ILinkingCandidate other)	Produces the best candidate for the current two candidates.
org.eclipse.xtext.common.types.JvmType	getType()	Returns the type that shall be resolved as a literal.
java.util.List<LightweightTypeReference>	getTypeArguments()	The resolved type arguments.
boolean	isExtension()	Returns true if the linked feature is contributed by an extension.
boolean	isPackageFragment()
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()

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

applyToModel, getFeature, getTypeParameterMapping, toString, validate

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

accept, computeArgumentType, computeArgumentTypes, computeFixedArityArgumentType, computeVarArgumentType, createArgumentTypeSubstitutor, createLinkingTypeComputationState, createVarArgTypeComputationState, deferredBindTypeArgument, discardRefinementTypeIfReassigned, getActualType, getActualType, getDeclaratorParameterMapping, getExpectedType, getExpression, getState, getSubstitutedExpectedType, getSyntacticTypeArguments, hasReceiver, 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

applyToModel, getExpression, getFeature

Constructor Detail

ResolvedTypeLiteral

protected ResolvedTypeLiteral(XAbstractFeatureCall featureCall,
                              org.eclipse.xtext.common.types.JvmIdentifiableElement resolvedElement,
                              ITypeExpectation expectation,
                              ExpressionTypeComputationState state)

Method Detail

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.

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.

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.

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

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.

isPackageFragment

public boolean isPackageFragment()

getArguments

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

Specified by:

getArguments in class AbstractLinkingCandidate<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.

getPlainSyntacticTypeArguments

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

Specified by:

getPlainSyntacticTypeArguments in class AbstractLinkingCandidate<XAbstractFeatureCall>

getDeclaredTypeParameters

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

Overrides:

getDeclaredTypeParameters in class AbstractLinkingCandidate<XAbstractFeatureCall>

getPreferredCandidate

public ILinkingCandidate getPreferredCandidate(ILinkingCandidate other)

Description copied from interface: ILinkingCandidate

Produces the best candidate for the current two candidates. It may turn out that both candidates (this and other) are ambiguous so no prefered candidate can be chosen. In that case, a new linking candidate may be produced that carries this information and will use that on ILinkingCandidate.applyToComputationState(), ILinkingCandidate.applyToModel(IResolvedTypes), and IApplicableCandidate.validate(IAcceptor).

Specified by:

getPreferredCandidate in interface ILinkingCandidate

applyToComputationState

public void applyToComputationState()

Description copied from interface: ILinkingCandidate

Apply this candidate to the current computation state model. This propagates the type information about arguments and child expressions to the currently active resolution state.

Specified by:

applyToComputationState in interface ILinkingCandidate

Overrides:

applyToComputationState in class AbstractLinkingCandidate<XAbstractFeatureCall>

preApply

protected void preApply()

Overrides:

preApply in class AbstractLinkingCandidate<XAbstractFeatureCall>

getDeclaredType

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

Overrides:

getDeclaredType in class AbstractLinkingCandidate<XAbstractFeatureCall>