Java SignednessUtil.getUnsigned Examples

Example #1

File: Utils.java Project: smillst/checker-framework

  public void getTests(
      @Unsigned short ushort,
      @Signed short sshort,
      @Unsigned byte ubyte,
      @Signed byte sbyte,
      @Unsigned byte[] ubyteArr,
      @Signed byte[] sbyteArr,
      ByteBuffer b) {

    // :: error: (assignment.type.incompatible)
    sshort = SignednessUtil.getUnsignedShort(b);

    ushort = SignednessUtil.getUnsignedShort(b);

    // :: error: (assignment.type.incompatible)
    sbyte = SignednessUtil.getUnsigned(b);

    ubyte = SignednessUtil.getUnsigned(b);

    // :: error: (argument.type.incompatible)
    SignednessUtil.getUnsigned(b, sbyteArr);

    SignednessUtil.getUnsigned(b, ubyteArr);
  }