public interface IBatchTypeResolver
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
.Modifier and Type | Method and Description |
---|---|
IScope |
getFeatureScope(XAbstractFeatureCall featureCall)
Returns the currently visible features in the given context.
|
IResolvedTypes |
getResolvedTypesInContextOf(org.eclipse.emf.ecore.EObject context)
Returns an intermitted instance of resolved types that carries the
potentially specialized type information in the context of the given
instance.
|
IResolvedTypes |
resolveTypes(org.eclipse.emf.ecore.EObject object)
Return a handle to resolved types of expressions that are related
to the given
object . |
@NonNull IResolvedTypes resolveTypes(@Nullable org.eclipse.emf.ecore.EObject object)
object
.object
- the context that describes the expressions that will be used
to query the resolved types.@NonNull IResolvedTypes getResolvedTypesInContextOf(@Nullable org.eclipse.emf.ecore.EObject context)
CharSequence
for the identifiable
o
at the cursor position |
when queried with the XCasePart
:
switch o: getObject() { CharSequence: | }
context
- the expression or case part
that specified the current context.@NonNull IScope getFeatureScope(@Nullable XAbstractFeatureCall featureCall)