org.eclipse.xtext.xbase.typesystem.conformance

Class TypeConformanceComputer

java.lang.Object

org.eclipse.xtext.xbase.typesystem.conformance.RawTypeConformanceComputer

org.eclipse.xtext.xbase.typesystem.conformance.TypeConformanceComputer

public class TypeConformanceComputer
extends RawTypeConformanceComputer

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected static class	TypeConformanceComputer.MaxDistanceRawTypeAcceptor Populates a Multiset with the maximum number of necessary steps from a given type to its super types.

Field Summary

Fields inherited from class org.eclipse.xtext.xbase.typesystem.conformance.RawTypeConformanceComputer

ALLOW_BOXING, ALLOW_BOXING_UNBOXING, ALLOW_FUNCTION_CONVERSION, ALLOW_PRIMITIVE_WIDENING, ALLOW_RAW_TYPE_CONVERSION, ALLOW_SYNONYMS, ALLOW_UNBOXING, AS_NESTED_TYPE_ARGUMENT, AS_TYPE_ARGUMENT, BOXING, DEMAND_CONVERSION, INCOMPATIBLE, PRIMITIVE_WIDENING, RAW_TYPE, RAW_TYPE_CONVERSION, SUBTYPE, SUCCESS, SYNONYM, UNBOUND_COMPUTATION_ADDS_HINTS, UNBOXING, UNKNOWN_TYPE_PARTICIPATED

Constructor Summary

Constructors

Constructor and Description
TypeConformanceComputer()

Method Summary

Modifier and Type	Method and Description
protected void	addComponentType(LightweightTypeReference reference, java.util.List<LightweightTypeReference> result)
protected LightweightTypeReference	conformsToAll(LightweightTypeReference type, java.util.List<LightweightTypeReference> types)
protected boolean	containsPrimitiveOrAnyReferences(java.util.List<LightweightTypeReference> types)
protected void	cumulateDistance(java.util.List<LightweightTypeReference> references, com.google.common.collect.Multimap<org.eclipse.xtext.common.types.JvmType,LightweightTypeReference> all, com.google.common.collect.Multiset<org.eclipse.xtext.common.types.JvmType> cumulatedDistance) Keeps the cumulated distance for all the common raw super types of the given references.
protected int	doIsConformant(FunctionTypeReference left, FunctionTypeReference right, int flags)
protected int	doIsConformantOuterType(LightweightTypeReference left, LightweightTypeReference right, int flags)
protected int	doIsConformantTypeArguments(LightweightTypeReference left, LightweightTypeReference right, int flags) This is a hook for the TypeConformanceComputer to implement the type argument check.
protected boolean	enhanceSuperType(java.util.List<LightweightTypeReference> superTypes, java.util.List<LightweightTypeReference> initiallyRequested, ParameterizedTypeReference result)
LightweightTypeReference	getCommonParameterSuperType(java.util.List<LightweightTypeReference> types, java.util.List<LightweightTypeReference> initiallyRequested, ITypeReferenceOwner owner)
LightweightTypeReference	getCommonSuperType(java.util.List<LightweightTypeReference> types, ITypeReferenceOwner owner) Compute the common super type for the given types.
protected LightweightTypeReference	getFirstForRawType(com.google.common.collect.Multimap<org.eclipse.xtext.common.types.JvmType,LightweightTypeReference> all, org.eclipse.xtext.common.types.JvmType rawType)
LightweightTypeReference	getMostSpecialType(java.util.List<LightweightTypeReference> candidates)
protected LightweightTypeReference	getSuperType(ParameterizedTypeReference current, org.eclipse.xtext.common.types.JvmType type) This is a hook for the TypeConformanceComputer to provide the resolved super type.
protected LightweightTypeReference	getTypeParametersForSupertype(com.google.common.collect.Multimap<org.eclipse.xtext.common.types.JvmType,LightweightTypeReference> all, org.eclipse.xtext.common.types.JvmType rawType, ITypeReferenceOwner owner, java.util.List<LightweightTypeReference> initiallyRequested)
protected void	initializeDistance(LightweightTypeReference firstType, com.google.common.collect.Multimap<org.eclipse.xtext.common.types.JvmType,LightweightTypeReference> all, com.google.common.collect.Multiset<org.eclipse.xtext.common.types.JvmType> cumulatedDistance)
protected void	inplaceSortByDistanceAndName(java.util.List<com.google.common.collect.Multiset.Entry<org.eclipse.xtext.common.types.JvmType>> candidates)
protected boolean	isClass(org.eclipse.xtext.common.types.JvmType type)
boolean	isConformant(LightweightTypeReference left, LightweightTypeReference right)
int	isConformant(LightweightTypeReference left, LightweightTypeReference right, int flags)
int	isConformant(LightweightTypeReference left, LightweightTypeReference right, TypeConformanceComputationArgument argument)
protected boolean	isRecursiveRequest(java.util.List<LightweightTypeReference> types, java.util.Set<java.lang.String> allNames, java.util.List<LightweightTypeReference> initiallyRequested)
protected java.util.List<LightweightTypeReference>	replacePrimitivesAndRemoveAnyReferences(java.util.List<LightweightTypeReference> types)
protected int	toFlags(TypeConformanceComputationArgument argument)

Methods inherited from class org.eclipse.xtext.xbase.typesystem.conformance.RawTypeConformanceComputer

addHintAndAnnounceSuccess, doIsConformant, doIsConformant, doIsConformant, doIsConformant, doIsConformant, doIsConformant, doIsConformant, doIsConformant, doIsConformant, doIsConformant, doIsConformant, doIsConformant, doIsConformant, doIsConformant, doIsConformant, doIsConformant, doIsConformantOuter, doIsConformantToAnyType, internalGetPrimitiveKindFromWrapper, isAssignableAsFunctionType, isConformantMergeResult, isConformantToConstraints, isSynonymConformant, setSynonymTypesProvider, tryResolveAndCheckConformance, tryResolveAndCheckConformance

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TypeConformanceComputer

public TypeConformanceComputer()

Method Detail

isConformant

public boolean isConformant(LightweightTypeReference left,
                            LightweightTypeReference right)

isConformant

public int isConformant(LightweightTypeReference left,
                        LightweightTypeReference right,
                        TypeConformanceComputationArgument argument)

toFlags

protected int toFlags(TypeConformanceComputationArgument argument)

isConformant

public int isConformant(LightweightTypeReference left,
                        LightweightTypeReference right,
                        int flags)

Overrides:

isConformant in class RawTypeConformanceComputer

getSuperType

protected LightweightTypeReference getSuperType(ParameterizedTypeReference current,
                                                org.eclipse.xtext.common.types.JvmType type)

Description copied from class: RawTypeConformanceComputer

This is a hook for the TypeConformanceComputer to provide the resolved super type.

Overrides:

getSuperType in class RawTypeConformanceComputer

doIsConformantTypeArguments

protected int doIsConformantTypeArguments(LightweightTypeReference left,
                                          LightweightTypeReference right,
                                          int flags)

Description copied from class: RawTypeConformanceComputer

This is a hook for the TypeConformanceComputer to implement the type argument check.

Overrides:

doIsConformantTypeArguments in class RawTypeConformanceComputer

doIsConformantOuterType

protected int doIsConformantOuterType(LightweightTypeReference left,
                                      LightweightTypeReference right,
                                      int flags)

doIsConformant

protected int doIsConformant(FunctionTypeReference left,
                             FunctionTypeReference right,
                             int flags)

Overrides:

doIsConformant in class RawTypeConformanceComputer

getCommonSuperType

public LightweightTypeReference getCommonSuperType(java.util.List<LightweightTypeReference> types,
                                                   ITypeReferenceOwner owner)

Compute the common super type for the given types. May return null in case one of the types is primitive void but not all of them are.

isClass

protected boolean isClass(org.eclipse.xtext.common.types.JvmType type)

initializeDistance

protected void initializeDistance(LightweightTypeReference firstType,
                                  com.google.common.collect.Multimap<org.eclipse.xtext.common.types.JvmType,LightweightTypeReference> all,
                                  com.google.common.collect.Multiset<org.eclipse.xtext.common.types.JvmType> cumulatedDistance)

cumulateDistance

protected void cumulateDistance(java.util.List<LightweightTypeReference> references,
                                com.google.common.collect.Multimap<org.eclipse.xtext.common.types.JvmType,LightweightTypeReference> all,
                                com.google.common.collect.Multiset<org.eclipse.xtext.common.types.JvmType> cumulatedDistance)

Keeps the cumulated distance for all the common raw super types of the given references. Interfaces that are more directly implemented will get a lower total count than more general interfaces.

inplaceSortByDistanceAndName

protected void inplaceSortByDistanceAndName(java.util.List<com.google.common.collect.Multiset.Entry<org.eclipse.xtext.common.types.JvmType>> candidates)

replacePrimitivesAndRemoveAnyReferences

protected java.util.List<LightweightTypeReference> replacePrimitivesAndRemoveAnyReferences(java.util.List<LightweightTypeReference> types)

containsPrimitiveOrAnyReferences

protected boolean containsPrimitiveOrAnyReferences(java.util.List<LightweightTypeReference> types)

getFirstForRawType

protected LightweightTypeReference getFirstForRawType(com.google.common.collect.Multimap<org.eclipse.xtext.common.types.JvmType,LightweightTypeReference> all,
                                                      org.eclipse.xtext.common.types.JvmType rawType)

getTypeParametersForSupertype

protected LightweightTypeReference getTypeParametersForSupertype(com.google.common.collect.Multimap<org.eclipse.xtext.common.types.JvmType,LightweightTypeReference> all,
                                                                 org.eclipse.xtext.common.types.JvmType rawType,
                                                                 ITypeReferenceOwner owner,
                                                                 java.util.List<LightweightTypeReference> initiallyRequested)

enhanceSuperType

protected boolean enhanceSuperType(java.util.List<LightweightTypeReference> superTypes,
                                   java.util.List<LightweightTypeReference> initiallyRequested,
                                   ParameterizedTypeReference result)

getCommonParameterSuperType

public LightweightTypeReference getCommonParameterSuperType(java.util.List<LightweightTypeReference> types,
                                                            java.util.List<LightweightTypeReference> initiallyRequested,
                                                            ITypeReferenceOwner owner)

isRecursiveRequest

protected boolean isRecursiveRequest(java.util.List<LightweightTypeReference> types,
                                     java.util.Set<java.lang.String> allNames,
                                     java.util.List<LightweightTypeReference> initiallyRequested)

getMostSpecialType

public LightweightTypeReference getMostSpecialType(java.util.List<LightweightTypeReference> candidates)

addComponentType

protected void addComponentType(LightweightTypeReference reference,
                                java.util.List<LightweightTypeReference> result)

conformsToAll

protected LightweightTypeReference conformsToAll(LightweightTypeReference type,
                                                 java.util.List<LightweightTypeReference> types)