org.eclipse.xtext.xbase.typesystem.override

Class OverrideTester

java.lang.Object

org.eclipse.xtext.xbase.typesystem.override.OverrideTester

public class OverrideTester
extends Object

Utility to compute information about the inheritance relationship of two operations.

Author:

Sebastian Zarnekow - Initial contribution and API

Constructor Summary

Constructors

Constructor and Description
OverrideTester()
OverrideTester(IVisibilityHelper visibilityHelper)

Method Summary

Methods

Modifier and Type	Method and Description
protected void	addAdditionalDetails(AbstractResolvedOperation overriding, AbstractResolvedOperation overridden, EnumSet<IOverrideCheckResult.OverrideCheckDetails> result)
protected void	addExceptionDetails(AbstractResolvedOperation overriding, AbstractResolvedOperation overridden, EnumSet<IOverrideCheckResult.OverrideCheckDetails> result)
protected void	addReturnTypeDetails(AbstractResolvedOperation overriding, AbstractResolvedOperation overridden, EnumSet<IOverrideCheckResult.OverrideCheckDetails> result)
protected EnumSet<IOverrideCheckResult.OverrideCheckDetails>	getAllDetails(AbstractResolvedOperation overriding, JvmOperation overridden, IOverrideCheckResult.OverrideCheckDetails primary)
protected IOverrideCheckResult.OverrideCheckDetails	getPrimaryValidDetail(IResolvedOperation overriding, JvmOperation overridden)
protected boolean	isConflictingDefaultImplementation(AbstractResolvedOperation overriding, AbstractResolvedOperation overridden)
protected boolean	isMatchingParameterList(AbstractResolvedOperation overriding, AbstractResolvedOperation overridden)
protected boolean	isMatchingTypeParameters(AbstractResolvedOperation overriding, AbstractResolvedOperation overridden)
protected boolean	isMorePrivateThan(JvmVisibility o1, JvmVisibility o2)
protected boolean	isSameErasure(AbstractResolvedOperation overriding, AbstractResolvedOperation overridden)
IOverrideCheckResult	isSubsignature(AbstractResolvedOperation overriding, JvmOperation overridden, boolean checkInheritance) Checks if the overriding method and the given overridden candidate have compatible subsignatures according to JLS 8.4.2.

Methods inherited from class java.lang.Object

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

Constructor Detail

OverrideTester

@Inject
public OverrideTester(IVisibilityHelper visibilityHelper)

OverrideTester

public OverrideTester()

Method Detail

isSubsignature

public IOverrideCheckResult isSubsignature(AbstractResolvedOperation overriding,
                                  JvmOperation overridden,
                                  boolean checkInheritance)

Checks if the overriding method and the given overridden candidate have compatible subsignatures according to JLS 8.4.2. Uses information about static-ness and visibility for early exits. The implemented algorithm pretty much mirrors the one from class org.eclipse.jdt.internal.corext.util.MethodOverrideTester.

Parameters:

checkInheritance - true if it is unknown whether the given operations are declared in a valid type hierarchy.

getAllDetails

protected EnumSet<IOverrideCheckResult.OverrideCheckDetails> getAllDetails(AbstractResolvedOperation overriding,
                                                               JvmOperation overridden,
                                                               IOverrideCheckResult.OverrideCheckDetails primary)

isSameErasure

protected boolean isSameErasure(AbstractResolvedOperation overriding,
                    AbstractResolvedOperation overridden)

addAdditionalDetails

protected void addAdditionalDetails(AbstractResolvedOperation overriding,
                        AbstractResolvedOperation overridden,
                        EnumSet<IOverrideCheckResult.OverrideCheckDetails> result)

addExceptionDetails

protected void addExceptionDetails(AbstractResolvedOperation overriding,
                       AbstractResolvedOperation overridden,
                       EnumSet<IOverrideCheckResult.OverrideCheckDetails> result)

addReturnTypeDetails

protected void addReturnTypeDetails(AbstractResolvedOperation overriding,
                        AbstractResolvedOperation overridden,
                        EnumSet<IOverrideCheckResult.OverrideCheckDetails> result)

isMorePrivateThan

protected boolean isMorePrivateThan(JvmVisibility o1,
                        JvmVisibility o2)

isConflictingDefaultImplementation

protected boolean isConflictingDefaultImplementation(AbstractResolvedOperation overriding,
                                         AbstractResolvedOperation overridden)

isMatchingParameterList

protected boolean isMatchingParameterList(AbstractResolvedOperation overriding,
                              AbstractResolvedOperation overridden)

isMatchingTypeParameters

protected boolean isMatchingTypeParameters(AbstractResolvedOperation overriding,
                               AbstractResolvedOperation overridden)

getPrimaryValidDetail

protected IOverrideCheckResult.OverrideCheckDetails getPrimaryValidDetail(IResolvedOperation overriding,
                                                              JvmOperation overridden)