org.eclipse.xtext.xbase.typesystem

Class IResolvedTypes.NullResolvedTypes

java.lang.Object

org.eclipse.xtext.xbase.typesystem.IResolvedTypes.NullResolvedTypes

All Implemented Interfaces:

IResolvedTypes

Enclosing interface:

IResolvedTypes

public static class IResolvedTypes.NullResolvedTypes
extends Object
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

Modifier	Constructor and Description
protected	IResolvedTypes.NullResolvedTypes()

Method Summary

Methods

Modifier and Type	Method and Description
LightweightTypeReference	getActualType(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.
List<LightweightTypeReference>	getActualTypeArguments(XExpression expression) Returns the resolved type arguments.
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.
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.
JvmIdentifiableElement	getLinkedFeature(XAbstractFeatureCall featureCall) Returns the intermediate linking result for the given feature call, if any.
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.
Collection<AbstractDiagnostic>	getQueuedDiagnostics()
LightweightTypeReference	getReturnType(XExpression expression) Returns the actually inferred return type for the given expression or null if none.
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. an instanceof guard my specialize the type of the checked reference.
boolean	isVoidTypeAllowed(XExpression expression) Returns true if the given expression may have the type void.

Methods inherited from class java.lang.Object

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

Constructor Detail

IResolvedTypes.NullResolvedTypes

protected IResolvedTypes.NullResolvedTypes()

Method Detail

getQueuedDiagnostics

public Collection<AbstractDiagnostic> getQueuedDiagnostics()

Specified by:

getQueuedDiagnostics in interface IResolvedTypes

getFollowUpErrors

public 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 Collection<IAmbiguousLinkingCandidate> getAmbiguousLinkingCandidates()

Description copied from interface: IResolvedTypes

Returns all ambiguous linking candidates that have been encountered.

Specified by:

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

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

getThrownExceptions

public List<LightweightTypeReference> getThrownExceptions(XExpression obj)

Specified by:

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

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.

Specified by:

getReturnType in interface IResolvedTypes

Parameters:

expression - expression whose return type is queried.

getActualType

public LightweightTypeReference getActualType(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.

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

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.

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