org.eclipse.xtext.xbase.typesystem.internal

Class LogicalContainerAwareReentrantTypeResolver

java.lang.Object

org.eclipse.xtext.xbase.typesystem.internal.AbstractRootedReentrantTypeResolver

org.eclipse.xtext.xbase.typesystem.internal.DefaultReentrantTypeResolver

org.eclipse.xtext.xbase.typesystem.internal.LogicalContainerAwareReentrantTypeResolver

All Implemented Interfaces:

IReentrantTypeResolver

public class LogicalContainerAwareReentrantTypeResolver
extends DefaultReentrantTypeResolver

Author:

Sebastian Zarnekow - Initial contribution and API TODO JavaDoc, toString

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected static class	LogicalContainerAwareReentrantTypeResolver.AbstractDemandTypeReferenceProvider
static class	LogicalContainerAwareReentrantTypeResolver.AnyTypeReferenceProvider
class	LogicalContainerAwareReentrantTypeResolver.DemandTypeReferenceProvider
protected static class	LogicalContainerAwareReentrantTypeResolver.LocalVariableCapturerImpl

Field Summary

Fields

Modifier and Type	Field and Description
protected Set<org.eclipse.emf.ecore.EObject>	rootedInstances

Fields inherited from class org.eclipse.xtext.xbase.typesystem.internal.DefaultReentrantTypeResolver

allRootedExpressions

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

NULL

Constructor Summary

Constructors

Constructor and Description
LogicalContainerAwareReentrantTypeResolver()

Method Summary

Methods

Modifier and Type	Method and Description
protected void	_computeTypes(Map<JvmIdentifiableElement,ResolvedTypes> preparedResolvedTypes, ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, JvmConstructor constructor)
protected void	_computeTypes(Map<JvmIdentifiableElement,ResolvedTypes> preparedResolvedTypes, ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, JvmDeclaredType type)
protected void	_computeTypes(Map<JvmIdentifiableElement,ResolvedTypes> preparedResolvedTypes, ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, JvmField field)
protected void	_computeTypes(Map<JvmIdentifiableElement,ResolvedTypes> preparedResolvedTypes, ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, JvmOperation operation)
protected void	_doPrepare(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, JvmConstructor constructor, Map<JvmIdentifiableElement,ResolvedTypes> resolvedTypesByContext)
protected void	_doPrepare(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, JvmDeclaredType type, Map<JvmIdentifiableElement,ResolvedTypes> resolvedTypesByType)
protected void	_doPrepare(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, JvmField field, Map<JvmIdentifiableElement,ResolvedTypes> resolvedTypesByContext)
protected void	_doPrepare(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, JvmOperation operation, Map<JvmIdentifiableElement,ResolvedTypes> resolvedTypesByContext)
protected void	_recordExpressions(JvmDeclaredType type)
protected void	_recordExpressions(JvmExecutable executable)
protected void	_recordExpressions(JvmFeature feature)
protected IFeatureScopeSession	addExtensionFieldsToMemberSession(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, JvmDeclaredType type, JvmIdentifiableElement thisFeature, Set<String> seenNames, Set<JvmType> seenTypes)
protected void	addExtensionProviders(ITypeComputationState state, List<JvmFormalParameter> parameters)
protected IFeatureScopeSession	addExtensionsToMemberSession(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, JvmDeclaredType type)
protected IFeatureScopeSession	addThisAndSuper(IFeatureScopeSession session, ITypeReferenceOwner owner, JvmDeclaredType type)
protected IFeatureScopeSession	addThisAndSuper(IFeatureScopeSession session, ITypeReferenceOwner owner, JvmDeclaredType thisType, JvmTypeReference superType, boolean addNestedTypes)
protected IFeatureScopeSession	addThisTypeToStaticScope(IFeatureScopeSession session, JvmDeclaredType type)
protected void	clear()
protected void	computeAnnotationTypes(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, JvmAnnotationTarget annotable)
protected void	computeAnnotationTypes(ResolvedTypes resolvedTypes, IFeatureScopeSession sessions, JvmExecutable operation)
protected void	computeAnnotationTypes(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, List<JvmAnnotationReference> annotations)
protected void	computeLocalTypes(Map<JvmIdentifiableElement,ResolvedTypes> preparedResolvedTypes, ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, JvmFeature feature)
protected void	computeMemberTypes(Map<JvmIdentifiableElement,ResolvedTypes> preparedResolvedTypes, ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, JvmDeclaredType type)
protected void	computeTypes(Map<JvmIdentifiableElement,ResolvedTypes> preparedResolvedTypes, ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, org.eclipse.emf.ecore.EObject element)
protected void	computeTypes(ResolvedTypes resolvedTypes, IFeatureScopeSession session)
protected void	computeTypes(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, org.eclipse.emf.ecore.EObject element)
protected JvmTypeReference	createComputedTypeReference(Map<JvmIdentifiableElement,ResolvedTypes> resolvedTypesByContext, ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, JvmMember member, InferredTypeIndicator indicator, boolean returnType)
protected XAbstractFeatureCall	createExtensionProvider(JvmIdentifiableElement thisFeature, JvmField field)
protected AbstractReentrantTypeReferenceProvider	createTypeProvider(Map<JvmIdentifiableElement,ResolvedTypes> resolvedTypesByContext, ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, JvmMember member, boolean returnType)
protected AbstractReentrantTypeReferenceProvider	createTypeProvider(Map<JvmIdentifiableElement,ResolvedTypes> resolvedTypesByContext, ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, JvmMember member, XExpression expression, boolean returnType)
protected StackedResolvedTypes	declareTypeParameters(ResolvedTypes resolvedTypes, JvmIdentifiableElement declarator, Map<JvmIdentifiableElement,ResolvedTypes> resolvedTypesByContext)
protected void	doPrepare(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, JvmIdentifiableElement element, Map<JvmIdentifiableElement,ResolvedTypes> resolvedTypesByContext)
protected AnnotationLookup	getAnnotationLookup()
protected LogicalContainerAwareReentrantTypeResolver.AbstractDemandTypeReferenceProvider	getComputedTypeReference(JvmTypeReference knownType)
JvmTypeReference	getExtendedClass(JvmDeclaredType type)
protected Set<org.eclipse.emf.ecore.EObject>	getInferredElements(org.eclipse.emf.ecore.EObject element)
protected XExpression	getInferredFrom(JvmTypeReference typeReference) Returns the expression that will be used to infer the given type from.
protected ILogicalContainerProvider	getLogicalContainerProvider()
protected OverrideHelper	getOverrideHelper()
protected LightweightTypeReference	getReturnTypeOfOverriddenOperation(JvmOperation operation, ResolvedTypes resolvedTypes, IFeatureScopeSession session) Returns null if the given operation declares it's own return type or if it does not override another operation.
protected JvmType	getRootJvmType()
protected org.eclipse.emf.ecore.EObject	getSourceElement(org.eclipse.emf.ecore.EObject element)
protected IBatchTypeResolver	getTypeResolver()
protected boolean	isExtensionProvider(JvmAnnotationTarget annotatedElement)
protected boolean	isHandled(org.eclipse.emf.ecore.EObject context)
protected boolean	isHandled(JvmIdentifiableElement identifiableElement)
protected boolean	isHandled(XExpression expression)
protected boolean	isPartOfExpressionTree(org.eclipse.emf.ecore.EObject container) Returns true if the container can be nested within the expression tree.
protected boolean	isStatic(JvmIdentifiableElement declarator)
protected void	markComputing(JvmTypeReference knownType)
protected void	markToBeInferred(ResolvedTypes resolvedTypes, XExpression expression)
protected void	mergeChildTypes(ResolvedTypes childResolvedTypes)
protected Map<JvmIdentifiableElement,ResolvedTypes>	prepare(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession) Assign computed type references to the identifiable structural elements in the processed type.
protected void	prepareMembers(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, JvmDeclaredType type, Map<JvmIdentifiableElement,ResolvedTypes> resolvedTypesByType)
protected void	recordAnnotationExpressions(JvmAnnotationTarget annotable)
protected void	recordAnnotationExpressions(JvmExecutable executable)
protected void	recordAnnotationExpressions(List<JvmAnnotationReference> annotations)
protected void	recordExpressions(JvmIdentifiableElement element)
protected void	requestCapturedLocalVariables(JvmTypeReference toBeWrapped, JvmDeclaredType type, ResolvedTypes resolvedTypes, Map<JvmIdentifiableElement,ResolvedTypes> resolvedTypesByContext, IAcceptor<JvmTypeReference> result)
protected void	setAllRootedExpressions(Set<org.eclipse.emf.ecore.EObject> allRootedExpressions)
protected JvmTypeReference	toJavaCompliantTypeReference(LightweightTypeReference result, IFeatureScopeSession session)
protected void	unmarkComputing(JvmTypeReference knownType)

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

_computeTypes, createFeatureScopeTracker, createResolvedTypes, getBatchScopeProvider, getExpressionArgumentFactory, getFeatureScopes, getImplicitlyMessagePart, getInvalidWritableVariableAccessMessage, getIssueSeverities, getOperationCanceledManager, getRoot, getScopeProviderAccess, getServices, getTypeArgumentMerger, getTypeComputer, getXbaseFactory, initializeFrom, isDisallowedName, isDiscouragedName, isShadowingAllowed, reentrantResolve, resolve, setTypeComputer

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

toString

Methods inherited from class java.lang.Object

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

Field Detail

rootedInstances

protected Set<org.eclipse.emf.ecore.EObject> rootedInstances

Constructor Detail

LogicalContainerAwareReentrantTypeResolver

public LogicalContainerAwareReentrantTypeResolver()

Method Detail

getRootJvmType

protected JvmType getRootJvmType()

clear

protected void clear()

Overrides:

clear in class DefaultReentrantTypeResolver

setAllRootedExpressions

protected void setAllRootedExpressions(Set<org.eclipse.emf.ecore.EObject> allRootedExpressions)

Overrides:

setAllRootedExpressions in class DefaultReentrantTypeResolver

isHandled

protected boolean isHandled(JvmIdentifiableElement identifiableElement)

Overrides:

isHandled in class DefaultReentrantTypeResolver

isHandled

protected boolean isHandled(XExpression expression)

Overrides:

isHandled in class DefaultReentrantTypeResolver

isPartOfExpressionTree

protected boolean isPartOfExpressionTree(org.eclipse.emf.ecore.EObject container)

Returns true if the container can be nested within the expression tree. First and foremost that's true if the container itself is an expression. Other possible types are XCasePart, XCatchClause or XAnnotationElementValuePair. Clients may override.

isHandled

protected boolean isHandled(org.eclipse.emf.ecore.EObject context)

Overrides:

isHandled in class DefaultReentrantTypeResolver

prepare

protected Map<JvmIdentifiableElement,ResolvedTypes> prepare(ResolvedTypes resolvedTypes,
                                                IFeatureScopeSession featureScopeSession)

Assign computed type references to the identifiable structural elements in the processed type.

Returns:

the stacked resolved types that shall be used in the computation.

recordExpressions

protected void recordExpressions(JvmIdentifiableElement element)

_recordExpressions

protected void _recordExpressions(JvmFeature feature)

_recordExpressions

protected void _recordExpressions(JvmExecutable executable)

_recordExpressions

protected void _recordExpressions(JvmDeclaredType type)

doPrepare

protected void doPrepare(ResolvedTypes resolvedTypes,
             IFeatureScopeSession featureScopeSession,
             JvmIdentifiableElement element,
             Map<JvmIdentifiableElement,ResolvedTypes> resolvedTypesByContext)

_doPrepare

protected void _doPrepare(ResolvedTypes resolvedTypes,
              IFeatureScopeSession featureScopeSession,
              JvmDeclaredType type,
              Map<JvmIdentifiableElement,ResolvedTypes> resolvedTypesByType)

prepareMembers

protected void prepareMembers(ResolvedTypes resolvedTypes,
                  IFeatureScopeSession featureScopeSession,
                  JvmDeclaredType type,
                  Map<JvmIdentifiableElement,ResolvedTypes> resolvedTypesByType)

declareTypeParameters

protected StackedResolvedTypes declareTypeParameters(ResolvedTypes resolvedTypes,
                                         JvmIdentifiableElement declarator,
                                         Map<JvmIdentifiableElement,ResolvedTypes> resolvedTypesByContext)

isStatic

protected boolean isStatic(JvmIdentifiableElement declarator)

_doPrepare

protected void _doPrepare(ResolvedTypes resolvedTypes,
              IFeatureScopeSession featureScopeSession,
              JvmField field,
              Map<JvmIdentifiableElement,ResolvedTypes> resolvedTypesByContext)

getComputedTypeReference

protected LogicalContainerAwareReentrantTypeResolver.AbstractDemandTypeReferenceProvider getComputedTypeReference(JvmTypeReference knownType)

markComputing

protected void markComputing(JvmTypeReference knownType)

unmarkComputing

protected void unmarkComputing(JvmTypeReference knownType)

_doPrepare

protected void _doPrepare(ResolvedTypes resolvedTypes,
              IFeatureScopeSession featureScopeSession,
              JvmConstructor constructor,
              Map<JvmIdentifiableElement,ResolvedTypes> resolvedTypesByContext)

recordAnnotationExpressions

protected void recordAnnotationExpressions(JvmExecutable executable)

recordAnnotationExpressions

protected void recordAnnotationExpressions(JvmAnnotationTarget annotable)

recordAnnotationExpressions

protected void recordAnnotationExpressions(List<JvmAnnotationReference> annotations)

_doPrepare

protected void _doPrepare(ResolvedTypes resolvedTypes,
              IFeatureScopeSession featureScopeSession,
              JvmOperation operation,
              Map<JvmIdentifiableElement,ResolvedTypes> resolvedTypesByContext)

createComputedTypeReference

protected JvmTypeReference createComputedTypeReference(Map<JvmIdentifiableElement,ResolvedTypes> resolvedTypesByContext,
                                           ResolvedTypes resolvedTypes,
                                           IFeatureScopeSession featureScopeSession,
                                           JvmMember member,
                                           InferredTypeIndicator indicator,
                                           boolean returnType)

createTypeProvider

protected AbstractReentrantTypeReferenceProvider createTypeProvider(Map<JvmIdentifiableElement,ResolvedTypes> resolvedTypesByContext,
                                                        ResolvedTypes resolvedTypes,
                                                        IFeatureScopeSession featureScopeSession,
                                                        JvmMember member,
                                                        boolean returnType)

createTypeProvider

protected AbstractReentrantTypeReferenceProvider createTypeProvider(Map<JvmIdentifiableElement,ResolvedTypes> resolvedTypesByContext,
                                                        ResolvedTypes resolvedTypes,
                                                        IFeatureScopeSession featureScopeSession,
                                                        JvmMember member,
                                                        XExpression expression,
                                                        boolean returnType)

markToBeInferred

protected void markToBeInferred(ResolvedTypes resolvedTypes,
                    XExpression expression)

getInferredFrom

protected XExpression getInferredFrom(JvmTypeReference typeReference)

Returns the expression that will be used to infer the given type from. If the type is already resolved, the result will be null. If no expression can be determined, null is also returned.

computeTypes

protected void computeTypes(ResolvedTypes resolvedTypes,
                IFeatureScopeSession session)

Overrides:

computeTypes in class DefaultReentrantTypeResolver

computeTypes

protected void computeTypes(Map<JvmIdentifiableElement,ResolvedTypes> preparedResolvedTypes,
                ResolvedTypes resolvedTypes,
                IFeatureScopeSession featureScopeSession,
                org.eclipse.emf.ecore.EObject element)

computeTypes

protected void computeTypes(ResolvedTypes resolvedTypes,
                IFeatureScopeSession featureScopeSession,
                org.eclipse.emf.ecore.EObject element)

Overrides:

computeTypes in class DefaultReentrantTypeResolver

_computeTypes

protected void _computeTypes(Map<JvmIdentifiableElement,ResolvedTypes> preparedResolvedTypes,
                 ResolvedTypes resolvedTypes,
                 IFeatureScopeSession featureScopeSession,
                 JvmField field)

_computeTypes

protected void _computeTypes(Map<JvmIdentifiableElement,ResolvedTypes> preparedResolvedTypes,
                 ResolvedTypes resolvedTypes,
                 IFeatureScopeSession featureScopeSession,
                 JvmConstructor constructor)

computeLocalTypes

protected void computeLocalTypes(Map<JvmIdentifiableElement,ResolvedTypes> preparedResolvedTypes,
                     ResolvedTypes resolvedTypes,
                     IFeatureScopeSession featureScopeSession,
                     JvmFeature feature)

addExtensionProviders

protected void addExtensionProviders(ITypeComputationState state,
                         List<JvmFormalParameter> parameters)

_computeTypes

protected void _computeTypes(Map<JvmIdentifiableElement,ResolvedTypes> preparedResolvedTypes,
                 ResolvedTypes resolvedTypes,
                 IFeatureScopeSession featureScopeSession,
                 JvmOperation operation)

computeAnnotationTypes

protected void computeAnnotationTypes(ResolvedTypes resolvedTypes,
                          IFeatureScopeSession sessions,
                          JvmExecutable operation)

mergeChildTypes

protected void mergeChildTypes(ResolvedTypes childResolvedTypes)

computeAnnotationTypes

protected void computeAnnotationTypes(ResolvedTypes resolvedTypes,
                          IFeatureScopeSession featureScopeSession,
                          JvmAnnotationTarget annotable)

computeAnnotationTypes

protected void computeAnnotationTypes(ResolvedTypes resolvedTypes,
                          IFeatureScopeSession featureScopeSession,
                          List<JvmAnnotationReference> annotations)

_computeTypes

protected void _computeTypes(Map<JvmIdentifiableElement,ResolvedTypes> preparedResolvedTypes,
                 ResolvedTypes resolvedTypes,
                 IFeatureScopeSession featureScopeSession,
                 JvmDeclaredType type)

computeMemberTypes

protected void computeMemberTypes(Map<JvmIdentifiableElement,ResolvedTypes> preparedResolvedTypes,
                      ResolvedTypes resolvedTypes,
                      IFeatureScopeSession featureScopeSession,
                      JvmDeclaredType type)

addThisAndSuper

protected IFeatureScopeSession addThisAndSuper(IFeatureScopeSession session,
                                   ITypeReferenceOwner owner,
                                   JvmDeclaredType type)

addThisAndSuper

protected IFeatureScopeSession addThisAndSuper(IFeatureScopeSession session,
                                   ITypeReferenceOwner owner,
                                   JvmDeclaredType thisType,
                                   JvmTypeReference superType,
                                   boolean addNestedTypes)

addThisTypeToStaticScope

protected IFeatureScopeSession addThisTypeToStaticScope(IFeatureScopeSession session,
                                            JvmDeclaredType type)

getExtendedClass

public JvmTypeReference getExtendedClass(JvmDeclaredType type)

addExtensionsToMemberSession

protected IFeatureScopeSession addExtensionsToMemberSession(ResolvedTypes resolvedTypes,
                                                IFeatureScopeSession featureScopeSession,
                                                JvmDeclaredType type)

addExtensionFieldsToMemberSession

protected IFeatureScopeSession addExtensionFieldsToMemberSession(ResolvedTypes resolvedTypes,
                                                     IFeatureScopeSession featureScopeSession,
                                                     JvmDeclaredType type,
                                                     JvmIdentifiableElement thisFeature,
                                                     Set<String> seenNames,
                                                     Set<JvmType> seenTypes)

createExtensionProvider

protected XAbstractFeatureCall createExtensionProvider(JvmIdentifiableElement thisFeature,
                                           JvmField field)

isExtensionProvider

protected boolean isExtensionProvider(JvmAnnotationTarget annotatedElement)

getAnnotationLookup

protected AnnotationLookup getAnnotationLookup()

getLogicalContainerProvider

protected ILogicalContainerProvider getLogicalContainerProvider()

getTypeResolver

protected IBatchTypeResolver getTypeResolver()

getReturnTypeOfOverriddenOperation

protected LightweightTypeReference getReturnTypeOfOverriddenOperation(JvmOperation operation,
                                                          ResolvedTypes resolvedTypes,
                                                          IFeatureScopeSession session)

Returns null if the given operation declares it's own return type or if it does not override another operation.

getOverrideHelper

protected OverrideHelper getOverrideHelper()

getSourceElement

protected org.eclipse.emf.ecore.EObject getSourceElement(org.eclipse.emf.ecore.EObject element)

Overrides:

getSourceElement in class DefaultReentrantTypeResolver

getInferredElements

protected Set<org.eclipse.emf.ecore.EObject> getInferredElements(org.eclipse.emf.ecore.EObject element)

toJavaCompliantTypeReference

protected JvmTypeReference toJavaCompliantTypeReference(LightweightTypeReference result,
                                            IFeatureScopeSession session)

requestCapturedLocalVariables

protected void requestCapturedLocalVariables(JvmTypeReference toBeWrapped,
                                 JvmDeclaredType type,
                                 ResolvedTypes resolvedTypes,
                                 Map<JvmIdentifiableElement,ResolvedTypes> resolvedTypesByContext,
                                 IAcceptor<JvmTypeReference> result)