org.eclipse.xtext.xbase.typesystem.internal

Class ForwardingResolvedTypes

java.lang.Object

com.google.common.collect.ForwardingObject

org.eclipse.xtext.xbase.typesystem.internal.ForwardingResolvedTypes

All Implemented Interfaces:

IResolvedTypes

Direct Known Subclasses:

CachingBatchTypeResolver.LazyResolvedTypes, EmptyResolvedTypes

public abstract class ForwardingResolvedTypes
extends com.google.common.collect.ForwardingObject
implements IResolvedTypes

Nested Class Summary

Nested classes/interfaces inherited from interface org.eclipse.xtext.xbase.typesystem.IResolvedTypes

IResolvedTypes.NullResolvedTypes

Field Summary

Fields inherited from interface org.eclipse.xtext.xbase.typesystem.IResolvedTypes

NULL

Constructor Summary

Constructors

Constructor and Description
ForwardingResolvedTypes()

Method Summary

Modifier and Type	Method and Description
protected abstract IResolvedTypes	delegate()
LightweightTypeReference	getActualType(org.eclipse.xtext.common.types.JvmIdentifiableElement identifiable) Returns the actually inferred or declared type for the given identifiable or null if none.
LightweightTypeReference	getActualType(XExpression expression) Returns the actually inferred type for the given expression or null if none.
java.util.List<LightweightTypeReference>	getActualTypeArguments(XExpression expression) Returns the resolved type arguments.
java.util.Collection<IAmbiguousLinkingCandidate>	getAmbiguousLinkingCandidates() Returns all ambiguous linking candidates that have been encountered.
LightweightTypeReference	getExpectedReturnType(XExpression expression) Returns the expected return type for the given expression or null if none.
LightweightTypeReference	getExpectedType(XExpression expression) Returns the actually expected type for the given expression or null if none.
IExpressionScope	getExpressionScope(org.eclipse.emf.ecore.EObject context, IExpressionScope.Anchor anchor) Returns the scope the given expression is contained in.
java.util.Collection<ILinkingCandidate>	getFollowUpErrors() Returns the linking candidates that could not be resolved but are not exposed to the users because they are follow up errors.
org.eclipse.xtext.common.types.JvmIdentifiableElement	getLinkedFeature(XAbstractFeatureCall featureCall) Returns the intermediate linking result for the given feature call, if any.
org.eclipse.xtext.common.types.JvmIdentifiableElement	getLinkedFeature(XConstructorCall constructorCall) Returns the intermediate linking result for the given constructor call, if any.
IFeatureLinkingCandidate	getLinkingCandidate(XAbstractFeatureCall featureCall) Returns the intermediate linking candidate for the given feature call, if any.
IConstructorLinkingCandidate	getLinkingCandidate(XConstructorCall constructorCall) Returns the intermediate linking candidate for the given constructor call, if any.
java.util.Collection<org.eclipse.xtext.diagnostics.AbstractDiagnostic>	getQueuedDiagnostics()
LightweightTypeReference	getReturnType(XExpression expression) Returns the actually inferred return type for the given expression or null if none.
LightweightTypeReference	getReturnType(XExpression expression, boolean onlyExplicitReturn) Returns the actually inferred return type for the given expression or null if none.
java.util.List<LightweightTypeReference>	getThrownExceptions(XExpression obj)
boolean	hasExpressionScope(org.eclipse.emf.ecore.EObject context, IExpressionScope.Anchor anchor)
boolean	isRefinedType(XExpression expression) Returns true if the expression's type is based on a type refinement, e.g.
boolean	isVoidTypeAllowed(XExpression expression) Returns true if the given expression may have the type void.

Methods inherited from class com.google.common.collect.ForwardingObject

toString

Methods inherited from class java.lang.Object

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

Constructor Detail

ForwardingResolvedTypes

public ForwardingResolvedTypes()

Method Detail

delegate

protected abstract IResolvedTypes delegate()

Specified by:

delegate in class com.google.common.collect.ForwardingObject

getActualType

public LightweightTypeReference getActualType(XExpression expression)

Description copied from interface: IResolvedTypes

Returns the actually inferred type for the given expression or null if none.

Specified by:

getActualType in interface IResolvedTypes

Parameters:

expression - expression whose type is queried.

getFollowUpErrors

public java.util.Collection<ILinkingCandidate> getFollowUpErrors()

Description copied from interface: IResolvedTypes

Returns the linking candidates that could not be resolved but are not exposed to the users because they are follow up errors.

Specified by:

getFollowUpErrors in interface IResolvedTypes

getAmbiguousLinkingCandidates

public java.util.Collection<IAmbiguousLinkingCandidate> getAmbiguousLinkingCandidates()

Description copied from interface: IResolvedTypes

Returns all ambiguous linking candidates that have been encountered.

Specified by:

getAmbiguousLinkingCandidates in interface IResolvedTypes

isRefinedType

public boolean isRefinedType(XExpression expression)

Description copied from interface: IResolvedTypes

Returns true if the expression's type is based on a type refinement, e.g. an instanceof guard my specialize the type of the checked reference. Any feature call to that reference is considered to be based on a refined type.

Specified by:

isRefinedType in interface IResolvedTypes

Parameters:

expression - the expression that may have been typed based on a refinement.

Returns:

true if the type was refined, false otherwise.

getReturnType

public LightweightTypeReference getReturnType(XExpression expression)

Description copied from interface: IResolvedTypes

Returns the actually inferred return type for the given expression or null if none. Returns the actual expression type, if no explicit return type exists. Shorthand for getReturnType(expression, false)

Specified by:

getReturnType in interface IResolvedTypes

Parameters:

expression - expression whose return type is queried.

getReturnType

public LightweightTypeReference getReturnType(XExpression expression,
                                              boolean onlyExplicitReturn)

Description copied from interface: IResolvedTypes

Returns the actually inferred return type for the given expression or null if none.

Specified by:

getReturnType in interface IResolvedTypes

Parameters:

expression - expression whose return type is queried.

getExpectedReturnType

public LightweightTypeReference getExpectedReturnType(XExpression expression)

Description copied from interface: IResolvedTypes

Returns the expected return type for the given expression or null if none.

Specified by:

getExpectedReturnType in interface IResolvedTypes

Parameters:

expression - expression whose expected return type is queried.

getActualType

public LightweightTypeReference getActualType(org.eclipse.xtext.common.types.JvmIdentifiableElement identifiable)

Description copied from interface: IResolvedTypes

Returns the actually inferred or declared type for the given identifiable or null if none.

Specified by:

getActualType in interface IResolvedTypes

Parameters:

identifiable - identifiable whose type is queried.

getThrownExceptions

public java.util.List<LightweightTypeReference> getThrownExceptions(XExpression obj)

Specified by:

getThrownExceptions in interface IResolvedTypes

getExpectedType

public LightweightTypeReference getExpectedType(XExpression expression)

Description copied from interface: IResolvedTypes

Returns the actually expected type for the given expression or null if none.

Specified by:

getExpectedType in interface IResolvedTypes

Parameters:

expression - expression whose expected type is queried.

getActualTypeArguments

public java.util.List<LightweightTypeReference> getActualTypeArguments(XExpression expression)

Description copied from interface: IResolvedTypes

Returns the resolved type arguments. If the expression refers to a constructor and 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 <PLgt; 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:

getActualTypeArguments in interface IResolvedTypes

Parameters:

expression - may either be an XAbstractFeatureCall or XConstructorCall. May not be null.

getQueuedDiagnostics

public java.util.Collection<org.eclipse.xtext.diagnostics.AbstractDiagnostic> getQueuedDiagnostics()

Specified by:

getQueuedDiagnostics in interface IResolvedTypes

isVoidTypeAllowed

public boolean isVoidTypeAllowed(XExpression expression)

Description copied from interface: IResolvedTypes

Returns true if the given expression may have the type void.

Specified by:

isVoidTypeAllowed in interface IResolvedTypes

Parameters:

expression - expression whose expected type is queried.

getLinkedFeature

public org.eclipse.xtext.common.types.JvmIdentifiableElement getLinkedFeature(XAbstractFeatureCall featureCall)

Description copied from interface: IResolvedTypes

Returns the intermediate linking result for the given feature call, if any. If the feature call is null, the result is null.

Specified by:

getLinkedFeature in interface IResolvedTypes

Parameters:

featureCall - the feature call that is queried for the current linking state.

Returns:

the potentially intermediate linking state or null if none.

getLinkingCandidate

public IFeatureLinkingCandidate getLinkingCandidate(XAbstractFeatureCall featureCall)

Description copied from interface: IResolvedTypes

Returns the intermediate linking candidate for the given feature call, if any. If the feature call is null, the result is null.

Specified by:

getLinkingCandidate in interface IResolvedTypes

Parameters:

featureCall - the feature call that is queried for the current linking state.

Returns:

the potentially intermediate linking state or null if none.

getLinkedFeature

public org.eclipse.xtext.common.types.JvmIdentifiableElement getLinkedFeature(XConstructorCall constructorCall)

Description copied from interface: IResolvedTypes

Returns the intermediate linking result for the given constructor call, if any. If the constructor call is null, the result is null. If the constructor call is broken, it may return a JvmType instead of a JvmConstructor.

Specified by:

getLinkedFeature in interface IResolvedTypes

Parameters:

constructorCall - the constructor call that is queried for the current linking state.

Returns:

the potentially intermediate linking state or null if none.

getLinkingCandidate

public IConstructorLinkingCandidate getLinkingCandidate(XConstructorCall constructorCall)

Description copied from interface: IResolvedTypes

Returns the intermediate linking candidate for the given constructor call, if any. If the constructor call is null, the result is null. If the constructor call is broken, it may return a JvmType instead of a JvmConstructor.

Specified by:

getLinkingCandidate in interface IResolvedTypes

Parameters:

constructorCall - the constructor call that is queried for the current linking state.

Returns:

the potentially intermediate linking state or null if none.

getExpressionScope

public IExpressionScope getExpressionScope(org.eclipse.emf.ecore.EObject context,
                                           IExpressionScope.Anchor anchor)

Description copied from interface: IResolvedTypes

Returns the scope the given expression is contained in. This considers all decision paths that were taken while computing the type of the expression. The returned scope carries some meta data such as whether there was an attempt to resolve the given expression as a type.

Specified by:

getExpressionScope in interface IResolvedTypes

hasExpressionScope

public boolean hasExpressionScope(org.eclipse.emf.ecore.EObject context,
                                  IExpressionScope.Anchor anchor)

Specified by:

hasExpressionScope in interface IResolvedTypes