checker/tests/signedness/Operations.java

import org.checkerframework.checker.signedness.qual.*;

public class Operations {

  public void DivModTest(@Unsigned int unsigned) {

    @UnknownSignedness int testRes;

    // :: error: (operation.unsignedlhs)
    testRes = unsigned / 1;

    // :: error: (operation.unsignedrhs)
    testRes = 1 / unsigned;

    // :: error: (operation.unsignedlhs)
    testRes = unsigned % 1;

    // :: error: (operation.unsignedrhs)
    testRes = 1 % unsigned;
  }

  public void SignedRightShiftTest(@Unsigned int unsigned) {

    @UnknownSignedness int testRes;

    // :: error: (shift.signed)
    testRes = unsigned >> 1;
  }

  public void UnsignedRightShiftTest(@Signed int signed) {

    @UnknownSignedness int testRes;

    // :: error: (shift.unsigned)
    testRes = signed >>> 1;
  }

  public void BinaryOperationTest(@Unsigned int unsigned, @Signed int signed) {

    @UnknownSignedness int testRes;

    // :: error: (operation.mixed.unsignedlhs)
    testRes = unsigned * signed;

    // :: error: (operation.mixed.unsignedrhs)
    testRes = signed * unsigned;

    // :: error: (operation.mixed.unsignedlhs)
    testRes = unsigned + signed;

    // :: error: (operation.mixed.unsignedrhs)
    testRes = signed + unsigned;

    // :: error: (operation.mixed.unsignedlhs)
    testRes = unsigned - signed;

    // :: error: (operation.mixed.unsignedrhs)
    testRes = signed - unsigned;

    // :: error: (operation.mixed.unsignedlhs)
    testRes = unsigned & signed;

    // :: error: (operation.mixed.unsignedrhs)
    testRes = signed & unsigned;

    // :: error: (operation.mixed.unsignedlhs)
    testRes = unsigned ^ signed;

    // :: error: (operation.mixed.unsignedrhs)
    testRes = signed ^ unsigned;

    // :: error: (operation.mixed.unsignedlhs)
    testRes = unsigned | signed;

    // :: error: (operation.mixed.unsignedrhs)
    testRes = signed | unsigned;
  }
}