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

Klasse ImplicitNullAnnotationVerifier

java.lang.Object

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

Bekannte direkte Unterklassen:

MethodVerifier

public class ImplicitNullAnnotationVerifier
extends 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.

Feldübersicht

Felder

Modifizierer und Typ	Feld	Beschreibung
protected LookupEnvironment	environment

Konstruktorübersicht

Konstruktoren

Konstruktor	Beschreibung
ImplicitNullAnnotationVerifier(LookupEnvironment environment, boolean inheritNullAnnotations)

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
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, Boolean inheritedNonNullness, org.aspectj.org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.InheritedNonNullnessInfo nullnessInfo)

Von Klasse geerbte Methoden java.lang.Object

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

Felddetails

environment

protected LookupEnvironment environment

Konstruktordetails

ImplicitNullAnnotationVerifier

public ImplicitNullAnnotationVerifier(LookupEnvironment environment,
 boolean inheritNullAnnotations)

Methodendetails

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,
 Boolean inheritedNonNullness,
 org.aspectj.org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.InheritedNonNullnessInfo nullnessInfo)