checker/tests/signedness/BinaryOperations.java

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

public class BinaryOperations {

  public void DivModTest(
      @Unsigned int unsigned,
      @PolySigned int polysigned,
      @UnknownSignedness int unknown,
      @SignednessGlb int constant) {

    @Unsigned int unsignedresult;
    @UnknownSignedness int unknownresult;

    // :: error: (operation.unsignedrhs)
    unknownresult = unknown / unsigned;

    // :: error: (operation.unsignedlhs)
    unknownresult = unsigned / unknown;

    // :: error: (operation.unsignedlhs)
    unsignedresult = unsigned / constant;

    // :: error: (operation.unsignedrhs)
    unsignedresult = constant / unsigned;

    // :: error: (operation.unsignedrhs)
    unknownresult = unknown / polysigned;

    // :: error: (operation.unsignedlhs)
    unknownresult = polysigned / unknown;

    // :: error: (operation.unsignedlhs)
    unknownresult = polysigned / constant;

    // :: error: (operation.unsignedrhs)
    unknownresult = constant / polysigned;

    // :: error: (operation.unsignedrhs)
    unknownresult = unknown % unsigned;

    // :: error: (operation.unsignedlhs)
    unknownresult = unsigned % unknown;

    // :: error: (operation.unsignedrhs)
    unknownresult = unknown % polysigned;

    // :: error: (operation.unsignedlhs)
    unknownresult = polysigned % unknown;

    // :: error: (operation.unsignedlhs)
    unsignedresult = unsigned % constant;

    // :: error: (operation.unsignedrhs)
    unsignedresult = constant % unsigned;

    // :: error: (operation.unsignedlhs)
    unknownresult = polysigned % constant;

    // :: error: (operation.unsignedrhs)
    unknownresult = constant % polysigned;
  }

  public void SignedRightShiftTest(
      @Unsigned int unsigned,
      @PolySigned int polysigned,
      @UnknownSignedness int unknown,
      @SignednessGlb int constant) {

    @Unsigned int unsignedresult;
    @PolySigned int polysignedresult;
    @UnknownSignedness int unknownresult;
    int result;

    // :: error: (shift.signed)
    unsignedresult = unsigned >> constant;

    result = constant >> unsigned;

    // :: error: (shift.signed)
    polysignedresult = polysigned >> constant;

    result = constant >> polysigned;

    // :: error: (shift.signed)
    unsignedresult = unsigned >> unknown;

    unknownresult = unknown >> unsigned;

    // :: error: (shift.signed)
    polysignedresult = polysigned >> unknown;

    unknownresult = unknown >> polysigned;
  }

  public void UnsignedRightShiftTest(
      @Signed int signed,
      @PolySigned int polysigned,
      @UnknownSignedness int unknown,
      @SignednessGlb int constant) {

    @PolySigned int polysignedresult;
    @UnknownSignedness int unknownresult;
    int result;

    // :: error: (shift.unsigned)
    result = signed >>> constant;

    result = constant >>> signed;

    // :: error: (shift.unsigned)
    result = signed >>> unknown;

    unknownresult = unknown >>> signed;

    // :: error: (shift.unsigned)
    polysignedresult = polysigned >>> constant;

    result = constant >>> polysigned;

    // :: error: (shift.unsigned)
    polysignedresult = polysigned >>> unknown;

    unknownresult = unknown >>> polysigned;
  }

  public void LeftShiftTest(
      @Signed int signed,
      @Unsigned int unsigned,
      @PolySigned int polysigned,
      @UnknownSignedness int unknown,
      @SignednessGlb int constant) {

    @PolySigned int polysignedresult;
    @UnknownSignedness int unknownresult;
    @Unsigned int unsignedresult;
    int result;

    result = signed << constant;

    result = constant << signed;

    result = signed << unknown;

    unknownresult = unknown << signed;

    unsignedresult = unsigned << constant;

    result = constant << unsigned;

    unsignedresult = unsigned << unknown;

    unknownresult = unknown << unsigned;

    polysignedresult = polysigned << constant;

    result = constant << polysigned;

    polysignedresult = polysigned << unknown;

    unknownresult = unknown << polysigned;
  }
}