Package com.facebook.infer.annotation

Annotation Type Present

@Retention(CLASS)
@Target({TYPE,FIELD,CONSTRUCTOR,METHOD,PARAMETER})
public @interface Present

A class field, or method return/parameter type, of Optional type is annotated @Present to indicate that its value cannot be absent. Users of the method/field and static checkers must enforce, and can rely on, this invariant.