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