| 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 | |
| org.eclipse.xtext.xbase.typesystem.references |
Lightweight representations for the various
JvmTypeReference
which offer some rich API. |
| Modifier and Type | Method and Description |
|---|---|
ITypeExpectation |
ITypeExpectation.copyInto(ITypeReferenceOwner referenceOwner) |
protected ITypeExpectation |
ClosureTypeComputer.getExpectation() |
protected ITypeExpectation |
AbstractClosureTypeHelper.getExpectation() |
| Modifier and Type | Method and Description |
|---|---|
List<? extends ITypeExpectation> |
ITypeComputationState.getExpectations()
The result is never empty.
|
| Modifier and Type | Method and Description |
|---|---|
protected void |
CollectionLiteralsTypeComputer.computeArrayLiteralType(XListLiteral literal,
LightweightTypeReference expectedArrayType,
ITypeExpectation expectation,
ITypeComputationState state) |
protected void |
CollectionLiteralsTypeComputer.computeType(XListLiteral literal,
JvmGenericType listType,
ITypeExpectation expectation,
ITypeComputationState state) |
protected void |
CollectionLiteralsTypeComputer.computeType(XSetLiteral literal,
JvmGenericType setType,
JvmGenericType mapType,
ITypeExpectation expectation,
ITypeComputationState state) |
protected void |
CollectionLiteralsTypeComputer.setUnboundCollectionType(XCollectionLiteral literal,
JvmGenericType collectionType,
ITypeExpectation expectation,
LightweightTypeReference elementTypeExpectation,
ITypeComputationState state) |
| Constructor and Description |
|---|
AbstractClosureTypeHelper(XClosure closure,
ITypeExpectation expectation,
ITypeComputationState state) |
ClosureTypeComputer(XClosure closure,
ITypeExpectation expectation,
ITypeComputationState state) |
ClosureWithExpectationHelper(XClosure closure,
JvmOperation operation,
ITypeExpectation expectation,
ITypeComputationState state) |
ClosureWithoutExpectationHelper(XClosure closure,
ITypeExpectation expectation,
ITypeComputationState state) |
UnknownClosureTypeHelper(XClosure closure,
ITypeExpectation expectation,
ITypeComputationState state) |
| Modifier and Type | Class and Description |
|---|---|
protected class |
AbstractLinkingCandidate.ObservableTypeExpectation |
class |
AbstractReturnAwareTypeExpectation |
class |
AbstractRootTypeExpectation |
class |
AbstractTypeExpectation |
class |
NoExpectation |
protected static class |
RootExpressionTypeComputationState.PendingRootExpectation |
class |
RootNoExpectation |
class |
RootTypeExpectation |
class |
TypeExpectation |
| Modifier and Type | Method and Description |
|---|---|
ITypeExpectation |
RootTypeExpectation.copyInto(ITypeReferenceOwner referenceOwner) |
ITypeExpectation |
NoExpectation.copyInto(ITypeReferenceOwner referenceOwner) |
ITypeExpectation |
TypeData.getExpectation() |
protected ITypeExpectation |
AbstractTypeComputationState.getSingleExpectation(ITypeComputationState state) |
| Modifier and Type | Method and Description |
|---|---|
List<? extends ITypeExpectation> |
ForwardingTypeComputationState.getExpectations() |
List<? extends ITypeExpectation> |
CompoundTypeComputationState.getExpectations() |
List<? extends ITypeExpectation> |
AbstractTypeComputationState.getExpectations() |
protected List<? extends ITypeExpectation> |
AbstractTypeComputationState.getReturnExpectations() |
| Modifier and Type | Method and Description |
|---|---|
protected LightweightTypeReference |
ConstructorLinkingCandidate.deferredBindTypeArgument(ITypeExpectation expectation,
LightweightTypeReference type) |
protected LightweightTypeReference |
AbstractLinkingCandidate.deferredBindTypeArgument(ITypeExpectation expectation,
LightweightTypeReference type) |
protected void |
StackedResolvedTypes.refineExpectedType(XExpression receiver,
ITypeExpectation refinedExpectation) |
protected void |
ResolvedTypes.refineExpectedType(XExpression receiver,
ITypeExpectation refinedExpectation) |
| Modifier and Type | Method and Description |
|---|---|
static UnboundTypeReference |
UnboundTypeReference.create(ITypeExpectation expectation,
XExpression expression,
JvmTypeParameter typeParameter)
Create a new, managed unbound type reference for the given type parameter which was
first encountered for the given expression.
|
Copyright © 2015. All Rights Reserved.