@TypeQualifier @SubtypeOf(value={UnderInitialization.class,Initialized.class}) @Documented @Retention(value=RUNTIME) @Target(value={}) public @interface FBCBottom
FBCBottom
marks the bottom of the Freedom Before Commitment type
hierarchy.
This annotation may not be written in source code; it is an implementation detail of the checker.