| 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 |
| Modifier and Type | Method and Description |
|---|---|
protected IResolvedTypes |
AbstractXbaseCompiler.getResolvedTypes(org.eclipse.emf.ecore.EObject obj) |
| Modifier and Type | Method and Description |
|---|---|
IResolvedTypes |
EvaluationContext.getResolvedTypes() |
| Modifier and Type | Method and Description |
|---|---|
void |
EvaluationContext.addResolvedTypes(org.eclipse.emf.ecore.resource.Resource resource,
IResolvedTypes resolvedTypes) |
| 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) |
| Constructor and Description |
|---|
TypeLiteralScope(IScope parent,
IFeatureScopeSession session,
XAbstractFeatureCall featureCall,
IResolvedTypes resolvedTypes,
QualifiedName parentSegments) |
| Modifier and Type | Class and Description |
|---|---|
static class |
IResolvedTypes.NullResolvedTypes |
| Modifier and Type | Field and Description |
|---|---|
static IResolvedTypes |
IResolvedTypes.NULL |
| 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. |
| 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) |
| 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 |
| 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() |
| Modifier and Type | Method and Description |
|---|---|
Collection<IAcceptor<? super IResolvedTypes>> |
StackedResolvedTypes.getDeferredLogic() |
Collection<IAcceptor<? super IResolvedTypes>> |
ResolvedTypes.getDeferredLogic() |
| 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.
|
| 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) |
| Constructor and Description |
|---|
TypeAwareLinkingDiagnosticContext(ILinkingDiagnosticMessageProvider.ILinkingDiagnosticContext delegate,
IResolvedTypes resolvedTypes) |
| 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) |
| 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) |
| Constructor and Description |
|---|
ExtendedEarlyExitComputer.ThrownExceptionDelegate(List<LightweightTypeReference> result,
IResolvedTypes types,
ITypeReferenceOwner owner) |
| 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) |
Copyright © 2015. All Rights Reserved.