From 1b39faadede91de9e810665ff9ed7575fbc768c2 Mon Sep 17 00:00:00 2001 From: Tony Torralba Date: Thu, 15 Jun 2023 16:20:39 +0200 Subject: [PATCH] QLDoc correction --- java/ql/lib/semmle/code/java/frameworks/stapler/Stapler.qll | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/java/ql/lib/semmle/code/java/frameworks/stapler/Stapler.qll b/java/ql/lib/semmle/code/java/frameworks/stapler/Stapler.qll index dbccfc99c04..f17090ed307 100644 --- 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