Package org.eclipse.xtext.xbase.typesystem

Interface IBatchTypeResolver

All Known Implementing Classes:

AbstractBatchTypeResolver, CachingBatchTypeResolver, DefaultBatchTypeResolver, LogicalContainerAwareBatchTypeResolver

public interface IBatchTypeResolver

The batch type resolver is the entry point for clients to obtain the expression types within a given context object. The context is most likely an expression or a logical container but the interface does not impose any restriction on this one. The obtained instance of resolved types does not make any promises with respect to eager resolution or laziness, but answers all queries for types that are related to the context that was used to get the resolved types itself. Generally speaking, all expressions within the very same resource can be used to query the types.

Method Summary

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

Method Detail

resolveTypes

IResolvedTypes resolveTypes(org.eclipse.emf.ecore.EObject object)

Return a handle to resolved types of expressions that are related to the given object.

Parameters:

object - the context that describes the expressions that will be used to query the resolved types.

Returns:

a handle to resolved types of expressions and identifiables.

resolveTypes

IResolvedTypes resolveTypes(org.eclipse.emf.ecore.resource.Resource resource)

Return a handle to resolved types of expressions that are related to the given resource.

Parameters:

resource - the resource that shall be resolved.

Returns:

a handle to resolved types of expressions and identifiables.

resolveTypes

IResolvedTypes resolveTypes(org.eclipse.emf.ecore.EObject object,
                            org.eclipse.xtext.util.CancelIndicator monitor)

Return a handle to resolved types of expressions that are related to the given object.

Parameters:

object - the context that describes the expressions that will be used to query the resolved types.

monitor - used to cancel type resolution, e.g. by the reconciler.

Returns:

a handle to resolved types of expressions and identifiables.

Since:

2.7

resolveTypes

IResolvedTypes resolveTypes(org.eclipse.emf.ecore.resource.Resource resource,
                            org.eclipse.xtext.util.CancelIndicator monitor)

Return a handle to resolved types of expressions that are related to the given resource.

Parameters:

resource - the resource that shall be resolved.

monitor - used to cancel type resolution, e.g. by the reconciler.

Returns:

a handle to resolved types of expressions and identifiables.

Since:

2.7