Skip to content

Commit 0e54b49

Browse files
committed
Clarify Wildcard.hasTypeBound() doc
1 parent f477e09 commit 0e54b49

File tree

1 file changed

+6
-0
lines changed

1 file changed

+6
-0
lines changed

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

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -194,6 +194,12 @@ class TypeVariable extends BoundedType, @typevariable {
194194
* and the second wildcard has a lower bound of `Float`.
195195
*/
196196
class Wildcard extends BoundedType, @wildcard {
197+
/**
198+
* Holds if this wildcard is either unconstrained (i.e. `?`) or
199+
* has a type bound.
200+
*/
201+
override predicate hasTypeBound() { BoundedType.super.hasTypeBound() }
202+
197203
/**
198204
* Holds if this wildcard is either unconstrained (i.e. `?`) or
199205
* has an upper bound.

0 commit comments

Comments
 (0)