CodeQL library for C#
codeql/csharp-all 0.4.4 (changelog, source)
Search

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

Direct supertypes

Indirect supertypes

Predicates

getExpr

Gets an expression that equals this bound plus delta.

toString

Gets a textual representation of this bound.

Inherited predicates

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