Java SignednessUtil.compareUnsigned Examples

Example #1

File: Utils.java Project: 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);
  }