Package org.checkerframework.checker.optional.qual
package org.checkerframework.checker.optional.qual
-
Annotation InterfacesClassDescriptionIndicates that the expression evaluates to a non-empty Optional, if the method terminates successfully.Indicates that the given expressions of type Optional<T> are present, if the method returns the given result (either true or false).A wrapper annotation that makes the
EnsuresPresentIfannotation repeatable.TheOptionalcontainer may or may not contain a value.The bottom type qualifier for the Optional Checker.A polymorphic qualifier for the Optional type system.TheOptionalcontainer definitely contains a (non-null) value.Indicates a method precondition: the specified expressions of type Optional must be present (i.e., non-empty) when the annotated method is invoked.A wrapper annotation that makes theRequiresPresentannotation repeatable.