Package org.checkerframework.checker.optional.qual

package org.checkerframework.checker.optional.qual

Annotation Interfaces

Class	Description
EnsuresPresent	Indicates that the expression evaluates to a non-empty Optional, if the method terminates successfully.
EnsuresPresentIf	Indicates that the given expressions of type Optional<T> are present, if the method returns the given result (either true or false).
EnsuresPresentIf.List	A wrapper annotation that makes the EnsuresPresentIf annotation repeatable.
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.
RequiresPresent	Indicates a method precondition: the specified expressions of type Optional must be present (i.e., non-empty) when the annotated method is invoked.
RequiresPresent.List	A wrapper annotation that makes the RequiresPresent annotation repeatable.