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.
SignednessVisitor	The SignednessVisitor enforces the Signedness Checker rules.