| Package | Description |
|---|---|
| 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 |
| Modifier and Type | Method and Description |
|---|---|
protected int |
RawTypeConformanceComputer.isConformantToConstraints(UnboundTypeReference left,
LightweightTypeReference right,
List<LightweightBoundTypeArgument> leftHints,
int flags) |
protected int |
RawTypeConformanceComputer.tryResolveAndCheckConformance(UnboundTypeReference left,
List<LightweightBoundTypeArgument> leftHints,
LightweightTypeReference right,
int flags) |
| Modifier and Type | Method and Description |
|---|---|
protected LightweightBoundTypeArgument |
ResolvedTypes.copyBoundTypeArgument(LightweightTypeReference typeReference,
LightweightBoundTypeArgument boundTypeArgument) |
protected LightweightBoundTypeArgument |
ResolvedTypes.removeRecursiveTypeArguments(Object handle,
LightweightBoundTypeArgument boundTypeArgument) |
| Modifier and Type | Method and Description |
|---|---|
protected Map<Object,List<LightweightBoundTypeArgument>> |
ResolvedTypes.basicGetTypeParameterHints() |
List<LightweightBoundTypeArgument> |
ResolvedTypes.getAllHints(Object handle) |
List<LightweightBoundTypeArgument> |
ResolvedTypes.Owner.getAllHints(Object handle) |
List<LightweightBoundTypeArgument> |
ReassigningStackedResolvedTypes.getAllHints(Object handle) |
List<LightweightBoundTypeArgument> |
ExpectedExceptionsStackedResolvedTypes.getAllHints(Object handle) |
protected List<LightweightBoundTypeArgument> |
StackedResolvedTypes.getHints(Object handle) |
protected List<LightweightBoundTypeArgument> |
ResolvedTypes.getHints(Object handle) |
| Modifier and Type | Method and Description |
|---|---|
List<LightweightBoundTypeArgument> |
UnboundTypeReference.getAllHints() |
List<LightweightBoundTypeArgument> |
StandardTypeReferenceOwner.getAllHints(Object handle) |
List<LightweightBoundTypeArgument> |
ITypeReferenceOwner.getAllHints(Object handle) |
Map<JvmTypeParameter,List<LightweightBoundTypeArgument>> |
FunctionTypes.getFunctionTypeParameterMapping(LightweightTypeReference functionType,
JvmOperation operation,
ActualTypeArgumentCollector typeArgumentCollector,
ITypeReferenceOwner owner) |
| Modifier and Type | Method and Description |
|---|---|
void |
UnboundTypeReference.acceptHint(LightweightBoundTypeArgument hint) |
void |
StandardTypeReferenceOwner.acceptHint(Object handle,
LightweightBoundTypeArgument boundTypeArgument) |
void |
ITypeReferenceOwner.acceptHint(Object handle,
LightweightBoundTypeArgument boundTypeArgument) |
| Modifier and Type | Method and Description |
|---|---|
protected boolean |
UnboundTypeReference.canResolveTo(LightweightTypeReference reference,
List<LightweightBoundTypeArgument> allHints) |
boolean |
UnboundTypeReference.hasSignificantHints(List<LightweightBoundTypeArgument> hints) |
protected boolean |
UnboundTypeReference.hasSignificantHints(List<LightweightBoundTypeArgument> hints,
boolean constraintsAreSignificant) |
protected void |
UnboundTypeReference.propageResolvedTypeToConstraints(List<LightweightBoundTypeArgument> hints) |
protected boolean |
UnboundTypeReference.resolveWithHints(List<LightweightBoundTypeArgument> allHints) |
| Modifier and Type | Method and Description |
|---|---|
protected LightweightBoundTypeArgument |
ActualTypeArgumentCollector.boundByConstraint(LightweightTypeReference reference,
Object origin) |
protected LightweightBoundTypeArgument |
ActualTypeArgumentCollector.boundByDefaultSource(LightweightTypeReference reference) |
| Modifier and Type | Method and Description |
|---|---|
Map<JvmTypeParameter,List<LightweightBoundTypeArgument>> |
ActualTypeArgumentCollector.getTypeParameterMapping() |
Map<JvmTypeParameter,List<LightweightBoundTypeArgument>> |
ActualTypeArgumentCollector.rawGetTypeParameterMapping() |
| Modifier and Type | Method and Description |
|---|---|
protected LightweightMergedBoundTypeArgument |
BoundTypeArgumentMerger.getSingleArgumentAsMergedArgument(LightweightBoundTypeArgument argument) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
BoundTypeArgumentMerger.isPossibleMergeResult(List<LightweightBoundTypeArgument> allArguments,
LightweightTypeReference candidate) |
LightweightMergedBoundTypeArgument |
BoundTypeArgumentMerger.merge(Collection<LightweightBoundTypeArgument> allArguments,
ITypeReferenceOwner owner) |
Copyright © 2015. All Rights Reserved.