• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 /*
2  * Copyright (C) 2005 The Guava Authors
3  *
4  * Licensed under the Apache License, Version 2.0 (the "License");
5  * you may not use this file except in compliance with the License.
6  * You may obtain a copy of the License at
7  *
8  * http://www.apache.org/licenses/LICENSE-2.0
9  *
10  * Unless required by applicable law or agreed to in writing, software
11  * distributed under the License is distributed on an "AS IS" BASIS,
12  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13  * See the License for the specific language governing permissions and
14  * limitations under the License.
15  */
16 
17 package com.google.common.testing;
18 
19 import static com.google.common.base.Preconditions.checkArgument;
20 import static com.google.common.base.Preconditions.checkNotNull;
21 
22 import com.google.common.annotations.GwtIncompatible;
23 import com.google.common.annotations.J2ktIncompatible;
24 import com.google.common.base.Converter;
25 import com.google.common.base.Objects;
26 import com.google.common.collect.ClassToInstanceMap;
27 import com.google.common.collect.ImmutableList;
28 import com.google.common.collect.ImmutableSet;
29 import com.google.common.collect.Lists;
30 import com.google.common.collect.Maps;
31 import com.google.common.collect.MutableClassToInstanceMap;
32 import com.google.common.reflect.Invokable;
33 import com.google.common.reflect.Parameter;
34 import com.google.common.reflect.Reflection;
35 import com.google.common.reflect.TypeToken;
36 import com.google.errorprone.annotations.CanIgnoreReturnValue;
37 import java.lang.annotation.Annotation;
38 import java.lang.reflect.AnnotatedType;
39 import java.lang.reflect.Constructor;
40 import java.lang.reflect.InvocationTargetException;
41 import java.lang.reflect.Member;
42 import java.lang.reflect.Method;
43 import java.lang.reflect.Modifier;
44 import java.lang.reflect.ParameterizedType;
45 import java.lang.reflect.Type;
46 import java.lang.reflect.TypeVariable;
47 import java.util.Arrays;
48 import java.util.List;
49 import java.util.concurrent.ConcurrentMap;
50 import junit.framework.Assert;
51 import junit.framework.AssertionFailedError;
52 import org.checkerframework.checker.nullness.qual.Nullable;
53 
54 /**
55  * A test utility that verifies that your methods and constructors throw {@link
56  * NullPointerException} or {@link UnsupportedOperationException} whenever null is passed to a
57  * parameter whose declaration or type isn't annotated with an annotation with the simple name
58  * {@code Nullable}, {@code CheckForNull}, {@code NullableType}, or {@code NullableDecl}.
59  *
60  * <p>The tested methods and constructors are invoked -- each time with one parameter being null and
61  * the rest not null -- and the test fails if no expected exception is thrown. {@code
62  * NullPointerTester} uses best effort to pick non-null default values for many common JDK and Guava
63  * types, and also for interfaces and public classes that have public parameter-less constructors.
64  * When the non-null default value for a particular parameter type cannot be provided by {@code
65  * NullPointerTester}, the caller can provide a custom non-null default value for the parameter type
66  * via {@link #setDefault}.
67  *
68  * @author Kevin Bourrillion
69  * @since 10.0
70  */
71 @GwtIncompatible
72 @J2ktIncompatible
73 @ElementTypesAreNonnullByDefault
74 public final class NullPointerTester {
75 
76   private final ClassToInstanceMap<Object> defaults = MutableClassToInstanceMap.create();
77   private final List<Member> ignoredMembers = Lists.newArrayList();
78 
79   private ExceptionTypePolicy policy = ExceptionTypePolicy.NPE_OR_UOE;
80 
NullPointerTester()81   public NullPointerTester() {
82     try {
83       /*
84        * Converter.apply has a non-nullable parameter type but doesn't throw for null arguments. For
85        * more information, see the comments in that class.
86        *
87        * We already know that that's how it behaves, and subclasses of Converter can't change that
88        * behavior. So there's no sense in making all subclass authors exclude the method from any
89        * NullPointerTester tests that they have.
90        */
91       ignoredMembers.add(Converter.class.getMethod("apply", Object.class));
92     } catch (NoSuchMethodException shouldBeImpossible) {
93       // OK, fine: If it doesn't exist, then there's chance that we're going to be asked to test it.
94     }
95   }
96 
97   /**
98    * Sets a default value that can be used for any parameter of type {@code type}. Returns this
99    * object.
100    */
101   @CanIgnoreReturnValue
setDefault(Class<T> type, T value)102   public <T> NullPointerTester setDefault(Class<T> type, T value) {
103     defaults.putInstance(type, checkNotNull(value));
104     return this;
105   }
106 
107   /**
108    * Ignore {@code method} in the tests that follow. Returns this object.
109    *
110    * @since 13.0
111    */
112   @CanIgnoreReturnValue
ignore(Method method)113   public NullPointerTester ignore(Method method) {
114     ignoredMembers.add(checkNotNull(method));
115     return this;
116   }
117 
118   /**
119    * Ignore {@code constructor} in the tests that follow. Returns this object.
120    *
121    * @since 22.0
122    */
123   @CanIgnoreReturnValue
ignore(Constructor<?> constructor)124   public NullPointerTester ignore(Constructor<?> constructor) {
125     ignoredMembers.add(checkNotNull(constructor));
126     return this;
127   }
128 
129   /**
130    * Runs {@link #testConstructor} on every constructor in class {@code c} that has at least {@code
131    * minimalVisibility}.
132    */
testConstructors(Class<?> c, Visibility minimalVisibility)133   public void testConstructors(Class<?> c, Visibility minimalVisibility) {
134     for (Constructor<?> constructor : c.getDeclaredConstructors()) {
135       if (minimalVisibility.isVisible(constructor) && !isIgnored(constructor)) {
136         testConstructor(constructor);
137       }
138     }
139   }
140 
141   /** Runs {@link #testConstructor} on every public constructor in class {@code c}. */
testAllPublicConstructors(Class<?> c)142   public void testAllPublicConstructors(Class<?> c) {
143     testConstructors(c, Visibility.PUBLIC);
144   }
145 
146   /**
147    * Runs {@link #testMethod} on every static method of class {@code c} that has at least {@code
148    * minimalVisibility}, including those "inherited" from superclasses of the same package.
149    */
testStaticMethods(Class<?> c, Visibility minimalVisibility)150   public void testStaticMethods(Class<?> c, Visibility minimalVisibility) {
151     for (Method method : minimalVisibility.getStaticMethods(c)) {
152       if (!isIgnored(method)) {
153         testMethod(null, method);
154       }
155     }
156   }
157 
158   /**
159    * Runs {@link #testMethod} on every public static method of class {@code c}, including those
160    * "inherited" from superclasses of the same package.
161    */
testAllPublicStaticMethods(Class<?> c)162   public void testAllPublicStaticMethods(Class<?> c) {
163     testStaticMethods(c, Visibility.PUBLIC);
164   }
165 
166   /**
167    * Runs {@link #testMethod} on every instance method of the class of {@code instance} with at
168    * least {@code minimalVisibility}, including those inherited from superclasses of the same
169    * package.
170    */
testInstanceMethods(Object instance, Visibility minimalVisibility)171   public void testInstanceMethods(Object instance, Visibility minimalVisibility) {
172     for (Method method : getInstanceMethodsToTest(instance.getClass(), minimalVisibility)) {
173       testMethod(instance, method);
174     }
175   }
176 
getInstanceMethodsToTest(Class<?> c, Visibility minimalVisibility)177   ImmutableList<Method> getInstanceMethodsToTest(Class<?> c, Visibility minimalVisibility) {
178     ImmutableList.Builder<Method> builder = ImmutableList.builder();
179     for (Method method : minimalVisibility.getInstanceMethods(c)) {
180       if (!isIgnored(method)) {
181         builder.add(method);
182       }
183     }
184     return builder.build();
185   }
186 
187   /**
188    * Runs {@link #testMethod} on every public instance method of the class of {@code instance},
189    * including those inherited from superclasses of the same package.
190    */
testAllPublicInstanceMethods(Object instance)191   public void testAllPublicInstanceMethods(Object instance) {
192     testInstanceMethods(instance, Visibility.PUBLIC);
193   }
194 
195   /**
196    * Verifies that {@code method} produces a {@link NullPointerException} or {@link
197    * UnsupportedOperationException} whenever <i>any</i> of its non-nullable parameters are null.
198    *
199    * @param instance the instance to invoke {@code method} on, or null if {@code method} is static
200    */
testMethod(@ullable Object instance, Method method)201   public void testMethod(@Nullable Object instance, Method method) {
202     Class<?>[] types = method.getParameterTypes();
203     for (int nullIndex = 0; nullIndex < types.length; nullIndex++) {
204       testMethodParameter(instance, method, nullIndex);
205     }
206   }
207 
208   /**
209    * Verifies that {@code ctor} produces a {@link NullPointerException} or {@link
210    * UnsupportedOperationException} whenever <i>any</i> of its non-nullable parameters are null.
211    */
testConstructor(Constructor<?> ctor)212   public void testConstructor(Constructor<?> ctor) {
213     Class<?> declaringClass = ctor.getDeclaringClass();
214     checkArgument(
215         Modifier.isStatic(declaringClass.getModifiers())
216             || declaringClass.getEnclosingClass() == null,
217         "Cannot test constructor of non-static inner class: %s",
218         declaringClass.getName());
219     Class<?>[] types = ctor.getParameterTypes();
220     for (int nullIndex = 0; nullIndex < types.length; nullIndex++) {
221       testConstructorParameter(ctor, nullIndex);
222     }
223   }
224 
225   /**
226    * Verifies that {@code method} produces a {@link NullPointerException} or {@link
227    * UnsupportedOperationException} when the parameter in position {@code paramIndex} is null. If
228    * this parameter is marked nullable, this method does nothing.
229    *
230    * @param instance the instance to invoke {@code method} on, or null if {@code method} is static
231    */
testMethodParameter( @ullable final Object instance, final Method method, int paramIndex)232   public void testMethodParameter(
233       @Nullable final Object instance, final Method method, int paramIndex) {
234     method.setAccessible(true);
235     testParameter(instance, invokable(instance, method), paramIndex, method.getDeclaringClass());
236   }
237 
238   /**
239    * Verifies that {@code ctor} produces a {@link NullPointerException} or {@link
240    * UnsupportedOperationException} when the parameter in position {@code paramIndex} is null. If
241    * this parameter is marked nullable, this method does nothing.
242    */
testConstructorParameter(Constructor<?> ctor, int paramIndex)243   public void testConstructorParameter(Constructor<?> ctor, int paramIndex) {
244     ctor.setAccessible(true);
245     testParameter(null, Invokable.from(ctor), paramIndex, ctor.getDeclaringClass());
246   }
247 
248   /** Visibility of any method or constructor. */
249   public enum Visibility {
250     PACKAGE {
251       @Override
isVisible(int modifiers)252       boolean isVisible(int modifiers) {
253         return !Modifier.isPrivate(modifiers);
254       }
255     },
256 
257     PROTECTED {
258       @Override
isVisible(int modifiers)259       boolean isVisible(int modifiers) {
260         return Modifier.isPublic(modifiers) || Modifier.isProtected(modifiers);
261       }
262     },
263 
264     PUBLIC {
265       @Override
isVisible(int modifiers)266       boolean isVisible(int modifiers) {
267         return Modifier.isPublic(modifiers);
268       }
269     };
270 
isVisible(int modifiers)271     abstract boolean isVisible(int modifiers);
272 
273     /** Returns {@code true} if {@code member} is visible under {@code this} visibility. */
isVisible(Member member)274     final boolean isVisible(Member member) {
275       return isVisible(member.getModifiers());
276     }
277 
getStaticMethods(Class<?> cls)278     final Iterable<Method> getStaticMethods(Class<?> cls) {
279       ImmutableList.Builder<Method> builder = ImmutableList.builder();
280       for (Method method : getVisibleMethods(cls)) {
281         if (Invokable.from(method).isStatic()) {
282           builder.add(method);
283         }
284       }
285       return builder.build();
286     }
287 
getInstanceMethods(Class<?> cls)288     final Iterable<Method> getInstanceMethods(Class<?> cls) {
289       ConcurrentMap<Signature, Method> map = Maps.newConcurrentMap();
290       for (Method method : getVisibleMethods(cls)) {
291         if (!Invokable.from(method).isStatic()) {
292           map.putIfAbsent(new Signature(method), method);
293         }
294       }
295       return map.values();
296     }
297 
getVisibleMethods(Class<?> cls)298     private ImmutableList<Method> getVisibleMethods(Class<?> cls) {
299       // Don't use cls.getPackage() because it does nasty things like reading
300       // a file.
301       String visiblePackage = Reflection.getPackageName(cls);
302       ImmutableList.Builder<Method> builder = ImmutableList.builder();
303       for (Class<?> type : TypeToken.of(cls).getTypes().rawTypes()) {
304         if (!Reflection.getPackageName(type).equals(visiblePackage)) {
305           break;
306         }
307         for (Method method : type.getDeclaredMethods()) {
308           if (!method.isSynthetic() && isVisible(method)) {
309             builder.add(method);
310           }
311         }
312       }
313       return builder.build();
314     }
315   }
316 
317   private static final class Signature {
318     private final String name;
319     private final ImmutableList<Class<?>> parameterTypes;
320 
Signature(Method method)321     Signature(Method method) {
322       this(method.getName(), ImmutableList.copyOf(method.getParameterTypes()));
323     }
324 
Signature(String name, ImmutableList<Class<?>> parameterTypes)325     Signature(String name, ImmutableList<Class<?>> parameterTypes) {
326       this.name = name;
327       this.parameterTypes = parameterTypes;
328     }
329 
330     @Override
equals(@ullable Object obj)331     public boolean equals(@Nullable Object obj) {
332       if (obj instanceof Signature) {
333         Signature that = (Signature) obj;
334         return name.equals(that.name) && parameterTypes.equals(that.parameterTypes);
335       }
336       return false;
337     }
338 
339     @Override
hashCode()340     public int hashCode() {
341       return Objects.hashCode(name, parameterTypes);
342     }
343   }
344 
345   /**
346    * Verifies that {@code invokable} produces a {@link NullPointerException} or {@link
347    * UnsupportedOperationException} when the parameter in position {@code paramIndex} is null. If
348    * this parameter is marked nullable, this method does nothing.
349    *
350    * @param instance the instance to invoke {@code invokable} on, or null if {@code invokable} is
351    *     static
352    */
testParameter( @ullable Object instance, Invokable<?, ?> invokable, int paramIndex, Class<?> testedClass)353   private void testParameter(
354       @Nullable Object instance, Invokable<?, ?> invokable, int paramIndex, Class<?> testedClass) {
355     if (isPrimitiveOrNullable(invokable.getParameters().get(paramIndex))) {
356       return; // there's nothing to test
357     }
358     @Nullable Object[] params = buildParamList(invokable, paramIndex);
359     try {
360       @SuppressWarnings("unchecked") // We'll get a runtime exception if the type is wrong.
361       Invokable<Object, ?> unsafe = (Invokable<Object, ?>) invokable;
362       unsafe.invoke(instance, params);
363       Assert.fail(
364           "No exception thrown for parameter at index "
365               + paramIndex
366               + " from "
367               + invokable
368               + Arrays.toString(params)
369               + " for "
370               + testedClass);
371     } catch (InvocationTargetException e) {
372       Throwable cause = e.getCause();
373       if (policy.isExpectedType(cause)) {
374         return;
375       }
376       AssertionFailedError error =
377           new AssertionFailedError(
378               String.format(
379                   "wrong exception thrown from %s when passing null to %s parameter at index %s.%n"
380                       + "Full parameters: %s%n"
381                       + "Actual exception message: %s",
382                   invokable,
383                   invokable.getParameters().get(paramIndex).getType(),
384                   paramIndex,
385                   Arrays.toString(params),
386                   cause));
387       error.initCause(cause);
388       throw error;
389     } catch (IllegalAccessException e) {
390       throw new RuntimeException(e);
391     }
392   }
393 
buildParamList( Invokable<?, ?> invokable, int indexOfParamToSetToNull)394   private @Nullable Object[] buildParamList(
395       Invokable<?, ?> invokable, int indexOfParamToSetToNull) {
396     ImmutableList<Parameter> params = invokable.getParameters();
397     @Nullable Object[] args = new Object[params.size()];
398 
399     for (int i = 0; i < args.length; i++) {
400       Parameter param = params.get(i);
401       if (i != indexOfParamToSetToNull) {
402         args[i] = getDefaultValue(param.getType());
403         Assert.assertTrue(
404             "Can't find or create a sample instance for type '"
405                 + param.getType()
406                 + "'; please provide one using NullPointerTester.setDefault()",
407             args[i] != null || isNullable(param));
408       }
409     }
410     return args;
411   }
412 
getDefaultValue(TypeToken<T> type)413   private <T> @Nullable T getDefaultValue(TypeToken<T> type) {
414     // We assume that all defaults are generics-safe, even if they aren't,
415     // we take the risk.
416     @SuppressWarnings("unchecked")
417     T defaultValue = (T) defaults.getInstance(type.getRawType());
418     if (defaultValue != null) {
419       return defaultValue;
420     }
421     @SuppressWarnings("unchecked") // All arbitrary instances are generics-safe
422     T arbitrary = (T) ArbitraryInstances.get(type.getRawType());
423     if (arbitrary != null) {
424       return arbitrary;
425     }
426     if (type.getRawType() == Class.class) {
427       // If parameter is Class<? extends Foo>, we return Foo.class
428       @SuppressWarnings("unchecked")
429       T defaultClass = (T) getFirstTypeParameter(type.getType()).getRawType();
430       return defaultClass;
431     }
432     if (type.getRawType() == TypeToken.class) {
433       // If parameter is TypeToken<? extends Foo>, we return TypeToken<Foo>.
434       @SuppressWarnings("unchecked")
435       T defaultType = (T) getFirstTypeParameter(type.getType());
436       return defaultType;
437     }
438     if (type.getRawType() == Converter.class) {
439       TypeToken<?> convertFromType = type.resolveType(Converter.class.getTypeParameters()[0]);
440       TypeToken<?> convertToType = type.resolveType(Converter.class.getTypeParameters()[1]);
441       @SuppressWarnings("unchecked") // returns default for both F and T
442       T defaultConverter = (T) defaultConverter(convertFromType, convertToType);
443       return defaultConverter;
444     }
445     if (type.getRawType().isInterface()) {
446       return newDefaultReturningProxy(type);
447     }
448     return null;
449   }
450 
defaultConverter( final TypeToken<F> convertFromType, final TypeToken<T> convertToType)451   private <F, T> Converter<F, T> defaultConverter(
452       final TypeToken<F> convertFromType, final TypeToken<T> convertToType) {
453     return new Converter<F, T>() {
454       @Override
455       protected T doForward(F a) {
456         return doConvert(convertToType);
457       }
458 
459       @Override
460       protected F doBackward(T b) {
461         return doConvert(convertFromType);
462       }
463 
464       private /*static*/ <S> S doConvert(TypeToken<S> type) {
465         return checkNotNull(getDefaultValue(type));
466       }
467     };
468   }
469 
470   private static TypeToken<?> getFirstTypeParameter(Type type) {
471     if (type instanceof ParameterizedType) {
472       return TypeToken.of(((ParameterizedType) type).getActualTypeArguments()[0]);
473     } else {
474       return TypeToken.of(Object.class);
475     }
476   }
477 
478   private <T> T newDefaultReturningProxy(final TypeToken<T> type) {
479     return new DummyProxy() {
480       @Override
481       <R> @Nullable R dummyReturnValue(TypeToken<R> returnType) {
482         return getDefaultValue(returnType);
483       }
484     }.newProxy(type);
485   }
486 
487   private static Invokable<?, ?> invokable(@Nullable Object instance, Method method) {
488     if (instance == null) {
489       return Invokable.from(method);
490     } else {
491       return TypeToken.of(instance.getClass()).method(method);
492     }
493   }
494 
495   static boolean isPrimitiveOrNullable(Parameter param) {
496     return param.getType().getRawType().isPrimitive() || isNullable(param);
497   }
498 
499   private static final ImmutableSet<String> NULLABLE_ANNOTATION_SIMPLE_NAMES =
500       ImmutableSet.of("CheckForNull", "Nullable", "NullableDecl", "NullableType");
501 
502   static boolean isNullable(Invokable<?, ?> invokable) {
503     return NULLNESS_ANNOTATION_READER.isNullable(invokable);
504   }
505 
506   static boolean isNullable(Parameter param) {
507     return NULLNESS_ANNOTATION_READER.isNullable(param);
508   }
509 
510   private static boolean containsNullable(Annotation[] annotations) {
511     for (Annotation annotation : annotations) {
512       if (NULLABLE_ANNOTATION_SIMPLE_NAMES.contains(annotation.annotationType().getSimpleName())) {
513         return true;
514       }
515     }
516     return false;
517   }
518 
519   private boolean isIgnored(Member member) {
520     return member.isSynthetic() || ignoredMembers.contains(member) || isEquals(member);
521   }
522 
523   /**
524    * Returns true if the given member is a method that overrides {@link Object#equals(Object)}.
525    *
526    * <p>The documentation for {@link Object#equals} says it should accept null, so don't require an
527    * explicit {@code @Nullable} annotation (see <a
528    * href="https://github.com/google/guava/issues/1819">#1819</a>).
529    *
530    * <p>It is not necessary to consider visibility, return type, or type parameter declarations. The
531    * declaration of a method with the same name and formal parameters as {@link Object#equals} that
532    * is not public and boolean-returning, or that declares any type parameters, would be rejected at
533    * compile-time.
534    */
535   private static boolean isEquals(Member member) {
536     if (!(member instanceof Method)) {
537       return false;
538     }
539     Method method = (Method) member;
540     if (!method.getName().contentEquals("equals")) {
541       return false;
542     }
543     Class<?>[] parameters = method.getParameterTypes();
544     if (parameters.length != 1) {
545       return false;
546     }
547     if (!parameters[0].equals(Object.class)) {
548       return false;
549     }
550     return true;
551   }
552 
553   /** Strategy for exception type matching used by {@link NullPointerTester}. */
554   private enum ExceptionTypePolicy {
555 
556     /**
557      * Exceptions should be {@link NullPointerException} or {@link UnsupportedOperationException}.
558      */
559     NPE_OR_UOE() {
560       @Override
561       public boolean isExpectedType(Throwable cause) {
562         return cause instanceof NullPointerException
563             || cause instanceof UnsupportedOperationException;
564       }
565     },
566 
567     /**
568      * Exceptions should be {@link NullPointerException}, {@link IllegalArgumentException}, or
569      * {@link UnsupportedOperationException}.
570      */
571     NPE_IAE_OR_UOE() {
572       @Override
573       public boolean isExpectedType(Throwable cause) {
574         return cause instanceof NullPointerException
575             || cause instanceof IllegalArgumentException
576             || cause instanceof UnsupportedOperationException;
577       }
578     };
579 
580     public abstract boolean isExpectedType(Throwable cause);
581   }
582 
583   private static boolean annotatedTypeExists() {
584     try {
585       Class.forName("java.lang.reflect.AnnotatedType");
586     } catch (ClassNotFoundException e) {
587       return false;
588     }
589     return true;
590   }
591 
592   private static final NullnessAnnotationReader NULLNESS_ANNOTATION_READER =
593       annotatedTypeExists()
594           ? NullnessAnnotationReader.FROM_DECLARATION_AND_TYPE_USE_ANNOTATIONS
595           : NullnessAnnotationReader.FROM_DECLARATION_ANNOTATIONS_ONLY;
596 
597   /**
598    * Looks for declaration nullness annotations and, if supported, type-use nullness annotations.
599    *
600    * <p>Under Android VMs, the methods for retrieving type-use annotations don't exist. This means
601    * that {@link NullPointerTester} may misbehave under Android when used on classes that rely on
602    * type-use annotations.
603    *
604    * <p>Under j2objc, the necessary APIs exist, but some (perhaps all) return stub values, like
605    * empty arrays. Presumably {@link NullPointerTester} could likewise misbehave under j2objc, but I
606    * don't know that anyone uses it there, anyway.
607    */
608   private enum NullnessAnnotationReader {
609     @SuppressWarnings("Java7ApiChecker")
610     FROM_DECLARATION_AND_TYPE_USE_ANNOTATIONS {
611       @Override
612       boolean isNullable(Invokable<?, ?> invokable) {
613         return FROM_DECLARATION_ANNOTATIONS_ONLY.isNullable(invokable)
614             || containsNullable(invokable.getAnnotatedReturnType().getAnnotations());
615         // TODO(cpovirk): Should we also check isNullableTypeVariable?
616       }
617 
618       @Override
619       boolean isNullable(Parameter param) {
620         return FROM_DECLARATION_ANNOTATIONS_ONLY.isNullable(param)
621             || containsNullable(param.getAnnotatedType().getAnnotations())
622             || isNullableTypeVariable(param.getAnnotatedType().getType());
623       }
624 
625       boolean isNullableTypeVariable(Type type) {
626         if (!(type instanceof TypeVariable)) {
627           return false;
628         }
629         TypeVariable<?> typeVar = (TypeVariable<?>) type;
630         for (AnnotatedType bound : typeVar.getAnnotatedBounds()) {
631           // Until Java 15, the isNullableTypeVariable case here won't help:
632           // https://bugs.openjdk.java.net/browse/JDK-8202469
633           if (containsNullable(bound.getAnnotations()) || isNullableTypeVariable(bound.getType())) {
634             return true;
635           }
636         }
637         return false;
638       }
639     },
640     FROM_DECLARATION_ANNOTATIONS_ONLY {
641       @Override
642       boolean isNullable(Invokable<?, ?> invokable) {
643         return containsNullable(invokable.getAnnotations());
644       }
645 
646       @Override
647       boolean isNullable(Parameter param) {
648         return containsNullable(param.getAnnotations());
649       }
650     };
651 
652     abstract boolean isNullable(Invokable<?, ?> invokable);
653 
654     abstract boolean isNullable(Parameter param);
655   }
656 }
657