Predicate JavaLangImpl::hasConstantBound
Holds if e >= bound
(if upper = false
) or e <= bound
(if upper = true
).
Import path
import semmle.code.java.dataflow.RangeAnalysis
predicate hasConstantBound(Expr e, int bound, boolean upper)
Holds if e >= bound
(if upper = false
) or e <= bound
(if upper = true
).
import semmle.code.java.dataflow.RangeAnalysis
predicate hasConstantBound(Expr e, int bound, boolean upper)