Class OptionWithLocationInfo::Some

A wrapper for the given type.

Import path

import codeql.util.Option

asSome	Gets the wrapped element, if any.	from Option
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.	from Option
isNone	Holds if this option is the singleton `None`.	from Option
toString	Gets a textual representation of this element.	from Option