org.eclipse.xtext.xbase.typing
Class XbaseTypeConformanceComputer

java.lang.Object
  org.eclipse.xtext.common.types.util.TypeConformanceComputer
      org.eclipse.xtext.xbase.typing.XbaseTypeConformanceComputer

public class XbaseTypeConformanceComputer
extends TypeConformanceComputer

Author:

Jan Koehnlein - Initial contribution and API, Sven Efftinge

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.xtext.common.types.util.TypeConformanceComputer

TypeConformanceComputer.ArgumentResolver, TypeConformanceComputer.MaxDistanceRawTypeAcceptor

Field Summary

Fields inherited from class org.eclipse.xtext.common.types.util.TypeConformanceComputer

factory, leftDispatcher, primitives, superTypeCollector, typeArgumentContextProvider, typeReferences

Constructor Summary

XbaseTypeConformanceComputer()

Method Summary

TypeConformanceResult	isConformant(JvmTypeReference left, JvmTypeReference right, TypeConformanceComputationArgument flags)
protected boolean	isXbaseFunctionType(JvmTypeReference ref)

Methods inherited from class org.eclipse.xtext.common.types.util.TypeConformanceComputer

allTypesAreArrays, conformsToAll, containsPrimitiveOrAnyReferences, createStrategySelector, cumulateDistance, findContext, getCommonParameterSuperType, getCommonSuperType, getComponentTypes, getFirstForRawType, getPrimitives, getSuperTypeCollector, getTypeArgumentContextProvider, getTypeParametersForSupertype, getTypeReferences, initializeDistance, inplaceSortByDistanceAndName, isClass, isConformant, isConformant, isPrimitiveType, isPrimitiveVoid, replacePrimitivesAndRemoveAnyReferences, setFactory, setPrimitives, setSuperTypeCollector, setTypeArgumentContextProvider, setTypeReferences

Methods inherited from class java.lang.Object

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

Constructor Detail

XbaseTypeConformanceComputer

public XbaseTypeConformanceComputer()

Method Detail

isConformant

public TypeConformanceResult isConformant(JvmTypeReference left,
                                          JvmTypeReference right,
                                          TypeConformanceComputationArgument flags)

Overrides:

isConformant in class TypeConformanceComputer

isXbaseFunctionType

protected boolean isXbaseFunctionType(JvmTypeReference ref)