Clarify Wildcard.hasUpperBound() doc

2026-03-01 05:13:41 +01:00 · 2020-08-02 15:02:51 +02:00
parent 205dd1aead
commit f477e09190
1 changed files with 4 additions and 1 deletions
--- a/java/ql/src/semmle/code/java/Generics.qll
+++ b/java/ql/src/semmle/code/java/Generics.qll
@@ -194,7 +194,10 @@ class TypeVariable extends BoundedType, @typevariable {
 * and the second wildcard has a lower bound of `Float`.
 */
 class Wildcard extends BoundedType, @wildcard {
-  /** Holds if this wildcard has an upper bound. */
+  /**
+   * Holds if this wildcard is either unconstrained (i.e. `?`) or
+   * has an upper bound.
+   */
  predicate hasUpperBound() { wildcards(this, _, 1) }

  /** Holds if this wildcard has a lower bound. */