Package org.checkerframework.checker.optional.qual

Annotation Interface OptionalEliminator

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

A method annotation for methods whose receiver is an Optional and that return a non-Optional value.