diff --git a/src/java.base/share/classes/java/lang/reflect/InvocationHandler.java b/src/java.base/share/classes/java/lang/reflect/InvocationHandler.java index c35e460ea817f..88da948d863f4 100644 --- a/src/java.base/share/classes/java/lang/reflect/InvocationHandler.java +++ b/src/java.base/share/classes/java/lang/reflect/InvocationHandler.java @@ -25,6 +25,9 @@ package java.lang.reflect; +import org.checkerframework.framework.qual.AnnotatedFor; +import org.checkerframework.checker.nullness.qual.Nullable; + /** * {@code InvocationHandler} is the interface implemented by * the invocation handler of a proxy instance. @@ -38,6 +41,7 @@ * @see Proxy * @since 1.3 */ +@AnnotatedFor({"nullness"}) public interface InvocationHandler { /** @@ -90,6 +94,6 @@ public interface InvocationHandler { * * @see UndeclaredThrowableException */ - public Object invoke(Object proxy, Method method, Object[] args) + public Object invoke(Object proxy, Method method, @Nullable Object @Nullable [] args) throws Throwable; }