CodeQL library for Java
codeql/java-all 0.4.5 (changelog, source)
Search

Member predicate SsaBound::getExpr

Gets an expression that equals this bound plus delta.

Expr getExpr(int delta)