Top Description Methods
org.checkerframework.checker.signedness.qual

public @Interface SignednessBottom

extends Annotation
Annotations
@Documented
@Retention:RUNTIME
@Target:TYPE_USE, TYPE_PARAMETER
@TargetLocations:EXPLICIT_LOWER_BOUND, EXPLICIT_UPPER_BOUND
@SubtypeOf:SignedPositive
Imports
java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target, org.checkerframework.framework.qual.SubtypeOf, .TargetLocations, .TypeUseLocation
The bottom type in the Signedness type system. Programmers should rarely write this type.

This is the type of the null literal.

Method Summary

Inherited from java.lang.annotation.Annotation:
annotationTypeequalshashCodetoString