org.eclipse.xtext.xbase.typesystem.internal

Class StackedResolvedTypes

java.lang.Object

org.eclipse.xtext.xbase.typesystem.internal.ResolvedTypes

org.eclipse.xtext.xbase.typesystem.internal.StackedResolvedTypes

All Implemented Interfaces:

IResolvedTypes

Direct Known Subclasses:

ExpectedExceptionsStackedResolvedTypes, ExpressionAwareStackedResolvedTypes, ReassigningStackedResolvedTypes

public class StackedResolvedTypes
extends ResolvedTypes

Author:

Sebastian Zarnekow - Initial contribution and API TODO JavaDoc, toString

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.xtext.xbase.typesystem.internal.ResolvedTypes

ResolvedTypes.Owner, ResolvedTypes.Shared, ResolvedTypes.SharedKeysAwareMap<K,V>, ResolvedTypes.SharedKeysAwareSet<E>

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	StackedResolvedTypes(ResolvedTypes parent)

Method Summary

Methods

Modifier and Type	Method and Description
void	addDeclaredTypeParameters(List<JvmTypeParameter> typeParameters)
protected void	appendContent(StringBuilder result, String indentation)
protected void	clear()
protected List<LightweightTypeReference>	doGetActualTypeArguments(XExpression expression)
protected LightweightTypeReference	doGetActualTypeNoDeclaration(JvmIdentifiableElement identifiable, boolean ignoreReassignedTypes)
protected IApplicableCandidate	doGetCandidate(XExpression featureOrConstructorCall)
protected IConstructorLinkingCandidate	doGetConstructor(XConstructorCall constructorCall)
protected LightweightTypeReference	doGetDeclaredType(JvmIdentifiableElement identifiable)
protected IFeatureLinkingCandidate	doGetFeature(XAbstractFeatureCall featureCall)
protected JvmIdentifiableElement	doGetLinkedFeature(XExpression featureOrConstructorCall)
protected List<TypeData>	doGetTypeData(XExpression expression)
protected boolean	doIsResolved(Object handle)
protected int	getConformanceFlags(XExpression expression, boolean recompute)
List<JvmTypeParameter>	getDeclaredTypeParameters()
Collection<IAcceptor<? super IResolvedTypes>>	getDeferredLogic()
List<LightweightTypeReference>	getExpectedExceptions()
protected LightweightTypeReference	getExpectedTypeForAssociatedExpression(JvmMember member, XExpression expression)
protected Map<JvmIdentifiableElement,LightweightTypeReference>	getFlattenedReassignedTypes()
protected List<LightweightBoundTypeArgument>	getHints(Object handle)
protected ResolvedTypes	getParent()
List<AbstractDiagnostic>	getQueuedDiagnostics()
protected UnboundTypeReference	getUnboundTypeReference(Object handle)
protected boolean	isPropagatedType(XExpression expression)
protected boolean	isRefinedType(JvmIdentifiableElement element)
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.
protected void	markToBeInferred(XExpression expression)
protected void	mergeDeferredRunnables(ResolvedTypes parent)
protected void	mergeExpressionTypesIntoParent(ResolvedTypes parent)
protected void	mergeInto(ResolvedTypes parent)
protected void	mergeIntoParent()
protected void	mergeLinkingCandidatesIntoParent(ResolvedTypes parent)
protected void	mergePropagatedTypes(ResolvedTypes parent)
protected void	mergeQueuedDiagnostics(ResolvedTypes parent)
protected void	mergeRefinedTypes(ResolvedTypes parent)
protected void	mergeTypeParametersIntoParent(ResolvedTypes parent)
protected void	mergeTypesIntoParent(ResolvedTypes parent)
protected void	performMergeIntoParent()
protected TypeData	prepareMerge(TypeData typeData, ITypeReferenceOwner owner)
protected void	prepareMergeIntoParent()
void	reassignType(JvmIdentifiableElement identifiable, LightweightTypeReference reference)
protected void	refineExpectedType(XExpression receiver, ITypeExpectation refinedExpectation)
void	replaceDeclaredTypeParameters(List<JvmTypeParameter> typeParameters)

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

acceptCandidate, acceptHint, acceptType, acceptType, acceptUnboundTypeReference, addDeferredLogic, addDiagnostic, addExpressionScope, addNonRecursiveHints, addNonRecursiveHints, addNonRecursiveHints, appendContent, appendContent, appendListMapContent, basicGetDeclardTypeParameters, basicGetExpressionTypes, basicGetLinkingMap, basicGetPropagatedTypes, basicGetReassignedTypes, basicGetRefinedTypes, basicGetTypeParameterHints, basicGetTypeParameters, basicGetTypes, checkCanceled, clearDeferredLogic, closeBracket, copyBoundTypeArgument, createUnboundTypeReference, discardExpectedExceptions, doGetActualType, doGetActualType, doGetExpectedType, doGetReturnType, getActualType, getActualType, getActualTypeArguments, getAllHints, getAmbiguousLinkingCandidates, getConformanceFlags, getConstructor, getContextResourceSet, getDeclaredType, getExpectedReturnType, getExpectedType, getExpressionScope, getFeature, getFeatureScopeTracker, getFollowUpErrors, getLinkedFeature, getLinkedFeature, getLinkingCandidate, getLinkingCandidate, getMergedType, getMonitor, getReferenceOwner, getResolver, getReturnType, getServices, getSeverities, getThrownExceptions, getTypeData, getTypeData, hasExpressionScope, isResolved, isVoidReturnTypeAllowed, isVoidTypeAllowed, mergeTypeData, pushExpectedExceptions, pushExpectedExceptions, pushReassigningTypes, pushTypes, pushTypes, reassignTypeWithoutMerge, removeRecursiveTypeArguments, replacePreviousExpressionScope, resolveDependentTypeArguments, setPropagatedType, setRefinedType, setType, toMultiType, toOwnedReference, toString, withFlattenedReassignedTypes

Methods inherited from class java.lang.Object

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

Constructor Detail

StackedResolvedTypes

protected StackedResolvedTypes(ResolvedTypes parent)

Method Detail

clear

protected void clear()

Overrides:

clear in class ResolvedTypes

getParent

protected ResolvedTypes getParent()

mergeIntoParent

protected void mergeIntoParent()

prepareMergeIntoParent

protected void prepareMergeIntoParent()

performMergeIntoParent

protected void performMergeIntoParent()

mergeInto

protected void mergeInto(ResolvedTypes parent)

mergePropagatedTypes

protected void mergePropagatedTypes(ResolvedTypes parent)

mergeRefinedTypes

protected void mergeRefinedTypes(ResolvedTypes parent)

isPropagatedType

protected boolean isPropagatedType(XExpression expression)

Overrides:

isPropagatedType in class ResolvedTypes

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

Overrides:

isRefinedType in class ResolvedTypes

Parameters:

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

Returns:

true if the type was refined, false otherwise.

mergeQueuedDiagnostics

protected void mergeQueuedDiagnostics(ResolvedTypes parent)

mergeDeferredRunnables

protected void mergeDeferredRunnables(ResolvedTypes parent)

mergeExpressionTypesIntoParent

protected void mergeExpressionTypesIntoParent(ResolvedTypes parent)

prepareMerge

protected TypeData prepareMerge(TypeData typeData,
                    ITypeReferenceOwner owner)

mergeLinkingCandidatesIntoParent

protected void mergeLinkingCandidatesIntoParent(ResolvedTypes parent)

mergeTypesIntoParent

protected void mergeTypesIntoParent(ResolvedTypes parent)

mergeTypeParametersIntoParent

protected void mergeTypeParametersIntoParent(ResolvedTypes parent)

doIsResolved

protected boolean doIsResolved(Object handle)

Overrides:

doIsResolved in class ResolvedTypes

doGetTypeData

protected List<TypeData> doGetTypeData(XExpression expression)

Overrides:

doGetTypeData in class ResolvedTypes

doGetActualTypeNoDeclaration

protected LightweightTypeReference doGetActualTypeNoDeclaration(JvmIdentifiableElement identifiable,
                                                    boolean ignoreReassignedTypes)

Overrides:

doGetActualTypeNoDeclaration in class ResolvedTypes

isRefinedType

protected boolean isRefinedType(JvmIdentifiableElement element)

Overrides:

isRefinedType in class ResolvedTypes

doGetCandidate

protected IApplicableCandidate doGetCandidate(XExpression featureOrConstructorCall)

Overrides:

doGetCandidate in class ResolvedTypes

doGetLinkedFeature

protected JvmIdentifiableElement doGetLinkedFeature(XExpression featureOrConstructorCall)

Overrides:

doGetLinkedFeature in class ResolvedTypes

getExpectedExceptions

public List<LightweightTypeReference> getExpectedExceptions()

Overrides:

getExpectedExceptions in class ResolvedTypes

doGetDeclaredType

protected LightweightTypeReference doGetDeclaredType(JvmIdentifiableElement identifiable)

Overrides:

doGetDeclaredType in class ResolvedTypes

getDeclaredTypeParameters

public List<JvmTypeParameter> getDeclaredTypeParameters()

Overrides:

getDeclaredTypeParameters in class ResolvedTypes

addDeclaredTypeParameters

public void addDeclaredTypeParameters(List<JvmTypeParameter> typeParameters)

Overrides:

addDeclaredTypeParameters in class ResolvedTypes

replaceDeclaredTypeParameters

public void replaceDeclaredTypeParameters(List<JvmTypeParameter> typeParameters)

doGetActualTypeArguments

protected List<LightweightTypeReference> doGetActualTypeArguments(XExpression expression)

Overrides:

doGetActualTypeArguments in class ResolvedTypes

doGetFeature

protected IFeatureLinkingCandidate doGetFeature(XAbstractFeatureCall featureCall)

Overrides:

doGetFeature in class ResolvedTypes

doGetConstructor

protected IConstructorLinkingCandidate doGetConstructor(XConstructorCall constructorCall)

Overrides:

doGetConstructor in class ResolvedTypes

reassignType

public void reassignType(JvmIdentifiableElement identifiable,
                LightweightTypeReference reference)

Overrides:

reassignType in class ResolvedTypes

getQueuedDiagnostics

public List<AbstractDiagnostic> getQueuedDiagnostics()

Specified by:

getQueuedDiagnostics in interface IResolvedTypes

Overrides:

getQueuedDiagnostics in class ResolvedTypes

getDeferredLogic

public Collection<IAcceptor<? super IResolvedTypes>> getDeferredLogic()

Overrides:

getDeferredLogic in class ResolvedTypes

getUnboundTypeReference

protected UnboundTypeReference getUnboundTypeReference(Object handle)

Overrides:

getUnboundTypeReference in class ResolvedTypes

refineExpectedType

protected void refineExpectedType(XExpression receiver,
                      ITypeExpectation refinedExpectation)

Overrides:

refineExpectedType in class ResolvedTypes

getHints

protected List<LightweightBoundTypeArgument> getHints(Object handle)

Overrides:

getHints in class ResolvedTypes

getConformanceFlags

protected int getConformanceFlags(XExpression expression,
                      boolean recompute)

appendContent

protected void appendContent(StringBuilder result,
                 String indentation)

Overrides:

appendContent in class ResolvedTypes

getExpectedTypeForAssociatedExpression

protected LightweightTypeReference getExpectedTypeForAssociatedExpression(JvmMember member,
                                                              XExpression expression)

Specified by:

getExpectedTypeForAssociatedExpression in class ResolvedTypes

markToBeInferred

protected void markToBeInferred(XExpression expression)

Specified by:

markToBeInferred in class ResolvedTypes

getFlattenedReassignedTypes

protected Map<JvmIdentifiableElement,LightweightTypeReference> getFlattenedReassignedTypes()

Overrides:

getFlattenedReassignedTypes in class ResolvedTypes