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

Class Bound

A bound that may be inferred for an expression plus/minus an integer delta.

Import path

import semmle.code.csharp.dataflow.Bound

Direct supertypes

Known direct subtypes

Predicates

getExpr

Gets an expression that equals this bound plus delta.

getExpr

Gets an expression 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.