Package org.checkerframework.checker.signedness

Class SignednessShifts

  • public class SignednessShifts
extends java.lang.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