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

java.lang.Object
  extended by org.aspectj.org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier
      extended by 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
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, 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