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

Class ImplicitNullAnnotationVerifier

java.lang.Object

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

Direct Known Subclasses:

MethodVerifier

public class ImplicitNullAnnotationVerifier
extends java.lang.Object

Extracted slice from MethodVerifier15, which is responsible only for implicit null annotations. First, if enabled, it detects overridden methods from which null annotations are inherited. Next, also default nullness is filled into remaining empty slots. After all implicit annotations have been filled in compatibility is checked and problems are complained.

Field Summary

Fields

Modifier and Type	Field and Description
protected LookupEnvironment	environment

Constructor Summary

Constructors

Constructor and Description
ImplicitNullAnnotationVerifier(LookupEnvironment environment, boolean inheritNullAnnotations)

Method Summary

Modifier and Type	Method and Description
void	checkImplicitNullAnnotations(MethodBinding currentMethod, AbstractMethodDeclaration srcMethod, boolean complain, Scope scope) Check and fill in implicit annotations from overridden methods and from default.
static void	ensureNullnessIsKnown(MethodBinding methodBinding, Scope scope)
protected void	recordDeferredInheritedNullness(Scope scope, ASTNode location, MethodBinding inheritedMethod, java.lang.Boolean inheritedNonNullness, org.aspectj.org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.InheritedNonNullnessInfo nullnessInfo)

Methods inherited from class java.lang.Object

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

Field Detail

environment

protected LookupEnvironment environment

Constructor Detail

ImplicitNullAnnotationVerifier

public ImplicitNullAnnotationVerifier(LookupEnvironment environment,
                                      boolean inheritNullAnnotations)

Method Detail

ensureNullnessIsKnown

public static void ensureNullnessIsKnown(MethodBinding methodBinding,
                                         Scope scope)

checkImplicitNullAnnotations

public void checkImplicitNullAnnotations(MethodBinding currentMethod,
                                         AbstractMethodDeclaration srcMethod,
                                         boolean complain,
                                         Scope scope)

Check and fill in implicit annotations from overridden methods and from default. Precondition: caller has checked whether annotation-based null analysis is enabled.

recordDeferredInheritedNullness

protected void recordDeferredInheritedNullness(Scope scope,
                                               ASTNode location,
                                               MethodBinding inheritedMethod,
                                               java.lang.Boolean inheritedNonNullness,
                                               org.aspectj.org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.InheritedNonNullnessInfo nullnessInfo)