org.eclipse.xtext.xbase.typesystem.internal

Class CompoundReentrantTypeResolver

java.lang.Object

java.util.AbstractCollection<E>

java.util.AbstractList<IResolvedTypes>

org.eclipse.xtext.xbase.typesystem.internal.CompoundReentrantTypeResolver

All Implemented Interfaces:

java.lang.Iterable<IResolvedTypes>, java.util.Collection<IResolvedTypes>, java.util.List<IResolvedTypes>, java.util.RandomAccess, IReentrantTypeResolver, IResolvedTypes

public class CompoundReentrantTypeResolver
extends java.util.AbstractList<IResolvedTypes>
implements IReentrantTypeResolver, IResolvedTypes, java.util.RandomAccess

Noextend:

This class is not intended to be subclassed by clients.

Noinstantiate:

This class is not intended to be instantiated by clients. TODO JavaDoc, toString

Nested Class Summary

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

IResolvedTypes.NullResolvedTypes

Field Summary

Fields inherited from class java.util.AbstractList

modCount

Fields inherited from interface org.eclipse.xtext.xbase.typesystem.internal.IReentrantTypeResolver

NULL

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

NULL

Constructor Summary

Constructors

Constructor and Description
CompoundReentrantTypeResolver(java.util.Set<org.eclipse.emf.ecore.EObject> allRootedExpressions)

Method Summary

Modifier and Type	Method and Description
protected void	addResolver(AbstractRootedReentrantTypeResolver resolver)
IResolvedTypes	get(int index)
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.
protected IResolvedTypes	getDelegate(org.eclipse.emf.ecore.EObject object)
protected IResolvedTypes	getDelegate(int idx)
protected IResolvedTypes	getDelegate(XExpression expression)
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.
protected org.eclipse.xtext.util.CancelIndicator	getMonitor()
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)
void	initializeFrom(org.eclipse.emf.ecore.EObject root)
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.
IResolvedTypes	reentrantResolve(org.eclipse.xtext.util.CancelIndicator monitor)
int	size()

Methods inherited from class java.util.AbstractList

add, add, addAll, clear, equals, hashCode, indexOf, iterator, lastIndexOf, listIterator, listIterator, remove, removeRange, set, subList

Methods inherited from class java.util.AbstractCollection

addAll, contains, containsAll, isEmpty, remove, removeAll, retainAll, toArray, toArray, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.List

addAll, contains, containsAll, isEmpty, remove, removeAll, replaceAll, retainAll, sort, spliterator, toArray, toArray

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream

Methods inherited from interface java.lang.Iterable

forEach

Constructor Detail

CompoundReentrantTypeResolver

public CompoundReentrantTypeResolver(java.util.Set<org.eclipse.emf.ecore.EObject> allRootedExpressions)

Method Detail

addResolver

protected void addResolver(AbstractRootedReentrantTypeResolver resolver)

initializeFrom

public void initializeFrom(org.eclipse.emf.ecore.EObject root)

Specified by:

initializeFrom in interface IReentrantTypeResolver

reentrantResolve

public IResolvedTypes reentrantResolve(org.eclipse.xtext.util.CancelIndicator monitor)

Specified by:

reentrantResolve in interface IReentrantTypeResolver

getMonitor

protected org.eclipse.xtext.util.CancelIndicator getMonitor()

getDelegate

protected IResolvedTypes getDelegate(int idx)

getQueuedDiagnostics

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

Specified by:

getQueuedDiagnostics 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.

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

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.

getDelegate

protected IResolvedTypes getDelegate(XExpression expression)

getDelegate

protected IResolvedTypes getDelegate(org.eclipse.emf.ecore.EObject object)

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

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.

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.

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.

getThrownExceptions

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

Specified by:

getThrownExceptions 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.

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.

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.

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.

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

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.

get

public IResolvedTypes get(int index)

Specified by:

get in interface java.util.List<IResolvedTypes>

Specified by:

get in class java.util.AbstractList<IResolvedTypes>

size

public int size()

Specified by:

size in interface java.util.Collection<IResolvedTypes>

Specified by:

size in interface java.util.List<IResolvedTypes>

Specified by:

size in class java.util.AbstractCollection<IResolvedTypes>