Package org.checkerframework.checker.optional.qual

Annotation Interface OptionalPropagator

@Documented
@Retention(RUNTIME)
@Target(METHOD)
@InheritedAnnotation
public @interface OptionalPropagator

A method annotation for methods whose receiver is an Optional and that return an Optional.