Package org.checkerframework.checker.signedness

Class Summary

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.