org.checkerframework.checker.signedness.qual

Annotation Type SignednessBottom

@Target(value=TYPE_USE)
 @SubtypeOf(value=Constant.class)
public @interface SignednessBottom

The bottom qualifier in the Unsigned Type System. It is only assigned to a value in error.

See the Checker Framework Manual:

Signedness Checker