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

public @Interface Signed

extends Annotation
Annotations
@Documented
@Retention:RUNTIME
@Target:TYPE_USE, TYPE_PARAMETER
@SubtypeOf:UnknownSignedness
@DefaultQualifierInHierarchy
@DefaultFor:EXCEPTION_PARAMETER
typeKinds:BYTE, INT, LONG, SHORT, FLOAT, DOUBLE
types:Byte, Integer, Long, Short, Float, Double
@UpperBoundFor
typeKinds:FLOAT, DOUBLE
types:Float, Double
Imports
java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target, org.checkerframework.framework.qual.DefaultFor, .DefaultQualifierInHierarchy, .SubtypeOf, .TypeKind, .TypeUseLocation, .UpperBoundFor

The value is to be interpreted as signed. That is, if the most significant bit in the bitwise representation is set, then the bits should be interpreted as a negative number.

Method Summary

Inherited from java.lang.annotation.Annotation:
annotationTypeequalshashCodetoString