Uses of Interface
org.eclipse.xtext.xbase.typesystem.IResolvedTypes

Packages that use IResolvedTypes

Package	Description
org.eclipse.xtext.xbase.compiler
org.eclipse.xtext.xbase.controlflow
org.eclipse.xtext.xbase.scoping.batch
org.eclipse.xtext.xbase.typesystem	This package is the entry point for clients of the Xbase type inference.
org.eclipse.xtext.xbase.typesystem.computation	This package contains the primary hooks for the actual type computation in Xbase as well as their respective base implementations.
org.eclipse.xtext.xbase.typesystem.internal
org.eclipse.xtext.xbase.typesystem.override
org.eclipse.xtext.xbase.typesystem.util
org.eclipse.xtext.xbase.util

Uses of IResolvedTypes in org.eclipse.xtext.xbase.compiler

Methods in org.eclipse.xtext.xbase.compiler that return IResolvedTypes

Modifier and Type	Method and Description
protected IResolvedTypes	AbstractXbaseCompiler.getResolvedTypes(org.eclipse.emf.ecore.EObject obj)

Uses of IResolvedTypes in org.eclipse.xtext.xbase.controlflow

Methods in org.eclipse.xtext.xbase.controlflow that return IResolvedTypes

Modifier and Type	Method and Description
IResolvedTypes	EvaluationContext.getResolvedTypes()

Methods in org.eclipse.xtext.xbase.controlflow with parameters of type IResolvedTypes

Modifier and Type	Method and Description
void	EvaluationContext.addResolvedTypes(org.eclipse.emf.ecore.resource.Resource resource, IResolvedTypes resolvedTypes)

Uses of IResolvedTypes in org.eclipse.xtext.xbase.scoping.batch

Methods in org.eclipse.xtext.xbase.scoping.batch with parameters of type IResolvedTypes

Modifier and Type	Method and Description
protected IScope	FeatureScopes.createConstructorDelegates(org.eclipse.emf.ecore.EObject context, IScope parent, IFeatureScopeSession session, IResolvedTypes resolvedTypes)
IScope	ConstructorScopes.createConstructorScope(org.eclipse.emf.ecore.EObject context, org.eclipse.emf.ecore.EReference reference, IFeatureScopeSession session, IResolvedTypes resolvedTypes) Creates the constructor scope for XConstructorCall.
protected IScope	AbstractFeatureScopeSession.createConstructorScope(org.eclipse.emf.ecore.EObject context, org.eclipse.emf.ecore.EReference reference, IResolvedTypes resolvedTypes)
protected IScope	FeatureScopes.createDynamicExtensionsScope(QualifiedName implicitFirstArgumentName, org.eclipse.emf.ecore.EObject featureCall, IFeatureScopeSession captureLayer, IFeatureScopeSession session, IResolvedTypes resolvedTypes, IScope parent, boolean all)
protected IScope	FeatureScopes.createDynamicExtensionsScope(QualifiedName implicitFirstArgumentName, IEObjectDescription firstArgumentDescription, org.eclipse.emf.ecore.EObject featureCall, IFeatureScopeSession captureLayer, IFeatureScopeSession session, IResolvedTypes resolvedTypes, IScope parent)
protected IScope	FeatureScopes.createDynamicExtensionsScope(XExpression firstArgument, LightweightTypeReference firstArgumentType, org.eclipse.emf.ecore.EObject featureCall, IScope parent, IFeatureScopeSession captureLayer, IFeatureScopeSession session, IResolvedTypes resolvedTypes)
protected IScope	FeatureScopes.createDynamicExtensionsScope(XExpression firstArgument, LightweightTypeReference firstArgumentType, org.eclipse.emf.ecore.EObject featureCall, IScope parent, IFeatureScopeSession session, IResolvedTypes resolvedTypes)
IScope	FeatureScopes.createFeatureCallScope(org.eclipse.emf.ecore.EObject context, org.eclipse.emf.ecore.EReference reference, IFeatureScopeSession session, IResolvedTypes resolvedTypes) creates the feature scope for XAbstractFeatureCall, including the local variables in case it is a feature call without receiver (XFeatureCall).
protected IScope	AbstractFeatureScopeSession.createFeatureCallScope(org.eclipse.emf.ecore.EObject context, org.eclipse.emf.ecore.EReference reference, IResolvedTypes resolvedTypes)
IScope	FeatureScopes.createFeatureCallScopeForReceiver(XExpression featureCall, XExpression receiver, IFeatureScopeSession session, IResolvedTypes resolvedTypes) This method serves as an entry point for the content assist scoping for features.
protected IScope	FeatureScopes.createImplicitExtensionScope(QualifiedName implicitName, org.eclipse.emf.ecore.EObject featureCall, IFeatureScopeSession session, IResolvedTypes resolvedTypes, IScope parent)
protected IScope	FeatureScopes.createImplicitFeatureCallAndLocalVariableScope(org.eclipse.emf.ecore.EObject context, IScope parent, IFeatureScopeSession session, IResolvedTypes resolvedTypes)
protected IScope	FeatureScopes.createImplicitFeatureCallScope(org.eclipse.emf.ecore.EObject featureCall, IScope parent, IFeatureScopeSession session, IResolvedTypes resolvedTypes)
protected IScope	FeatureScopes.createImplicitFeatureCallScope(QualifiedName implicitName, org.eclipse.emf.ecore.EObject featureCall, IFeatureScopeSession session, IResolvedTypes resolvedTypes, IScope parent)
protected IScope	FeatureScopes.createImplicitStaticScope(QualifiedName implicitName, XAbstractFeatureCall featureCall, IFeatureScopeSession session, IResolvedTypes resolvedTypes, IScope parent)
protected IScope	FeatureScopes.createLocalVariableScope(org.eclipse.emf.ecore.EObject featureCall, IScope parent, IFeatureScopeSession session, IResolvedTypes resolvedTypes) Creates a scope for the local variables that have been registered in the given session.
IScope	FeatureScopes.createSimpleFeatureCallScope(org.eclipse.emf.ecore.EObject context, IFeatureScopeSession session, IResolvedTypes resolvedTypes) This method serves as an entry point for the content assist scoping for simple feature calls.
protected IScope	FeatureScopes.createStaticExtensionsScope(XExpression receiver, LightweightTypeReference receiverType, org.eclipse.emf.ecore.EObject featureCall, IScope parent, IFeatureScopeSession session, IResolvedTypes resolvedTypes)
protected IScope	FeatureScopes.createStaticScope(XAbstractFeatureCall featureCall, XExpression receiver, LightweightTypeReference receiverType, IScope parent, IFeatureScopeSession session, IResolvedTypes resolvedTypes)
protected IScope	FeatureScopes.createTypeLiteralScope(org.eclipse.emf.ecore.EObject featureCall, QualifiedName parentSegments, IScope parent, IFeatureScopeSession session, IResolvedTypes resolvedTypes) Create a scope that returns types, e.g. for member feature calls that are actually type references like java.lang.String.
protected IScope	FeatureScopes.createTypeLiteralScope(XExpression featureCall, XExpression receiver, IFeatureScopeSession session, IResolvedTypes resolvedTypes, LightweightTypeReference receiverType, JvmIdentifiableElement linkedReceiver)
IScope	TypeScopes.createTypeScope(org.eclipse.emf.ecore.EObject context, org.eclipse.emf.ecore.EReference reference, IFeatureScopeSession session, IResolvedTypes resolvedTypes)
protected IScope	AbstractFeatureScopeSession.createTypeScope(org.eclipse.emf.ecore.EObject context, org.eclipse.emf.ecore.EReference reference, IResolvedTypes resolvedTypes)
IScope	IFeatureScopeSession.getScope(org.eclipse.emf.ecore.EObject context, org.eclipse.emf.ecore.EReference reference, IResolvedTypes types) Return the scope for the given context and reference based on the known resolved types.
IScope	AbstractFeatureScopeSession.getScope(org.eclipse.emf.ecore.EObject context, org.eclipse.emf.ecore.EReference reference, IResolvedTypes types)

Constructors in org.eclipse.xtext.xbase.scoping.batch with parameters of type IResolvedTypes

Constructor and Description
TypeLiteralScope(IScope parent, IFeatureScopeSession session, XAbstractFeatureCall featureCall, IResolvedTypes resolvedTypes, QualifiedName parentSegments)

Uses of IResolvedTypes in org.eclipse.xtext.xbase.typesystem

Classes in org.eclipse.xtext.xbase.typesystem that implement IResolvedTypes

Modifier and Type	Class and Description
static class	IResolvedTypes.NullResolvedTypes

Fields in org.eclipse.xtext.xbase.typesystem declared as IResolvedTypes

Modifier and Type	Field and Description
static IResolvedTypes	IResolvedTypes.NULL

Methods in org.eclipse.xtext.xbase.typesystem that return IResolvedTypes

Modifier and Type	Method and Description
IResolvedTypes	IBatchTypeResolver.resolveTypes(org.eclipse.emf.ecore.EObject object) Return a handle to resolved types of expressions that are related to the given object.
IResolvedTypes	IBatchTypeResolver.resolveTypes(org.eclipse.emf.ecore.EObject object, CancelIndicator monitor) Return a handle to resolved types of expressions that are related to the given object.
IResolvedTypes	IBatchTypeResolver.resolveTypes(org.eclipse.emf.ecore.resource.Resource resource) Return a handle to resolved types of expressions that are related to the given resource.
IResolvedTypes	IBatchTypeResolver.resolveTypes(org.eclipse.emf.ecore.resource.Resource resource, CancelIndicator monitor) Return a handle to resolved types of expressions that are related to the given resource.

Uses of IResolvedTypes in org.eclipse.xtext.xbase.typesystem.computation

Methods in org.eclipse.xtext.xbase.typesystem.computation with parameters of type IResolvedTypes

Modifier and Type	Method and Description
void	ILinkingCandidate.applyToModel(IResolvedTypes resolvedTypes) Injects the resolved feature into the model with the same semantics as the implicit resolve of EMF.
void	IApplicableCandidate.applyToModel(IResolvedTypes resolvedTypes) Injects the resolved information into the model.
void	AbstractClosureTypeHelper.applyToModel(IResolvedTypes resolvedTypes)

Uses of IResolvedTypes in org.eclipse.xtext.xbase.typesystem.internal

Classes in org.eclipse.xtext.xbase.typesystem.internal that implement IResolvedTypes

Modifier and Type	Class and Description
protected static class	CachingBatchTypeResolver.LazyResolvedTypes
class	CompoundReentrantTypeResolver
class	EmptyResolvedTypes
class	ExpectedExceptionsStackedResolvedTypes
class	ExpressionAwareStackedResolvedTypes
class	ForwardingResolvedTypes
class	ReassigningStackedResolvedTypes
class	ResolvedTypes
class	RootResolvedTypes The root resolved types are the effective result of a type computation.
class	StackedResolvedTypes

Methods in org.eclipse.xtext.xbase.typesystem.internal that return IResolvedTypes

Modifier and Type	Method and Description
protected abstract IResolvedTypes	ForwardingResolvedTypes.delegate()
protected IResolvedTypes	EmptyResolvedTypes.delegate()
protected IResolvedTypes	CachingBatchTypeResolver.LazyResolvedTypes.delegate()
protected IResolvedTypes	DefaultBatchTypeResolver.doResolveTypes(org.eclipse.emf.ecore.EObject object, CancelIndicator monitor)
protected IResolvedTypes	CachingBatchTypeResolver.doResolveTypes(org.eclipse.emf.ecore.EObject object, CancelIndicator monitor)
protected abstract IResolvedTypes	AbstractBatchTypeResolver.doResolveTypes(org.eclipse.emf.ecore.EObject object, CancelIndicator monitor)
IResolvedTypes	CompoundReentrantTypeResolver.get(int index)
protected IResolvedTypes	CompoundReentrantTypeResolver.getDelegate(org.eclipse.emf.ecore.EObject object)
protected IResolvedTypes	CompoundReentrantTypeResolver.getDelegate(int idx)
protected IResolvedTypes	CompoundReentrantTypeResolver.getDelegate(XExpression expression)
IResolvedTypes	TypeAwareLinkingDiagnosticContext.getResolvedTypes()
IResolvedTypes	IReentrantTypeResolver.reentrantResolve(CancelIndicator monitor)
IResolvedTypes	DefaultReentrantTypeResolver.reentrantResolve(CancelIndicator monitor)
IResolvedTypes	CompoundReentrantTypeResolver.reentrantResolve(CancelIndicator monitor)
protected IResolvedTypes	DefaultReentrantTypeResolver.resolve(CancelIndicator monitor)
protected IResolvedTypes	CachingBatchTypeResolver.LazyResolvedTypes.resolveTypes(CancelIndicator monitor)
IResolvedTypes	AbstractBatchTypeResolver.resolveTypes(org.eclipse.emf.ecore.EObject object)
IResolvedTypes	AbstractBatchTypeResolver.resolveTypes(org.eclipse.emf.ecore.EObject object, CancelIndicator monitor)
IResolvedTypes	AbstractBatchTypeResolver.resolveTypes(org.eclipse.emf.ecore.resource.Resource resource)
IResolvedTypes	AbstractBatchTypeResolver.resolveTypes(org.eclipse.emf.ecore.resource.Resource resource, CancelIndicator monitor)
protected IResolvedTypes	ResolvedTypes.withFlattenedReassignedTypes()

Methods in org.eclipse.xtext.xbase.typesystem.internal that return types with arguments of type IResolvedTypes

Modifier and Type	Method and Description
Collection<IAcceptor<? super IResolvedTypes>>	StackedResolvedTypes.getDeferredLogic()
Collection<IAcceptor<? super IResolvedTypes>>	ResolvedTypes.getDeferredLogic()

Methods in org.eclipse.xtext.xbase.typesystem.internal with parameters of type IResolvedTypes

Modifier and Type	Method and Description
void	ExpressionScope.addData(IFeatureScopeSession session, IResolvedTypes types)
void	TypeLiteralLinkingCandidate.applyToModel(IResolvedTypes resolvedTypes)
void	TypeInsteadOfConstructorLinkingCandidate.applyToModel(IResolvedTypes resolvedTypes)
void	SuspiciouslyOverloadedCandidate.applyToModel(IResolvedTypes resolvedTypes)
void	ResolvedImplicitReceiver.applyToModel(IResolvedTypes resolvedTypes)
void	ResolvedImplicitFirstArgument.applyToModel(IResolvedTypes resolvedTypes)
void	ImplicitReceiver.applyToModel(IResolvedTypes resolvedTypes)
void	ImplicitFirstArgument.applyToModel(IResolvedTypes resolvedTypes)
void	FollowUpError.applyToModel(IResolvedTypes resolvedTypes)
void	FeatureLinkingCandidate.applyToModel(IResolvedTypes resolvedTypes)
void	ConstructorLinkingCandidate.applyToModel(IResolvedTypes resolvedTypes)
void	AppliedFeatureLinkingCandidate.applyToModel(IResolvedTypes resolvedTypes)
void	AbstractUnresolvableReferenceWithNode.applyToModel(IResolvedTypes resolvedTypes)
void	AbstractResolvedReference.applyToModel(IResolvedTypes resolvedTypes)
void	AbstractNullLinkingCandidate.applyToModel(IResolvedTypes resolvedTypes)
void	AbstractAmbiguousLinkingCandidate.applyToModel(IResolvedTypes resolvedTypes)
Iterable<IEObjectDescription>	ScopeProviderAccess.getCandidateDescriptions(XExpression expression, org.eclipse.emf.ecore.EReference reference, org.eclipse.emf.ecore.EObject toBeLinked, IFeatureScopeSession session, IResolvedTypes types) Returns a bunch of descriptions most of which are actually describing identifiables.
protected String	DefaultReentrantTypeResolver.getInvalidWritableVariableAccessMessage(XVariableDeclaration variable, XAbstractFeatureCall featureCall, IResolvedTypes resolvedTypes) Provide the error message for mutable variables that may not be captured in lambdas.

Method parameters in org.eclipse.xtext.xbase.typesystem.internal with type arguments of type IResolvedTypes

Modifier and Type	Method and Description
protected void	ResolvedTypes.addDeferredLogic(IAcceptor<? super IResolvedTypes> code)
protected void	ReassigningStackedResolvedTypes.addDeferredLogic(IAcceptor<? super IResolvedTypes> code)
protected void	ExpectedExceptionsStackedResolvedTypes.addDeferredLogic(IAcceptor<? super IResolvedTypes> code)

Constructors in org.eclipse.xtext.xbase.typesystem.internal with parameters of type IResolvedTypes

Constructor and Description
TypeAwareLinkingDiagnosticContext(ILinkingDiagnosticMessageProvider.ILinkingDiagnosticContext delegate, IResolvedTypes resolvedTypes)

Uses of IResolvedTypes in org.eclipse.xtext.xbase.typesystem.override

Methods in org.eclipse.xtext.xbase.typesystem.override with parameters of type IResolvedTypes

Modifier and Type	Method and Description
protected LightweightTypeReference	InvokedResolvedOperation.Provider.getReceiverType(XAbstractFeatureCall featureCall, IResolvedTypes resolvedTypes, ITypeReferenceOwner owner)
protected InvokedResolvedOperation	InvokedResolvedOperation.Provider.resolve(XAbstractFeatureCall featureCall, IResolvedTypes resolvedTypes, ITypeReferenceOwner owner)

Uses of IResolvedTypes in org.eclipse.xtext.xbase.typesystem.util

Methods in org.eclipse.xtext.xbase.typesystem.util with parameters of type IResolvedTypes

Modifier and Type	Method and Description
protected ExtendedEarlyExitComputer.ThrownExceptionDelegate	ExtendedEarlyExitComputer.createDelegate(List<LightweightTypeReference> result, IResolvedTypes types, ITypeReferenceOwner owner)
List<LightweightTypeReference>	ExtendedEarlyExitComputer.getThrownExceptions(XExpression obj, IResolvedTypes types, ITypeReferenceOwner owner)

Constructors in org.eclipse.xtext.xbase.typesystem.util with parameters of type IResolvedTypes

Constructor and Description
ExtendedEarlyExitComputer.ThrownExceptionDelegate(List<LightweightTypeReference> result, IResolvedTypes types, ITypeReferenceOwner owner)

Uses of IResolvedTypes in org.eclipse.xtext.xbase.util

Methods in org.eclipse.xtext.xbase.util with parameters of type IResolvedTypes

Modifier and Type	Method and Description
boolean	FeatureCallAsTypeLiteralHelper.isPotentialTypeLiteral(XExpression featureCall, IResolvedTypes resolvedTypes) Returns true if the given feature call can be a type literal (structurally).
protected boolean	FeatureCallAsTypeLiteralHelper.isPotentialTypeLiteralImpl(XExpression featureCall, IResolvedTypes resolvedTypes, boolean staticNotation)