Class ZeroBound

The bound that corresponds to the integer 0. This is used to represent all integer bounds as bounds are always accompanied by an added integer delta.

Import path


                                import semmle.code.csharp.dataflow.Bound

getExpr	Gets an expression that equals this bound plus `delta`.
toString	Gets a textual representation of this bound.

getExpr	Gets an expression that equals this bound.	from 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.	from Bound