org.aspectj.org.eclipse.jdt.internal.compiler.lookup

Class MethodVerifier

java.lang.Object

org.aspectj.org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier

org.aspectj.org.eclipse.jdt.internal.compiler.lookup.MethodVerifier

public abstract class MethodVerifier
extends ImplicitNullAnnotationVerifier

Field Summary

Fields inherited from class org.aspectj.org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier

environment

Method Summary

Modifier and Type	Method and Description
static boolean	areReturnTypesCompatible(MethodBinding one, MethodBinding two, LookupEnvironment environment)
protected boolean	canOverridingMethodDifferInErasure(MethodBinding overridingMethod, MethodBinding inheritedMethod)
static MethodBinding	computeSubstituteMethod(MethodBinding inheritedMethod, MethodBinding currentMethod, LookupEnvironment environment)
boolean	doesMethodOverride(MethodBinding method, MethodBinding inheritedMethod)
static boolean	doesMethodOverride(MethodBinding method, MethodBinding inheritedMethod, LookupEnvironment environment)
boolean	isMethodSubsignature(MethodBinding method, MethodBinding inheritedMethod)
static boolean	isSubstituteParameterSubsignature(MethodBinding method, MethodBinding substituteMethod, LookupEnvironment environment)
void	reportRawReferences(MethodBinding currentMethod, MethodBinding inheritedMethod)
java.lang.String	toString()

Methods inherited from class org.aspectj.org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier

checkImplicitNullAnnotations, ensureNullnessIsKnown, recordDeferredInheritedNullness

Methods inherited from class java.lang.Object

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

Method Detail

areReturnTypesCompatible

public static boolean areReturnTypesCompatible(MethodBinding one,
                                               MethodBinding two,
                                               LookupEnvironment environment)

reportRawReferences

public void reportRawReferences(MethodBinding currentMethod,
                                MethodBinding inheritedMethod)

canOverridingMethodDifferInErasure

protected boolean canOverridingMethodDifferInErasure(MethodBinding overridingMethod,
                                                     MethodBinding inheritedMethod)

computeSubstituteMethod

public static MethodBinding computeSubstituteMethod(MethodBinding inheritedMethod,
                                                    MethodBinding currentMethod,
                                                    LookupEnvironment environment)

doesMethodOverride

public boolean doesMethodOverride(MethodBinding method,
                                  MethodBinding inheritedMethod)

doesMethodOverride

public static boolean doesMethodOverride(MethodBinding method,
                                         MethodBinding inheritedMethod,
                                         LookupEnvironment environment)

isMethodSubsignature

public boolean isMethodSubsignature(MethodBinding method,
                                    MethodBinding inheritedMethod)

isSubstituteParameterSubsignature

public static boolean isSubstituteParameterSubsignature(MethodBinding method,
                                                        MethodBinding substituteMethod,
                                                        LookupEnvironment environment)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object