From f477e09190705dcb69a46ec51e2714dab8cf4f4f Mon Sep 17 00:00:00 2001 From: Marcono1234 Date: Sun, 2 Aug 2020 15:02:51 +0200 Subject: [PATCH] Clarify Wildcard.hasUpperBound() doc --- java/ql/src/semmle/code/java/Generics.qll | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/java/ql/src/semmle/code/java/Generics.qll b/java/ql/src/semmle/code/java/Generics.qll index ab76b651dc0..52d3b696680 100755 --- 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. */