Skip to content

Commit f477e09

Browse files
committed
Clarify Wildcard.hasUpperBound() doc
1 parent 205dd1a commit f477e09

File tree

1 file changed

+4
-1
lines changed

1 file changed

+4
-1
lines changed

java/ql/src/semmle/code/java/Generics.qll

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -194,7 +194,10 @@ class TypeVariable extends BoundedType, @typevariable {
194194
* and the second wildcard has a lower bound of `Float`.
195195
*/
196196
class Wildcard extends BoundedType, @wildcard {
197-
/** Holds if this wildcard has an upper bound. */
197+
/**
198+
* Holds if this wildcard is either unconstrained (i.e. `?`) or
199+
* has an upper bound.
200+
*/
198201
predicate hasUpperBound() { wildcards(this, _, 1) }
199202

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

0 commit comments

Comments
 (0)