Predicate JavaLangImpl::hasConstantBound
Holds if e >= bound (if upper = false) or e <= bound (if upper = true).
Import path
import semmle.code.java.dataflow.RangeAnalysispredicate 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.RangeAnalysispredicate hasConstantBound(Expr e, int bound, boolean upper)