| Package | Description |
|---|---|
| org.eclipse.xtext.xbase.annotations | |
| org.eclipse.xtext.xbase.annotations.typesystem | |
| org.eclipse.xtext.xbase.controlflow | |
| org.eclipse.xtext.xbase.imports | |
| 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.conformance | |
| org.eclipse.xtext.xbase.typesystem.internal | |
| org.eclipse.xtext.xbase.typesystem.references |
Lightweight representations for the various
JvmTypeReference
which offer some rich API. |
| org.eclipse.xtext.xbase.typesystem.util |
| Class and Description |
|---|
| ITypeComputer
The type computer is the central component when it comes to type inferrence for
expressions. |
| Class and Description |
|---|
| AbstractTypeComputer
Base class for type computers, e.g. the
XbaseTypeComputer or the CollectionLiteralsTypeComputer. |
| ITypeComputationState
The current state of the type computation.
|
| ITypeComputer
The type computer is the central component when it comes to type inferrence for
expressions. |
| XbaseTypeComputer
Base implementation for the
ITypeComputer. |
| Class and Description |
|---|
| NumberLiterals |
| Class and Description |
|---|
| ILinkingCandidate
A linking candidate encapsulates a linked feature.
|
| Class and Description |
|---|
| SynonymTypesProvider
The
SynonymTypesProvider allows to define automatic conversion rules
for specific types. |
| Class and Description |
|---|
| IAmbiguousLinkingCandidate
A linking candidate may be ambiguous if the passed arguments do
match multiple candidates equally well.
|
| IConstructorLinkingCandidate
A constructor linking candidate represents an actual or a possible
value of a
constructor call. |
| IFeatureLinkingCandidate
Exposes additional information about the linked feature if the to-be-linked
instance is an
XAbstractFeatureCall. |
| ILinkingCandidate
A linking candidate encapsulates a linked feature.
|
| ITypeComputationState
The current state of the type computation.
|
| Class and Description |
|---|
| AbstractClosureTypeHelper
Base strategy to compute the type of lambda expressions.
|
| AbstractTypeComputer
Base class for type computers, e.g. the
XbaseTypeComputer or the CollectionLiteralsTypeComputer. |
| ClosureWithExpectationHelper
Strategy to compute types for lambda expression that do have an expected type.
|
| 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.
|
| IApplicableCandidate
A candidate encapsulates intermediate computation results.
|
| IClosureCandidate
A closure candidate knows about the assumptions that have been made
about a lambda expression regarding the implicitly available parameters.
|
| IConstructorLinkingCandidate
A constructor linking candidate represents an actual or a possible
value of a
constructor call. |
| IFeatureLinkingCandidate
Exposes additional information about the linked feature if the to-be-linked
instance is an
XAbstractFeatureCall. |
| ILinkingCandidate
A linking candidate encapsulates a linked feature.
|
| ITypeAssigner
Allows to bulk-assign types for
identifiable elements,
e.g. assign the types for the parametes of an inferred operation. |
| ITypeComputationResult
The result of the type computation for a given expression.
|
| ITypeComputationState
The current state of the type computation.
|
| ITypeComputer
The type computer is the central component when it comes to type inferrence for
expressions. |
| ITypeExpectation |
| SynonymTypesProvider.Acceptor
Clients of the
SynonymTypesProvider may use a custom acceptor
to handle the available synonym types. |
| UnknownClosureTypeHelper |
| Class and Description |
|---|
| SynonymTypesProvider
The
SynonymTypesProvider allows to define automatic conversion rules
for specific types. |
| Class and Description |
|---|
| IAmbiguousLinkingCandidate
A linking candidate may be ambiguous if the passed arguments do
match multiple candidates equally well.
|
| IApplicableCandidate
A candidate encapsulates intermediate computation results.
|
| IConstructorLinkingCandidate
A constructor linking candidate represents an actual or a possible
value of a
constructor call. |
| IFeatureLinkingCandidate
Exposes additional information about the linked feature if the to-be-linked
instance is an
XAbstractFeatureCall. |
| ILinkingCandidate
A linking candidate encapsulates a linked feature.
|
| ISuspiciouslyOverloadedCandidate
A linking candidate may be overloaded by other candidates
from different implicit receivers.
|
| ITypeAssigner
Allows to bulk-assign types for
identifiable elements,
e.g. assign the types for the parametes of an inferred operation. |
| ITypeComputationResult
The result of the type computation for a given expression.
|
| ITypeComputationState
The current state of the type computation.
|
| ITypeComputer
The type computer is the central component when it comes to type inferrence for
expressions. |
| ITypeExpectation |
| Class and Description |
|---|
| ITypeExpectation |
| Class and Description |
|---|
| IFeatureLinkingCandidate
Exposes additional information about the linked feature if the to-be-linked
instance is an
XAbstractFeatureCall. |
| SynonymTypesProvider
The
SynonymTypesProvider allows to define automatic conversion rules
for specific types. |
Copyright © 2015. All Rights Reserved.