CodeQL library for C#
codeql/csharp-all 5.2.7-dev (changelog, source)
Index
Search

Module Option

Provides a module for constructing optional versions of types.

Import path

import codeql.util.Option

Modules

LocatableOption

Constructs an Option type that is a disjoint union of the given type and an additional singleton element, and has a getLocation predicate. T must have a getLocation predicate with a result type of Location.

Option

Constructs an Option type that is a disjoint union of the given type and an additional singleton element.

OptionWithLocationInfo

Constructs an Option type that is a disjoint union of the given type and an additional singleton element, and has a hasLocationInfo predicate. T must have a hasLocationInfo predicate.