Class OptionWithLocationInfo::Option

An option type. This is either a singleton None or a Some wrapping the given type.

Import path

import codeql.util.Option

Direct supertypes

Option

Indirect supertypes

TOption

Predicates

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.

Inherited predicates

asSome	Gets the wrapped element, if any.	from Option
isNone	Holds if this option is the singleton `None`.	from Option
toString	Gets a textual representation of this element.	from Option