Package org.checkerframework.checker.signedness

package org.checkerframework.checker.signedness

Related Packages

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

Classes

Class	Description
SignednessAnnotatedTypeFactory	The type factory for the Signedness Checker.
SignednessChecker	A type-checker that prevents mixing of unsigned and signed values, and prevents meaningless operations on unsigned values.
SignednessShifts	This file contains code to special-case shifts whose result does not depend on the MSB of the first argument, due to subsequent masking or casts.
SignednessVisitor	The SignednessVisitor enforces the Signedness Checker rules.