Module JavaLangImpl

Import path

import semmle.code.java.dataflow.RangeAnalysis

additionalBoundFlowStep	Holds if `e2 >= e1 + delta` (if `upper = false`) or `e2 <= e1 + delta` (if `upper = true`).
hasConstantBound	Holds if `e >= bound` (if `upper = false`) or `e <= bound` (if `upper = true`).
ignoreExprBound	Ignore the bound on this expression.
javaCompatibility