We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents 05085a8 + b3c0938 commit 240c637Copy full SHA for 240c637
1 file changed
java/ql/lib/semmle/code/java/dataflow/internal/rangeanalysis/BoundSpecific.qll
@@ -9,6 +9,7 @@ private import semmle.code.java.dataflow.SSA as Ssa
9
private import semmle.code.java.dataflow.RangeUtils as RU
10
11
class SsaVariable extends Ssa::SsaDefinition {
12
+ /** Gets a use of this variable. */
13
Expr getAUse() { result = super.getARead() }
14
}
15
0 commit comments