QLDoc correction

atorralba · atorralba · commit 1b39faadede9 · 2023-06-15T16:20:39.000+02:00
diff --git a/java/ql/lib/semmle/code/java/frameworks/stapler/Stapler.qll b/java/ql/lib/semmle/code/java/frameworks/stapler/Stapler.qll
@@ -99,7 +99,7 @@ private class GenerateResponseMethod extends Method {
   }
 }
 
-/** Gets the static type of `e`, or an upper bound of the runtime type of `e`. */
+/** Holds if `t` is the static type of `e`, or an upper bound of the runtime type of `e`. */
 private predicate boundOrStaticType(Expr e, RefType t) {
   exprTypeFlow(e, t, false)
   or

Original file line number	Diff line number	Diff line change
`@@ -99,7 +99,7 @@ private class GenerateResponseMethod extends Method {`
`99`	`99`	`}`
`100`	`100`	`}`
`101`	`101`
`102`		-/** Gets the static type of `e`, or an upper bound of the runtime type of `e`. */
	`102`	+/** Holds if `t` is the static type of `e`, or an upper bound of the runtime type of `e`. */
`103`	`103`	`private predicate boundOrStaticType(Expr e, RefType t) {`
`104`	`104`	`exprTypeFlow(e, t, false)`
`105`	`105`	`or`