Package org.checkerframework.checker.signedness.qual

package org.checkerframework.checker.signedness.qual

Related Packages

Package	Description
org.checkerframework.checker.signedness
org.checkerframework.checker.signedness.util

Annotation Interfaces

Class	Description
PolySigned	A polymorphic qualifier for the signedness type system.
Signed	The value is to be interpreted as signed.
SignednessBottom	The bottom type in the Signedness type system.
SignednessGlb	Client code may interpret the value either as Signed or as Unsigned.
SignedPositive	The expression's value is in the signed positive range; that is, its most significant bit is not set.
SignedPositiveFromUnsigned	The expression is @SignedPositive, and its value came from widening a value that is allowed to be interpreted as unsigned.
UnknownSignedness	The value's signedness is not known to the Signedness Checker.
Unsigned	The value is to be interpreted as unsigned.