CodeQL library for Rust

codeql/rust-all 0.2.7 (changelog, source)

Class LocationImpl::Location

A location as given by a file, a start line, a start column, an end line, and an end column.

For more information about locations see Locations.

Import path

import codeql.rust.elements.internal.LocationImpl

Direct supertypes

TLocation

Known direct subtypes

LocationDefault

Predicates

contains	Holds if this location contains location `that`, meaning that it starts before and ends after it.
endsAfter	Holds if this location ends after location `that`.
endsStrictlyAfter	Holds if this location ends strictly after location `that`.
fromSource	Holds if this location is from source code.
getEndColumn	Gets the 1-based column number (inclusive) where this location ends.
getEndLine	Gets the 1-based line number (inclusive) where this location ends.
getFile	Gets the file for this location.
getNumLines	Gets the number of lines covered by this location.
getStartColumn	Gets the 1-based column number (inclusive) where this location starts.
getStartLine	Gets the 1-based line number (inclusive) where this location starts.
hasLocationFileInfo	Holds if this element is at the specified location. The location spans column `startcolumn` of line `startline` to column `endcolumn` of line `endline` in file `filepath`. For more information, see Providing locations in CodeQL queries.
hasLocationInfo	Holds if this element is at the specified location. The location spans column `startcolumn` of line `startline` to column `endcolumn` of line `endline` in file `filepath`. For more information, see Providing locations in CodeQL queries.
startsBefore	Holds if this location starts before location `that`.
startsStrictlyBefore	Holds if this location starts strictly before location `that`.
strictlyContains	Holds if this location strictlycontains location `that`, meaning that it starts strictly before and ends strictly after it.
toString	Gets a textual representation of this element.