| Package | Description |
|---|---|
| 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 |
| Modifier and Type | Interface and Description |
|---|---|
interface |
IClosureCandidate
A closure candidate knows about the assumptions that have been made
about a lambda expression regarding the implicitly available parameters.
|
interface |
IConstructorLinkingCandidate
A constructor linking candidate represents an actual or a possible
value of a
constructor call. |
interface |
IFeatureLinkingCandidate
Exposes additional information about the linked feature if the to-be-linked
instance is an
XAbstractFeatureCall. |
interface |
ILinkingCandidate
A linking candidate encapsulates a linked feature.
|
| Modifier and Type | Class and Description |
|---|---|
class |
AbstractClosureTypeHelper
Base strategy to compute the type of lambda expressions.
|
class |
ClosureWithExpectationHelper
Strategy to compute types for lambda expression that do have an expected type.
|
class |
ClosureWithoutExpectationHelper
Strategy to compute types for lambda expression that do not have an expected type
or that have an expected type which is not a SAM type.
|
class |
UnknownClosureTypeHelper |
| Modifier and Type | Method and Description |
|---|---|
void |
ITypeComputationState.acceptCandidate(XExpression expression,
IApplicableCandidate candidate)
Allows to register a candidate that gets the chance to validate or change the state
of the AST in a subsequent processing step.
|
| Modifier and Type | Interface and Description |
|---|---|
interface |
ITypeLiteralLinkingCandidate
A candidate that resolves a feature call to a type literal.
|
| Modifier and Type | Method and Description |
|---|---|
protected IApplicableCandidate |
StackedResolvedTypes.doGetCandidate(XExpression featureOrConstructorCall) |
protected IApplicableCandidate |
ResolvedTypes.doGetCandidate(XExpression featureOrConstructorCall) |
| Modifier and Type | Method and Description |
|---|---|
protected Map<XExpression,IApplicableCandidate> |
ResolvedTypes.basicGetLinkingMap() |
| Modifier and Type | Method and Description |
|---|---|
protected void |
ResolvedTypes.acceptCandidate(XExpression expression,
IApplicableCandidate candidate) |
protected void |
ReassigningStackedResolvedTypes.acceptCandidate(XExpression expression,
IApplicableCandidate candidate) |
protected void |
ExpectedExceptionsStackedResolvedTypes.acceptCandidate(XExpression expression,
IApplicableCandidate candidate) |
void |
CompoundTypeComputationState.acceptCandidate(XExpression expression,
IApplicableCandidate candidate) |
void |
AbstractTypeComputationState.acceptCandidate(XExpression expression,
IApplicableCandidate candidate) |
Copyright © 2015. All Rights Reserved.