Package org.checkerframework.checker.initialization.qual

Annotation Interface FBCBottom

@Documented
@Retention(RUNTIME)
@Target({TYPE_USE,TYPE_PARAMETER})
@TargetLocations({EXPLICIT_LOWER_BOUND,EXPLICIT_UPPER_BOUND})
@SubtypeOf({UnderInitialization.class,Initialized.class})
@QualifierForLiterals(NULL)
public @interface FBCBottom

The bottom type in the initialization type system. Programmers should rarely write this type.

The "FBC" in the name stands for "Freedom Before Commitment", an approach that the Initialization Checker builds upon.

See the Checker Framework Manual:

Initialization Checker, the bottom type