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

Member predicate ExprBound :: 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.

predicate hasLocationInfo ( string path , int sl , int sc , int el , int ec )