CodeQL library for C/C++
codeql/cpp-all 0.9.3 ( changelog , source )
Index
Search

Class Option :: 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

Known direct subtypes

Predicates

asSome

Gets the wrapped element, if any.
isNone

Holds if this option is the singleton None.
toString

Gets a textual representation of this element.