コード例 #1
0
ファイル: Utils.java プロジェクト: 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);
  }
コード例 #2
0
ファイル: Utils.java プロジェクト: smillst/checker-framework
  public void stringTests(
      @Unsigned long ulong,
      @Signed long slong,
      @Unsigned int uint,
      @Signed int sint,
      @Unsigned short ushort,
      @Signed short sshort,
      @Unsigned byte ubyte,
      @Signed byte sbyte) {

    String res;

    // :: error: (argument.type.incompatible)
    res = SignednessUtil.toUnsignedString(slong);

    res = SignednessUtil.toUnsignedString(ulong);

    // :: error: (argument.type.incompatible)
    res = SignednessUtil.toUnsignedString(slong, 10);

    res = SignednessUtil.toUnsignedString(ulong, 10);

    // :: error: (argument.type.incompatible)
    res = SignednessUtil.toUnsignedString(sint);

    res = SignednessUtil.toUnsignedString(uint);

    // :: error: (argument.type.incompatible)
    res = SignednessUtil.toUnsignedString(sint, 10);

    res = SignednessUtil.toUnsignedString(uint, 10);

    // :: error: (argument.type.incompatible)
    res = SignednessUtil.toUnsignedString(sshort);

    res = SignednessUtil.toUnsignedString(ushort);

    // :: error: (argument.type.incompatible)
    res = SignednessUtil.toUnsignedString(sshort, 10);

    res = SignednessUtil.toUnsignedString(ushort, 10);

    // :: error: (argument.type.incompatible)
    res = SignednessUtil.toUnsignedString(sbyte);

    res = SignednessUtil.toUnsignedString(ubyte);

    // :: error: (argument.type.incompatible)
    res = SignednessUtil.toUnsignedString(sbyte, 10);

    res = SignednessUtil.toUnsignedString(ubyte, 10);
  }
コード例 #3
0
ファイル: Utils.java プロジェクト: smillst/checker-framework
  public void compTests(
      @Unsigned long ulong,
      @Signed long slong,
      @Unsigned int uint,
      @Signed int sint,
      @Unsigned short ushort,
      @Signed short sshort,
      @Unsigned byte ubyte,
      @Signed byte sbyte) {

    int res;

    // :: error: (argument.type.incompatible)
    res = SignednessUtil.compareUnsigned(slong, slong);

    // :: error: (argument.type.incompatible)
    res = SignednessUtil.compareUnsigned(slong, ulong);

    // :: error: (argument.type.incompatible)
    res = SignednessUtil.compareUnsigned(ulong, slong);

    res = SignednessUtil.compareUnsigned(ulong, ulong);

    // :: error: (argument.type.incompatible)
    res = SignednessUtil.compareUnsigned(sint, sint);

    // :: error: (argument.type.incompatible)
    res = SignednessUtil.compareUnsigned(sint, uint);

    // :: error: (argument.type.incompatible)
    res = SignednessUtil.compareUnsigned(uint, sint);

    res = SignednessUtil.compareUnsigned(uint, uint);

    // :: error: (argument.type.incompatible)
    res = SignednessUtil.compareUnsigned(sshort, sshort);

    // :: error: (argument.type.incompatible)
    res = SignednessUtil.compareUnsigned(sshort, ushort);

    // :: error: (argument.type.incompatible)
    res = SignednessUtil.compareUnsigned(ushort, sshort);

    res = SignednessUtil.compareUnsigned(ushort, ushort);

    // :: error: (argument.type.incompatible)
    res = SignednessUtil.compareUnsigned(sbyte, sbyte);

    // :: error: (argument.type.incompatible)
    res = SignednessUtil.compareUnsigned(sbyte, ubyte);

    // :: error: (argument.type.incompatible)
    res = SignednessUtil.compareUnsigned(ubyte, sbyte);

    res = SignednessUtil.compareUnsigned(ubyte, ubyte);
  }