Package org.checkerframework.checker.optional.qual

Annotation Interface OptionalEliminator

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

Method annotation for methods whose receiver is an Optional and return a non-optional.