Package org.checkerframework.checker.signedness

Class SignednessShifts

java.lang.Object

org.checkerframework.checker.signedness.SignednessShifts

public class SignednessShifts
extends Object

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.

See the Checker Framework Manual:

Signedness Checker

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait