CodeQL library for Java/Kotlin
codeql/java-all 5.0.1-dev (changelog, source)
Search

Class Option::Some

A wrapper for the given type.

Import path

import codeql.util.Option

Direct supertypes

Indirect supertypes

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