org.eclipse.xtext.common.types.util
Class AnyTypeConformanceStrategy

java.lang.Object
  org.eclipse.xtext.common.types.util.AbstractTypeReferenceVisitorWithParameter<Parameter,Result>
      org.eclipse.xtext.common.types.util.AbstractTypeReferenceVisitorWithParameter.InheritanceAware<TypeConformanceComputationArgument.Internal<T>,TypeConformanceResult>
          org.eclipse.xtext.common.types.util.AbstractConformanceVisitor<T>
              org.eclipse.xtext.common.types.util.TypeConformanceStrategy<JvmAnyTypeReference>
                  org.eclipse.xtext.common.types.util.AnyTypeConformanceStrategy

All Implemented Interfaces:

ITypeReferenceVisitorWithParameter<TypeConformanceComputationArgument.Internal<JvmAnyTypeReference>,TypeConformanceResult>

public class AnyTypeConformanceStrategy
extends TypeConformanceStrategy<JvmAnyTypeReference>

Only the any type can be assigned to the any type.

Author:

Sebastian Zarnekow - Initial contribution and API

Nested Class Summary

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

AbstractTypeReferenceVisitorWithParameter.InheritanceAware<Parameter,Result>

Field Summary

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

conformanceComputer

Constructor Summary

protected

AnyTypeConformanceStrategy(TypeConformanceComputer conformanceComputer)

Method Summary

TypeConformanceResult	doVisitAnyTypeReference(JvmAnyTypeReference left, JvmAnyTypeReference right, TypeConformanceComputationArgument.Internal<JvmAnyTypeReference> param)
TypeConformanceResult	doVisitTypeReference(JvmAnyTypeReference left, JvmTypeReference right, TypeConformanceComputationArgument.Internal<JvmAnyTypeReference> param)

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

doVisitAnyTypeReference, doVisitCompoundTypeReference, doVisitCompoundTypeReference, doVisitDelegateTypeReference, doVisitDelegateTypeReference, doVisitGenericArrayTypeReference, doVisitGenericArrayTypeReference, doVisitMultiTypeReference, doVisitMultiTypeReference, doVisitParameterizedTypeReference, doVisitParameterizedTypeReference, doVisitSpecializedTypeReference, doVisitSpecializedTypeReference, doVisitSynonymTypeReference, doVisitSynonymTypeReference, doVisitTypeReference, doVisitUnknownTypeReference, doVisitUnknownTypeReference, doVisitWildcardTypeReference, doVisitWildcardTypeReference

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

handleNullReference

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

visit

Methods inherited from class java.lang.Object

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

Constructor Detail

AnyTypeConformanceStrategy

protected AnyTypeConformanceStrategy(TypeConformanceComputer conformanceComputer)

Method Detail

doVisitAnyTypeReference

public TypeConformanceResult doVisitAnyTypeReference(JvmAnyTypeReference left,
                                                     JvmAnyTypeReference right,
                                                     TypeConformanceComputationArgument.Internal<JvmAnyTypeReference> param)

Overrides:

doVisitAnyTypeReference in class TypeConformanceStrategy<JvmAnyTypeReference>

doVisitTypeReference

public TypeConformanceResult doVisitTypeReference(JvmAnyTypeReference left,
                                                  JvmTypeReference right,
                                                  TypeConformanceComputationArgument.Internal<JvmAnyTypeReference> param)

Overrides:

doVisitTypeReference in class TypeConformanceStrategy<JvmAnyTypeReference>