Package org.checkerframework.checker.optional.qual

Annotation Interface OptionalPropagator

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

Method annotation for methods whose receiver is an Optional and return an Optional.