org.eclipse.xtext.xbase.typesystem.internal

Class ReassigningStackedResolvedTypes

java.lang.Object

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

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

org.eclipse.xtext.xbase.typesystem.internal.ReassigningStackedResolvedTypes

All Implemented Interfaces:

IResolvedTypes

public class ReassigningStackedResolvedTypes
extends StackedResolvedTypes

Author:

Sebastian Zarnekow - Initial contribution and API TODO JavaDoc, toString - delegates to parent except for the reassigned types

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

Method Summary

Methods

Modifier and Type	Method and Description
protected void	acceptCandidate(XExpression expression, IApplicableCandidate candidate)
void	acceptHint(Object handle, LightweightBoundTypeArgument boundTypeArgument)
protected void	acceptType(XExpression expression, TypeData typeData)
protected void	acceptUnboundTypeReference(Object handle, UnboundTypeReference reference)
protected void	addDeferredLogic(IAcceptor<? super IResolvedTypes> code)
void	addDiagnostic(AbstractDiagnostic diagnostic)
protected UnboundTypeReference	createUnboundTypeReference(XExpression expression, JvmTypeParameter type)
List<LightweightBoundTypeArgument>	getAllHints(Object handle)
ITypeReferenceOwner	getReferenceOwner()
protected void	mergeInto(ResolvedTypes parent)
protected void	mergeIntoParent()
protected void	performMergeIntoParent()
protected void	prepareMergeIntoParent()
protected void	setPropagatedType(XExpression expression)
protected void	setRefinedType(XExpression expression)
void	setType(JvmIdentifiableElement identifiable, LightweightTypeReference reference)

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

addDeclaredTypeParameters, appendContent, clear, doGetActualTypeArguments, doGetActualTypeNoDeclaration, doGetCandidate, doGetConstructor, doGetDeclaredType, doGetFeature, doGetLinkedFeature, doGetTypeData, doIsResolved, getConformanceFlags, getDeclaredTypeParameters, getDeferredLogic, getExpectedExceptions, getExpectedTypeForAssociatedExpression, getFlattenedReassignedTypes, getHints, getParent, getQueuedDiagnostics, getUnboundTypeReference, isPropagatedType, isRefinedType, isRefinedType, markToBeInferred, mergeDeferredRunnables, mergeExpressionTypesIntoParent, mergeLinkingCandidatesIntoParent, mergePropagatedTypes, mergeQueuedDiagnostics, mergeRefinedTypes, mergeTypeParametersIntoParent, mergeTypesIntoParent, prepareMerge, reassignType, refineExpectedType, replaceDeclaredTypeParameters

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

ReassigningStackedResolvedTypes

protected ReassigningStackedResolvedTypes(ResolvedTypes parent)

Method Detail

acceptCandidate

protected void acceptCandidate(XExpression expression,
                   IApplicableCandidate candidate)

Overrides:

acceptCandidate in class ResolvedTypes

getReferenceOwner

public ITypeReferenceOwner getReferenceOwner()

Overrides:

getReferenceOwner in class ResolvedTypes

acceptType

protected void acceptType(XExpression expression,
              TypeData typeData)

Overrides:

acceptType in class ResolvedTypes

setPropagatedType

protected void setPropagatedType(XExpression expression)

Overrides:

setPropagatedType in class ResolvedTypes

setRefinedType

protected void setRefinedType(XExpression expression)

Overrides:

setRefinedType in class ResolvedTypes

setType

public void setType(JvmIdentifiableElement identifiable,
           LightweightTypeReference reference)

Overrides:

setType in class ResolvedTypes

acceptHint

public void acceptHint(Object handle,
              LightweightBoundTypeArgument boundTypeArgument)

Overrides:

acceptHint in class ResolvedTypes

acceptUnboundTypeReference

protected void acceptUnboundTypeReference(Object handle,
                              UnboundTypeReference reference)

Overrides:

acceptUnboundTypeReference in class ResolvedTypes

addDiagnostic

public void addDiagnostic(AbstractDiagnostic diagnostic)

Overrides:

addDiagnostic in class ResolvedTypes

addDeferredLogic

protected void addDeferredLogic(IAcceptor<? super IResolvedTypes> code)

Overrides:

addDeferredLogic in class ResolvedTypes

getAllHints

public List<LightweightBoundTypeArgument> getAllHints(Object handle)

Overrides:

getAllHints in class ResolvedTypes

mergeInto

protected void mergeInto(ResolvedTypes parent)

Overrides:

mergeInto in class StackedResolvedTypes

createUnboundTypeReference

protected UnboundTypeReference createUnboundTypeReference(XExpression expression,
                                              JvmTypeParameter type)

Overrides:

createUnboundTypeReference in class ResolvedTypes

mergeIntoParent

protected void mergeIntoParent()

Overrides:

mergeIntoParent in class StackedResolvedTypes

performMergeIntoParent

protected void performMergeIntoParent()

Overrides:

performMergeIntoParent in class StackedResolvedTypes

prepareMergeIntoParent

protected void prepareMergeIntoParent()

Overrides:

prepareMergeIntoParent in class StackedResolvedTypes