org.eclipse.xtext.xbase.typesystem.internal

Class DefaultReentrantTypeResolver

java.lang.Object

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

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

All Implemented Interfaces:

IReentrantTypeResolver

Direct Known Subclasses:

LogicalContainerAwareReentrantTypeResolver

public class DefaultReentrantTypeResolver
extends AbstractRootedReentrantTypeResolver

Author:

Sebastian Zarnekow - Initial contribution and API TODO JavaDoc, toString

Field Summary

Fields

Modifier and Type	Field and Description
protected Set<org.eclipse.emf.ecore.EObject>	allRootedExpressions A set of all root expressions that have been processed so far.

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

NULL

Constructor Summary

Constructors

Constructor and Description
DefaultReentrantTypeResolver()

Method Summary

Methods

Modifier and Type	Method and Description
protected void	_computeTypes(ResolvedTypes resolvedTypes, IFeatureScopeSession session, XExpression expression)
protected void	clear()
protected void	computeTypes(ResolvedTypes resolvedTypes, IFeatureScopeSession session)
protected void	computeTypes(ResolvedTypes resolvedTypes, IFeatureScopeSession session, org.eclipse.emf.ecore.EObject element)
protected IFeatureScopeTracker	createFeatureScopeTracker()
protected RootResolvedTypes	createResolvedTypes(CancelIndicator monitor)
protected IBatchScopeProvider	getBatchScopeProvider()
protected ExpressionArgumentFactory	getExpressionArgumentFactory()
protected FeatureScopes	getFeatureScopes()
protected String	getImplicitlyMessagePart(XAbstractFeatureCall featureCall)
protected String	getInvalidWritableVariableAccessMessage(XVariableDeclaration variable, XAbstractFeatureCall featureCall, IResolvedTypes resolvedTypes) Provide the error message for mutable variables that may not be captured in lambdas.
protected IssueSeverities	getIssueSeverities()
OperationCanceledManager	getOperationCanceledManager()
protected org.eclipse.emf.ecore.EObject	getRoot()
protected ScopeProviderAccess	getScopeProviderAccess()
protected CommonTypeComputationServices	getServices()
protected org.eclipse.emf.ecore.EObject	getSourceElement(org.eclipse.emf.ecore.EObject element)
protected BoundTypeArgumentMerger	getTypeArgumentMerger()
protected ITypeComputer	getTypeComputer()
protected XbaseFactory	getXbaseFactory()
void	initializeFrom(org.eclipse.emf.ecore.EObject root)
protected boolean	isDisallowedName(QualifiedName name)
protected boolean	isDiscouragedName(QualifiedName name)
protected boolean	isHandled(org.eclipse.emf.ecore.EObject context)
protected boolean	isHandled(JvmIdentifiableElement identifiableElement)
protected boolean	isHandled(XExpression expression)
protected boolean	isShadowingAllowed(QualifiedName name)
IResolvedTypes	reentrantResolve(CancelIndicator monitor)
protected IResolvedTypes	resolve(CancelIndicator monitor)
protected void	setAllRootedExpressions(Set<org.eclipse.emf.ecore.EObject> allRootedExpressions)
protected void	setTypeComputer(ITypeComputer typeComputer)

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

allRootedExpressions

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

A set of all root expressions that have been processed so far. May be shared among multiple rooted type resolvers.

Constructor Detail

DefaultReentrantTypeResolver

public DefaultReentrantTypeResolver()

Method Detail

setAllRootedExpressions

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

Specified by:

setAllRootedExpressions in class AbstractRootedReentrantTypeResolver

initializeFrom

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

getRoot

protected final org.eclipse.emf.ecore.EObject getRoot()

Specified by:

getRoot in class AbstractRootedReentrantTypeResolver

isHandled

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

Specified by:

isHandled in class AbstractRootedReentrantTypeResolver

isHandled

protected boolean isHandled(XExpression expression)

Specified by:

isHandled in class AbstractRootedReentrantTypeResolver

isHandled

protected boolean isHandled(JvmIdentifiableElement identifiableElement)

Specified by:

isHandled in class AbstractRootedReentrantTypeResolver

getIssueSeverities

protected IssueSeverities getIssueSeverities()

reentrantResolve

public IResolvedTypes reentrantResolve(CancelIndicator monitor)

clear

protected void clear()

resolve

protected IResolvedTypes resolve(CancelIndicator monitor)

createResolvedTypes

protected RootResolvedTypes createResolvedTypes(CancelIndicator monitor)

createFeatureScopeTracker

protected IFeatureScopeTracker createFeatureScopeTracker()

computeTypes

protected void computeTypes(ResolvedTypes resolvedTypes,
                IFeatureScopeSession session)

computeTypes

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

_computeTypes

protected void _computeTypes(ResolvedTypes resolvedTypes,
                 IFeatureScopeSession session,
                 XExpression expression)

getInvalidWritableVariableAccessMessage

protected String getInvalidWritableVariableAccessMessage(XVariableDeclaration variable,
                                             XAbstractFeatureCall featureCall,
                                             IResolvedTypes resolvedTypes)

Provide the error message for mutable variables that may not be captured in lambdas.

Parameters:

variable - the writable variable declaration

featureCall - the reference to the variable

resolvedTypes - type information

getImplicitlyMessagePart

protected String getImplicitlyMessagePart(XAbstractFeatureCall featureCall)

isShadowingAllowed

protected boolean isShadowingAllowed(QualifiedName name)

isDisallowedName

protected boolean isDisallowedName(QualifiedName name)

isDiscouragedName

protected boolean isDiscouragedName(QualifiedName name)

getTypeComputer

protected ITypeComputer getTypeComputer()

setTypeComputer

protected void setTypeComputer(ITypeComputer typeComputer)

getScopeProviderAccess

protected ScopeProviderAccess getScopeProviderAccess()

getBatchScopeProvider

protected IBatchScopeProvider getBatchScopeProvider()

getExpressionArgumentFactory

protected ExpressionArgumentFactory getExpressionArgumentFactory()

getServices

protected CommonTypeComputationServices getServices()

getTypeArgumentMerger

protected BoundTypeArgumentMerger getTypeArgumentMerger()

getSourceElement

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

getXbaseFactory

protected XbaseFactory getXbaseFactory()

getFeatureScopes

protected FeatureScopes getFeatureScopes()

getOperationCanceledManager

public OperationCanceledManager getOperationCanceledManager()