Module Qtil

Import path

import qtil.Qtil

Imports

All	A module that defines the set of all values of a given type.
Char	A module that provides a `Char` class — a subtype of `int` representing a single character code, with utilities such as `toUppercase()`, `isDigit()`, and `repeat(n)`.
Chars	A module that declares nullary predicates for common characters, such as `Chars::comma()`, `Chars::a()`, `Chars::upperA()`, and `Chars::dollar()`.
CondensedList	A module similar to `Ordered`, which takes orderable data and optional groupings to make it easy to traverse as a list.
Escape	A module that provides utilities for escaping and unescaping strings, including backslash escaping, double-quote wrapping, and separator-aware escaping for CSV-like formats.
Finalize	A convenience module to create a `final` version of any type, avoiding the need to declare separate `final class` aliases.
Finitize	A module to convert an infinite type into a finite type by constraining it with a predicate.
Fn	A module that defines function-like predicate signatures of various arities, generated for use with parameterized modules.
FnTypes	A module that defines the the same predicate signature types of `SignaturePredicates.qll`, but under the following definitions: - `TpX<A, B, C>` - a “Tuple predicate” with three bound arguments. - `FnX<R, A, B, C>` - a “Function predicate” with three unbound arguments and a result. - `RelX<R, A, B, C>` - a “Relation predicate” with three bound arguments and a finite result. - `PropX<A, B, C>` - a “Property predicate” with three unbound arguments and no result.
GraphComparison
GraphPathSearch	A module for efficiently finding paths in a directional graph using a performant pattern called forward-reverse pruning.
Instance	A module that simplifies `instanceof` inheritance in CodeQL by automatically providing `toString()` and a convenience cast member `inst()`.
Join	A module for joining strings with a separator, for example, `join(":", "a", "b") = "a:b"`.
NullLocation	This module provides a `NullLocation` class that can be convenient for implementing optional placeholder in an alert message.
OptionalLocation	A module providing an `OptionalLocation` class that behaves like `Option<Location>` and implements the `hasLocation()` predicate expected by the CodeQL engine.
Ordered	A module for adding `getNext()` and `getPrevious()` traversal predicates to orderable data, with optional grouping support.
Ordering	A module that defines ordering-related predicate signatures for use with ordered data structures.
Other	Miscellaneous string utility modules, including `ConcatDelimOrderFixed` for ordered concatenation.
Pair	A module that provides a `Pair` class to hold paired values of two distinct types.
Plural
Product	A module that provides the cartesian product of values of two distinct types.
ResultSet	A module that defines the set of result values produced by a predicate.
SignaturePredicates	A module for creating signature predicates without requiring separate declarations.
SignatureTypes
StringLocation	A module that codifies any location as a string representation, allowing the CodeQL engine to use it as a location when selected by a query.
StringTuple	A module that approximates infinite tuple types in CodeQL using string backings.
Tp	This module defines “tuple predicates.”
Tuple	A module that provides tuples of various arities (2 through 6) for holding typed values.
TupleGet	A module that defines getters for tuples of various arities.
UnderlyingString