Package org.checkerframework.checker.optional.qual

package org.checkerframework.checker.optional.qual

Annotation Types

Class	Description
MaybePresent	The Optional container may or may not contain a value.
OptionalBottom	The bottom type qualifier for the Optional Checker.
PolyPresent	A polymorphic qualifier for the Optional type system.
Present	The Optional container definitely contains a (non-null) value.