| Package | Description |
|---|---|
| org.eclipse.xtext.xbase.compiler | |
| org.eclipse.xtext.xbase.compiler.output | |
| org.eclipse.xtext.xbase.scoping.batch | |
| org.eclipse.xtext.xbase.typesystem.arguments |
Encapsulated handling of feature call arguments.
|
| 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.override | |
| 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 ITypeReferenceOwner |
AbstractXbaseCompiler.newTypeReferenceOwner(org.eclipse.emf.ecore.EObject context) |
| Modifier and Type | Method and Description |
|---|---|
protected ImportingStringConcatenation |
JvmModelGenerator.createImportingStringConcatenation(SharedAppendableState state,
ITypeReferenceOwner owner) |
| Constructor and Description |
|---|
ImportingStringConcatenation(SharedAppendableState state,
ITypeReferenceOwner typeReferenceOwner) |
| Modifier and Type | Field and Description |
|---|---|
protected ITypeReferenceOwner |
StandardFeatureCallArguments.owner |
| Constructor and Description |
|---|
ReorderedFeatureCallArguments(List<XExpression> arguments,
List<JvmFormalParameter> parameters,
List<XExpression> shiftedArguments,
List<JvmFormalParameter> shiftedParameters,
boolean hasReceiver,
ITypeReferenceOwner owner) |
ReorderedVarArgFeatureCallArguments(List<XExpression> arguments,
List<JvmFormalParameter> parameters,
List<XExpression> shiftedArguments,
List<JvmFormalParameter> shiftedParameters,
boolean hasReceiver,
ITypeReferenceOwner owner) |
StandardFeatureCallArguments(List<XExpression> arguments,
List<JvmFormalParameter> parameters,
boolean hasReceiver,
ITypeReferenceOwner owner) |
VarArgFeatureCallArguments(List<XExpression> arguments,
List<JvmFormalParameter> parameters,
boolean hasReceiver,
ITypeReferenceOwner owner) |
| Modifier and Type | Method and Description |
|---|---|
protected ITypeReferenceOwner |
ElementOrComponentTypeComputer.getOwner() |
ITypeReferenceOwner |
ITypeExpectation.getReferenceOwner() |
ITypeReferenceOwner |
ITypeComputationState.getReferenceOwner()
The current type reference owner for newly converted type references.
|
ITypeReferenceOwner |
ITypeAssigner.getReferenceOwner()
Returns the current owner.
|
| Modifier and Type | Method and Description |
|---|---|
static LightweightTypeReference |
ElementOrComponentTypeComputer.compute(LightweightTypeReference iterableOrArray,
ITypeReferenceOwner owner) |
ITypeExpectation |
ITypeExpectation.copyInto(ITypeReferenceOwner referenceOwner) |
protected LightweightTypeReference |
CollectionLiteralsTypeComputer.createCollectionTypeReference(JvmGenericType collectionType,
LightweightTypeReference elementType,
LightweightTypeReference expectedType,
ITypeReferenceOwner owner)
Creates a collection type reference that comes as close as possible / necessary to its expected type.
|
protected LightweightTypeReference |
CollectionLiteralsTypeComputer.createMapTypeReference(JvmGenericType mapType,
LightweightTypeReference pairType,
LightweightTypeReference expectation,
ITypeReferenceOwner owner)
Creates a map type reference that comes as close as possible / necessary to its expected type.
|
protected LightweightTypeReference |
CollectionLiteralsTypeComputer.createNormalizedPairType(LightweightTypeReference pairType,
LightweightTypeReference mapType,
ITypeReferenceOwner owner)
The map type may be constructed from different pairs, e.g. the pair's type arguments don't need to be as strict
as the map suggests.
|
protected <Type extends JvmType> |
AbstractTypeComputer.findDeclaredType(Class<?> clazz,
ITypeReferenceOwner owner) |
protected LightweightTypeReference |
AbstractTypeComputer.getCommonSuperType(List<LightweightTypeReference> types,
ITypeReferenceOwner owner)
Computes the common super type for the given list of types.
|
protected LightweightTypeReference |
XbaseTypeComputer.getElementOrComponentType(LightweightTypeReference iterableOrArray,
ITypeReferenceOwner owner)
|
protected LightweightTypeReference |
CollectionLiteralsTypeComputer.getElementOrComponentType(LightweightTypeReference iterableOrArray,
ITypeReferenceOwner owner)
|
protected LightweightTypeReference |
AbstractTypeComputer.getRawTypeForName(Class<?> clazz,
ITypeReferenceOwner owner)
Deprecated.
use
newReferenceTo(Class) instead. |
boolean |
ITypeExpectation.isOwnedBy(ITypeReferenceOwner referenceOwner) |
protected LightweightTypeReference |
CollectionLiteralsTypeComputer.normalizeElementType(LightweightTypeReference collectionElementType,
LightweightTypeReference expectedCollectionType,
ITypeReferenceOwner owner)
The expected collection type may drive the type of the elements in the collection if the type is used as an
invariant type.
|
| Constructor and Description |
|---|
ElementOrComponentTypeComputer(ITypeReferenceOwner owner) |
ResolvingTypeParameterHintCollector(ITypeReferenceOwner owner,
BoundTypeArgumentSource source) |
| Modifier and Type | Method and Description |
|---|---|
LightweightTypeReference |
TypeConformanceComputer.getCommonParameterSuperType(List<LightweightTypeReference> types,
List<LightweightTypeReference> initiallyRequested,
ITypeReferenceOwner owner) |
LightweightTypeReference |
TypeConformanceComputer.getCommonSuperType(List<LightweightTypeReference> types,
ITypeReferenceOwner owner)
Compute the common super type for the given types.
|
protected LightweightTypeReference |
TypeConformanceComputer.getTypeParametersForSupertype(com.google.common.collect.Multimap<JvmType,LightweightTypeReference> all,
JvmType rawType,
ITypeReferenceOwner owner,
List<LightweightTypeReference> initiallyRequested) |
| Modifier and Type | Class and Description |
|---|---|
protected class |
ResolvedTypes.Owner |
| Modifier and Type | Method and Description |
|---|---|
ITypeReferenceOwner |
TypeAssigner.getReferenceOwner() |
ITypeReferenceOwner |
ResolvedTypes.getReferenceOwner() |
ITypeReferenceOwner |
ReassigningStackedResolvedTypes.getReferenceOwner() |
ITypeReferenceOwner |
ForwardingTypeComputationState.getReferenceOwner() |
ITypeReferenceOwner |
ExpectedExceptionsStackedResolvedTypes.getReferenceOwner() |
ITypeReferenceOwner |
CompoundTypeComputationState.getReferenceOwner() |
ITypeReferenceOwner |
CompoundTypeAssigner.getReferenceOwner() |
ITypeReferenceOwner |
AbstractTypeExpectation.getReferenceOwner() |
ITypeReferenceOwner |
AbstractTypeComputationState.getReferenceOwner() |
| Constructor and Description |
|---|
CompoundTypeAssigner(ITypeReferenceOwner owner,
TypeAssigner[] assigners) |
CompoundTypeComputationState(ITypeReferenceOwner owner,
AbstractTypeComputationState... components) |
EmptyResolvedTypes(IFeatureScopeSession session,
FeatureScopes featureScopes,
ITypeReferenceOwner owner) |
ExpressionScope.Scope(IScope delegate,
ITypeReferenceOwner owner) |
ExpressionScope(FeatureScopes featureScopes,
org.eclipse.emf.ecore.EObject context,
IExpressionScope.Anchor anchor,
ITypeReferenceOwner owner) |
NoTypeResult(org.eclipse.emf.ecore.EObject context,
ITypeReferenceOwner owner) |
| Modifier and Type | Method and Description |
|---|---|
protected TypeParameterSubstitutor<?> |
OverrideHelper.createSubstitutor(ITypeReferenceOwner owner,
LightweightTypeReference declaringType) |
protected JvmOperation |
OverrideHelper.findOverriddenOperation(JvmOperation operation,
LightweightTypeReference declaringType,
TypeParameterSubstitutor<?> substitutor,
ITypeReferenceOwner owner,
IVisibilityHelper visibilityHelper) |
protected LightweightTypeReference |
InvokedResolvedOperation.Provider.getReceiverType(XAbstractFeatureCall featureCall,
IResolvedTypes resolvedTypes,
ITypeReferenceOwner owner) |
LightweightTypeReference |
OverrideHelper.getReturnTypeOfOverriddenOperation(JvmOperation operation,
ITypeReferenceOwner owner,
IVisibilityHelper visibilityHelper)
Returns
null if the given operation declares it's own return type or if it does not override
another operation. |
protected boolean |
OverrideHelper.isMatchesSignature(JvmFormalParameter parameter,
JvmFormalParameter candidateParameter,
TypeParameterSubstitutor<?> substitutor,
ITypeReferenceOwner owner) |
protected InvokedResolvedOperation |
InvokedResolvedOperation.Provider.resolve(XAbstractFeatureCall featureCall,
IResolvedTypes resolvedTypes,
ITypeReferenceOwner owner) |
| Modifier and Type | Class and Description |
|---|---|
class |
StandardTypeReferenceOwner
Plain instantiable implementation of the
ITypeReferenceOwner. |
| Modifier and Type | Method and Description |
|---|---|
ITypeReferenceOwner |
LightweightTypeReferenceFactory.getOwner() |
ITypeReferenceOwner |
LightweightTypeReference.getOwner() |
| Modifier and Type | Method and Description |
|---|---|
LightweightTypeReference |
UnboundTypeReference.copyInto(ITypeReferenceOwner owner)
Always copies the reference since we want to reduce the nesting level
of references if this one was resolved but points to something unresolved.
|
LightweightTypeReference |
LightweightTypeReference.copyInto(ITypeReferenceOwner owner) |
protected void |
ParameterizedTypeReference.copyTypeArguments(ParameterizedTypeReference result,
ITypeReferenceOwner owner) |
protected void |
FunctionTypeReference.copyTypeArguments(ParameterizedTypeReference result,
ITypeReferenceOwner owner) |
protected UnboundTypeReference |
UnboundTypeReference.createCopy(ITypeReferenceOwner owner) |
FunctionTypeReference |
FunctionTypes.createFunctionTypeRef(ITypeReferenceOwner owner,
LightweightTypeReference functionType,
List<LightweightTypeReference> parameterTypes,
LightweightTypeReference returnType) |
protected LightweightTypeReference |
RawTypeHelper.RawTypeReferenceImplementation.createObjectReference(ITypeReferenceOwner owner,
org.eclipse.emf.ecore.resource.ResourceSet resourceSet) |
FunctionTypeReference |
FunctionTypes.createRawFunctionTypeRef(ITypeReferenceOwner owner,
org.eclipse.emf.ecore.EObject context,
int parameterCount,
boolean procedure) |
protected WildcardTypeReference |
WildcardTypeReference.doCopyInto(ITypeReferenceOwner owner) |
protected LightweightTypeReference |
UnknownTypeReference.doCopyInto(ITypeReferenceOwner owner) |
protected LightweightTypeReference |
UnboundTypeReference.doCopyInto(ITypeReferenceOwner owner) |
protected ParameterizedTypeReference |
ParameterizedTypeReference.doCopyInto(ITypeReferenceOwner owner) |
protected abstract LightweightTypeReference |
LightweightTypeReference.doCopyInto(ITypeReferenceOwner owner) |
protected ParameterizedTypeReference |
InnerTypeReference.doCopyInto(ITypeReferenceOwner owner) |
protected InnerFunctionTypeReference |
InnerFunctionTypeReference.doCopyInto(ITypeReferenceOwner owner) |
protected FunctionTypeReference |
FunctionTypeReference.doCopyInto(ITypeReferenceOwner owner) |
protected LightweightTypeReference |
CompoundTypeReference.doCopyInto(ITypeReferenceOwner owner) |
protected LightweightTypeReference |
ArrayTypeReference.doCopyInto(ITypeReferenceOwner owner) |
protected LightweightTypeReference |
AnyTypeReference.doCopyInto(ITypeReferenceOwner owner) |
Map<JvmTypeParameter,List<LightweightBoundTypeArgument>> |
FunctionTypes.getFunctionTypeParameterMapping(LightweightTypeReference functionType,
JvmOperation operation,
ActualTypeArgumentCollector typeArgumentCollector,
ITypeReferenceOwner owner) |
protected LightweightTypeReference |
RawTypeHelper.RawTypeReferenceImplementation.getRawTypeFromConstraints(ITypeReferenceOwner owner,
JvmTypeParameter typeParameter,
org.eclipse.emf.ecore.resource.ResourceSet resourceSet) |
protected List<JvmType> |
RawTypeHelper.RawTypeImplementation.getRawTypesFromConstraints(ITypeReferenceOwner owner,
JvmTypeParameter typeParameter,
org.eclipse.emf.ecore.resource.ResourceSet resourceSet) |
boolean |
FunctionTypes.isFunctionAndProcedureAvailable(ITypeReferenceOwner owner) |
boolean |
WildcardTypeReference.isOwnedBy(ITypeReferenceOwner owner) |
boolean |
ParameterizedTypeReference.isOwnedBy(ITypeReferenceOwner owner) |
boolean |
LightweightTypeReference.isOwnedBy(ITypeReferenceOwner owner) |
boolean |
InnerTypeReference.isOwnedBy(ITypeReferenceOwner owner) |
boolean |
InnerFunctionTypeReference.isOwnedBy(ITypeReferenceOwner owner) |
boolean |
FunctionTypeReference.isOwnedBy(ITypeReferenceOwner owner) |
boolean |
CompoundTypeReference.isOwnedBy(ITypeReferenceOwner owner) |
boolean |
ArrayTypeReference.isOwnedBy(ITypeReferenceOwner owner) |
| Modifier and Type | Method and Description |
|---|---|
protected ITypeReferenceOwner |
TypeParameterSubstitutor.getOwner() |
protected ITypeReferenceOwner |
LocalTypeSubstitutor.getOwner() |
protected ITypeReferenceOwner |
AbstractTypeReferencePairWalker.getOwner() |
Copyright © 2015. All Rights Reserved.