iframe-proxy | Sunbelt Computer Software

51 lines (48 loc) · 2.05 KB

import python
 * When this library is imported, the 'hasLocationInfo' predicate of
 * Functions and is overridden to specify their entire range
 * instead of just the range of their name. The latter can still be
 * obtained by invoking the getLocation() predicate.
 * The full ranges are required for the purpose of associating an alert
 * with an individual Function as opposed to a whole File.
 * A Function whose 'hasLocationInfo' is overridden to specify its entire range
 * including the body (if any), as opposed to the location of its name only.
class RangeFunction extends Function {
   * 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
   * [Locations](https://codeql.github.com/docs/writing-codeql-queries/providing-locations-in-codeql-queries/).
  predicate hasLocationInfo(
    string filepath, int startline, int startcolumn, int endline, int endcolumn
    super.getLocation().hasLocationInfo(filepath, startline, startcolumn, _, _) and
    this.getBody().getLastItem().getLocation().hasLocationInfo(filepath, _, _, endline, endcolumn)
 * A Class whose 'hasLocationInfo' is overridden to specify its entire range
 * including the body (if any), as opposed to the location of its name only.
class RangeClass extends Class {
   * 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
   * [Locations](https://codeql.github.com/docs/writing-codeql-queries/providing-locations-in-codeql-queries/).
  predicate hasLocationInfo(
    string filepath, int startline, int startcolumn, int endline, int endcolumn
    super.getLocation().hasLocationInfo(filepath, startline, startcolumn, _, _) and
    this.getBody().getLastItem().getLocation().hasLocationInfo(filepath, _, _, endline, endcolumn)

Sunbelt Computer Software

PL/B Language Development and Support

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Sunbelt Computer Software

PL/B Language Development and Support

Uh oh!

FilesExpand file tree

Extents.qll

Latest commit

History

Extents.qll

File metadata and controls