public class LegacyTypeConformanceComputer extends XbaseTypeConformanceComputer
TypeConformanceComputer.ArgumentResolver, TypeConformanceComputer.MaxDistanceRawTypeAcceptor
factory, leftDispatcher, primitives, superTypeCollector, typeReferences
Constructor and Description |
---|
LegacyTypeConformanceComputer() |
Modifier and Type | Method and Description |
---|---|
JvmTypeReference |
getCommonSuperType(java.util.List<JvmTypeReference> types)
Compute the common super type for the given types.
|
protected org.eclipse.emf.ecore.resource.Resource |
getResource(JvmTypeReference reference) |
TypeConformanceResult |
isConformant(JvmTypeReference left,
JvmTypeReference right,
TypeConformanceComputationArgument flags) |
getTypeArgumentContextProvider, isXbaseFunctionType
allTypesAreArrays, conformsToAll, containsPrimitiveOrAnyReferences, createStrategySelector, cumulateDistance, findContext, getCommonParameterSuperType, getComponentTypes, getFirstForRawType, getPrimitives, getSuperTypeCollector, getTypeParametersForSupertype, getTypeReferences, initializeDistance, inplaceSortByDistanceAndName, isClass, isConformant, isConformant, isPrimitiveType, isPrimitiveVoid, replacePrimitivesAndRemoveAnyReferences, setFactory, setPrimitives, setSuperTypeCollector, setTypeArgumentContextProvider, setTypeReferences
public JvmTypeReference getCommonSuperType(java.util.List<JvmTypeReference> types)
TypeConformanceComputer
null
in case one of the types is primitive void but not all
of them are.getCommonSuperType
in class TypeConformanceComputer
public TypeConformanceResult isConformant(JvmTypeReference left, JvmTypeReference right, TypeConformanceComputationArgument flags)
isConformant
in class XbaseTypeConformanceComputer
protected org.eclipse.emf.ecore.resource.Resource getResource(JvmTypeReference reference)