Module Location

Provides classes and predicates for working with locations.

Locations represent parts of files and are used to map elements to their source location.

Import path

import semmle.code.Location

Element	Provides a class that represents named elements in Java programs.
FileSystem	Provides classes for working with files and folders.

Holds if element e has name name.

Location	A location maps language elements to positions in source files.
Top	Top is the root of the QL type hierarchy; it defines some default methods for obtaining locations and a standard `toString()` method.