| 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.conformance | |
| org.eclipse.xtext.xbase.typesystem.references |
Lightweight representations for the various
JvmTypeReference
which offer some rich API. |
| org.eclipse.xtext.xbase.typesystem.util |
| Modifier and Type | Method and Description |
|---|---|
FunctionTypeReference |
UnknownClosureTypeHelper.getExpectedClosureType() |
FunctionTypeReference |
ClosureWithoutExpectationHelper.getExpectedClosureType() |
FunctionTypeReference |
ClosureWithExpectationHelper.getExpectedClosureType() |
FunctionTypeReference |
ClosureTypeComputer.getExpectedClosureType()
This method is only public for testing purpose.
|
abstract FunctionTypeReference |
AbstractClosureTypeHelper.getExpectedClosureType()
This method is only public for testing purpose.
|
protected FunctionTypeReference |
ClosureWithoutExpectationHelper.getFunctionTypeReference(boolean isProcedure) |
protected FunctionTypeReference |
ClosureWithExpectationHelper.initKnownClosureType(JvmType type,
JvmOperation operation) |
protected FunctionTypeReference |
ClosureWithoutExpectationHelper.processExpressionType(FunctionTypeReference incompleteClosureType,
ITypeComputationResult expressionResult) |
| Modifier and Type | Method and Description |
|---|---|
protected ITypeComputationState |
ClosureWithoutExpectationHelper.assignParameters(ITypeAssigner typeAssigner,
FunctionTypeReference incompleteClosureType) |
protected ITypeComputationState |
ClosureWithoutExpectationHelper.getClosureBodyTypeComputationState(ITypeAssigner typeAssigner,
FunctionTypeReference incompleteClosureType) |
protected void |
ClosureWithoutExpectationHelper.initClosureType(FunctionTypeReference result,
boolean isProcedure) |
protected FunctionTypeReference |
ClosureWithoutExpectationHelper.processExpressionType(FunctionTypeReference incompleteClosureType,
ITypeComputationResult expressionResult) |
| Modifier and Type | Method and Description |
|---|---|
protected int |
TypeConformanceComputer.doIsConformant(FunctionTypeReference left,
FunctionTypeReference right,
int flags) |
protected int |
RawTypeConformanceComputer.doIsConformant(FunctionTypeReference left,
FunctionTypeReference right,
int flags) |
protected int |
RawTypeConformanceComputer.doIsConformant(FunctionTypeReference left,
ParameterizedTypeReference right,
int flags) |
protected int |
RawTypeConformanceComputer.doIsConformant(ParameterizedTypeReference left,
FunctionTypeReference right,
int flags) |
| Modifier and Type | Class and Description |
|---|---|
class |
InnerFunctionTypeReference |
| Modifier and Type | Method and Description |
|---|---|
FunctionTypeReference |
FunctionTypes.createFunctionTypeRef(ITypeReferenceOwner owner,
LightweightTypeReference functionType,
List<LightweightTypeReference> parameterTypes,
LightweightTypeReference returnType) |
FunctionTypeReference |
FunctionTypes.createRawFunctionTypeRef(ITypeReferenceOwner owner,
org.eclipse.emf.ecore.EObject context,
int parameterCount,
boolean procedure) |
protected FunctionTypeReference |
FunctionTypeReference.doCopyInto(ITypeReferenceOwner owner) |
protected FunctionTypeReference |
FunctionTypes.getAsFunctionOrNull(ParameterizedTypeReference typeReference) |
FunctionTypeReference |
ParameterizedTypeReference.getAsFunctionTypeReference()
Returns the equivalent
FunctionTypeReference if this reference
points to a function or procedure
or if it is already a function type reference. |
FunctionTypeReference |
LightweightTypeReference.getAsFunctionTypeReference()
Returns the equivalent
FunctionTypeReference if this reference
points to a function or procedure
or if it is already a function type reference. |
FunctionTypeReference |
FunctionTypeReference.getAsFunctionTypeReference() |
FunctionTypeReference |
FunctionTypes.getAsFunctionTypeReference(ParameterizedTypeReference typeReference)
|
protected FunctionTypeReference |
FunctionTypes.getAsProcedureOrNull(ParameterizedTypeReference typeReference) |
FunctionTypeReference |
StandardTypeReferenceOwner.newFunctionTypeReference(JvmType type) |
FunctionTypeReference |
ITypeReferenceOwner.newFunctionTypeReference(JvmType type)
Creates a new
FunctionTypeReference that is backed by the given type. |
FunctionTypeReference |
UnboundTypeReference.tryConvertToFunctionTypeReference(boolean rawType) |
FunctionTypeReference |
ParameterizedTypeReference.tryConvertToFunctionTypeReference(boolean rawType)
Converts this reference to a
FunctionTypeReference if the referenced type is a SAM type. |
FunctionTypeReference |
LightweightTypeReference.tryConvertToFunctionTypeReference(boolean rawType)
Converts this reference to a
FunctionTypeReference if the referenced type is a SAM type. |
FunctionTypeReference |
FunctionTypeReference.tryConvertToFunctionTypeReference(boolean rawType) |
protected FunctionTypeReference |
FunctionTypes.tryConvertToFunctionTypeReference(ParameterizedTypeReference typeReference,
boolean rawType)
Converts the given reference to a
FunctionTypeReference if the referenced type is a SAM type. |
| Modifier and Type | Method and Description |
|---|---|
protected Result |
TypeReferenceVisitorWithResult.doVisitFunctionTypeReference(FunctionTypeReference reference) |
protected void |
TypeReferenceVisitor.doVisitFunctionTypeReference(FunctionTypeReference reference) |
protected void |
LightweightTypeReferenceSerializer.doVisitFunctionTypeReference(FunctionTypeReference reference) |
protected Result |
TypeReferenceVisitorWithParameterAndResult.doVisitFunctionTypeReference(FunctionTypeReference reference,
Param param) |
protected void |
TypeReferenceVisitorWithParameter.doVisitFunctionTypeReference(FunctionTypeReference reference,
Param param) |
protected boolean |
FunctionTypes.tryAssignTypeArguments(List<LightweightTypeReference> typeArguments,
FunctionTypeReference result) |
| Modifier and Type | Method and Description |
|---|---|
protected org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult |
LocalTypeSubstitutor.doSubstituteFunctionType(FunctionTypeReference reference,
FunctionTypeReference result,
boolean didSubstitute) |
protected void |
HumanReadableTypeNames.doVisitFunctionTypeReference(FunctionTypeReference reference,
StringBuilder param) |
protected org.eclipse.xtext.xbase.typesystem.util.LocalTypeSubstitutor.SubstitutionResult |
LocalTypeSubstitutor.doVisitFunctionTypeReference(FunctionTypeReference reference,
VarianceInfo varianceInfo) |
protected LightweightTypeReference |
TypeParameterSubstitutor.doVisitFunctionTypeReference(FunctionTypeReference reference,
Visiting visiting) |
protected void |
TypeParameterSubstitutor.enhanceFunctionType(FunctionTypeReference reference,
FunctionTypeReference result,
Visiting visiting) |
Copyright © 2015. All Rights Reserved.