Class SsaBound

A bound corresponding to the value of an SSA variable.

Import path


                                import semmle.code.java.dataflow.Bound

getExpr	Gets an expression that equals this bound plus `delta`.
getSsa	Gets the SSA variable that equals this bound.
hasLocationInfo	Holds if this element is at the specified location. The location spans column `sc` of line `sl` to column `ec` of line `el` in file `path`. For more information, see Locations.
toString	Gets a textual representation of this bound.

Gets an expression that equals this bound.

from Bound