| Package | Description |
|---|---|
| org.eclipse.xtext.xbase.scoping.batch | |
| 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 |
|---|---|
protected Boolean |
ExtensionScopeHelper.IsResolvedKnownTypeParamHelper.doVisitParameterizedTypeReference(ParameterizedTypeReference reference) |
| Modifier and Type | Method and Description |
|---|---|
LightweightTypeReference |
ElementOrComponentTypeComputer.doVisitParameterizedTypeReference(ParameterizedTypeReference reference) |
void |
ResolvingTypeParameterHintCollector.UnboundParameterizedTypeReferencePreserver.doVisitUnboundTypeReference(UnboundTypeReference reference,
ParameterizedTypeReference declaration) |
| Modifier and Type | Method and Description |
|---|---|
protected int |
RawTypeConformanceComputer.doIsConformant(ArrayTypeReference left,
ParameterizedTypeReference right,
int flags) |
protected int |
RawTypeConformanceComputer.doIsConformant(FunctionTypeReference left,
ParameterizedTypeReference right,
int flags) |
protected int |
RawTypeConformanceComputer.doIsConformant(ParameterizedTypeReference left,
ArrayTypeReference right,
int flags) |
protected int |
RawTypeConformanceComputer.doIsConformant(ParameterizedTypeReference left,
FunctionTypeReference right,
int flags) |
protected int |
RawTypeConformanceComputer.doIsConformant(ParameterizedTypeReference left,
ParameterizedTypeReference right,
int flags) |
protected int |
RawTypeConformanceComputer.doIsConformantToAnyType(ParameterizedTypeReference left,
int flags) |
protected boolean |
TypeConformanceComputer.enhanceSuperType(List<LightweightTypeReference> superTypes,
List<LightweightTypeReference> initiallyRequested,
ParameterizedTypeReference result) |
protected LightweightTypeReference |
TypeConformanceComputer.getSuperType(ParameterizedTypeReference current,
JvmType type) |
protected LightweightTypeReference |
RawTypeConformanceComputer.getSuperType(ParameterizedTypeReference current,
JvmType type)
This is a hook for the
TypeConformanceComputer to provide the resolved super type. |
protected int |
RawTypeConformanceComputer.isAssignableAsFunctionType(ParameterizedTypeReference left,
ParameterizedTypeReference right,
int flags) |
| Modifier and Type | Class and Description |
|---|---|
class |
FunctionTypeReference |
class |
InnerFunctionTypeReference |
class |
InnerTypeReference |
| Modifier and Type | Method and Description |
|---|---|
protected ParameterizedTypeReference |
ParameterizedTypeReference.doCopyInto(ITypeReferenceOwner owner) |
protected ParameterizedTypeReference |
InnerTypeReference.doCopyInto(ITypeReferenceOwner owner) |
ParameterizedTypeReference |
StandardTypeReferenceOwner.newParameterizedTypeReference(JvmType type) |
ParameterizedTypeReference |
ITypeReferenceOwner.newParameterizedTypeReference(JvmType type)
Creates a new
ParameterizedTypeReference from the given type. |
ParameterizedTypeReference |
ParameterizedTypeReference.toInstanceTypeReference()
Returns a projection of this type to the instance level.
|
ParameterizedTypeReference |
InnerTypeReference.toInstanceTypeReference() |
ParameterizedTypeReference |
InnerFunctionTypeReference.toInstanceTypeReference() |
| Modifier and Type | Method and Description |
|---|---|
protected void |
ParameterizedTypeReference.copyTypeArguments(ParameterizedTypeReference result,
ITypeReferenceOwner owner) |
protected void |
FunctionTypeReference.copyTypeArguments(ParameterizedTypeReference result,
ITypeReferenceOwner owner) |
protected Result |
TypeReferenceVisitorWithResult.doVisitParameterizedTypeReference(ParameterizedTypeReference reference) |
protected void |
TypeReferenceVisitor.doVisitParameterizedTypeReference(ParameterizedTypeReference reference) |
protected void |
LightweightTypeReferenceSerializer.doVisitParameterizedTypeReference(ParameterizedTypeReference reference) |
protected Result |
TypeReferenceVisitorWithParameterAndResult.doVisitParameterizedTypeReference(ParameterizedTypeReference reference,
Param param) |
protected void |
TypeReferenceVisitorWithParameter.doVisitParameterizedTypeReference(ParameterizedTypeReference reference,
Param param) |
protected List<JvmType> |
RawTypeHelper.RawTypeImplementation.doVisitParameterizedTypeReference(ParameterizedTypeReference reference,
org.eclipse.emf.ecore.resource.ResourceSet resourceSet) |
protected LightweightTypeReference |
RawTypeHelper.RawTypeReferenceImplementation.doVisitParameterizedTypeReference(ParameterizedTypeReference reference,
org.eclipse.emf.ecore.resource.ResourceSet resourceSet) |
protected FunctionTypeReference |
FunctionTypes.getAsFunctionOrNull(ParameterizedTypeReference typeReference) |
FunctionTypeReference |
FunctionTypes.getAsFunctionTypeReference(ParameterizedTypeReference typeReference)
|
protected FunctionTypeReference |
FunctionTypes.getAsProcedureOrNull(ParameterizedTypeReference typeReference) |
FunctionTypeKind |
FunctionTypes.getFunctionTypeKind(ParameterizedTypeReference typeReference) |
ArrayTypeReference |
ArrayTypes.tryConvertToArray(ParameterizedTypeReference typeReference)
Returns the array representation of this reference if its represents a sub-type of
Iterable. |
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 |
|---|---|
LightweightTypeReference |
StandardTypeReferenceOwner.newReferenceTo(Class<?> type,
TypeReferenceInitializer<? super ParameterizedTypeReference> init)
Creates a references to the given class or returns an
UnknownTypeReference if no
JRE is available. |
LightweightTypeReference |
ITypeReferenceOwner.newReferenceTo(Class<?> type,
TypeReferenceInitializer<? super ParameterizedTypeReference> init)
Creates a reference to the given class or returns an
UnknownTypeReference if no
JRE is available. |
Copyright © 2015. All Rights Reserved.