Add tests for lambdas that perform simeltaneous primitive widening and boxing/unboxing

Author: smowton

jbmc/regression/jbmc/lambda-boxing/ByteToLong.desc

@@ -0,0 +1,5 @@
+CORE
+PrimitiveWideningWithBoxing
+--function PrimitiveWideningWithBoxing\.testByteToLong --cp `../../../../scripts/format_classpath.sh . ../../../lib/java-models-library/target/core-models.jar`
+\[java::PrimitiveWideningWithBoxing\.testByteToLong:\(\)V\.assertion\.1\] line 26 assertion at file PrimitiveWideningWithBoxing\.java line 26 function java::PrimitiveWideningWithBoxing\.testByteToLong:\(\)V bytecode-index 15: SUCCESS
+\[java::PrimitiveWideningWithBoxing\.testByteToLong:\(\)V\.assertion\.2\] line 27 assertion at file PrimitiveWideningWithBoxing\.java line 27 function java::PrimitiveWideningWithBoxing\.testByteToLong:\(\)V bytecode-index 21: FAILURE

jbmc/regression/jbmc/lambda-boxing/DoubleToFloat.desc

@@ -0,0 +1,5 @@
+CORE
+PrimitiveWideningWithBoxing
+--function PrimitiveWideningWithBoxing\.testDoubleToFloat --cp `../../../../scripts/format_classpath.sh . ../../../lib/java-models-library/target/core-models.jar`
+\[java::PrimitiveWideningWithBoxing\.testDoubleToFloat:\(\)V\.assertion\.1\] line 66 assertion at file PrimitiveWideningWithBoxing\.java line 66 function java::PrimitiveWideningWithBoxing\.testDoubleToFloat:\(\)V bytecode-index 13: SUCCESS
+\[java::PrimitiveWideningWithBoxing\.testDoubleToFloat:\(\)V\.assertion\.2\] line 67 assertion at file PrimitiveWideningWithBoxing\.java line 67 function java::PrimitiveWideningWithBoxing\.testDoubleToFloat:\(\)V bytecode-index 19: FAILURE

jbmc/regression/jbmc/lambda-boxing/FloatToDouble.desc

@@ -0,0 +1,5 @@
+CORE
+PrimitiveWideningWithBoxing
+--function PrimitiveWideningWithBoxing\.testFloatToDouble --cp `../../../../scripts/format_classpath.sh . ../../../lib/java-models-library/target/core-models.jar`
+\[java::PrimitiveWideningWithBoxing\.testFloatToDouble:\(\)V\.assertion\.1\] line 44 assertion at file PrimitiveWideningWithBoxing\.java line 44 function java::PrimitiveWideningWithBoxing\.testFloatToDouble:\(\)V bytecode-index 15: SUCCESS
+\[java::PrimitiveWideningWithBoxing\.testFloatToDouble:\(\)V\.assertion\.2\] line 45 assertion at file PrimitiveWideningWithBoxing\.java line 45 function java::PrimitiveWideningWithBoxing\.testFloatToDouble:\(\)V bytecode-index 21: FAILURE

jbmc/regression/jbmc/lambda-boxing/IntToLong.desc

@@ -0,0 +1,5 @@
+CORE
+PrimitiveWideningWithBoxing
+--function PrimitiveWideningWithBoxing\.testIntToLong --cp `../../../../scripts/format_classpath.sh . ../../../lib/java-models-library/target/core-models.jar`
+\[java::PrimitiveWideningWithBoxing\.testIntToLong:\(\)V\.assertion\.1\] line 38 assertion at file PrimitiveWideningWithBoxing\.java line 38 function java::PrimitiveWideningWithBoxing\.testIntToLong:\(\)V bytecode-index 15: SUCCESS
+\[java::PrimitiveWideningWithBoxing\.testIntToLong:\(\)V\.assertion\.2\] line 39 assertion at file PrimitiveWideningWithBoxing\.java line 39 function java::PrimitiveWideningWithBoxing\.testIntToLong:\(\)V bytecode-index 21: FAILURE

jbmc/regression/jbmc/lambda-boxing/LongToByte.desc

@@ -0,0 +1,5 @@
+CORE
+PrimitiveWideningWithBoxing
+--function PrimitiveWideningWithBoxing\.testLongToByte --cp `../../../../scripts/format_classpath.sh . ../../../lib/java-models-library/target/core-models.jar`
+\[java::PrimitiveWideningWithBoxing\.testLongToByte:\(\)V\.assertion\.1\] line 72 assertion at file PrimitiveWideningWithBoxing\.java line 72 function java::PrimitiveWideningWithBoxing\.testLongToByte:\(\)V bytecode-index 13: SUCCESS
+\[java::PrimitiveWideningWithBoxing\.testLongToByte:\(\)V\.assertion\.2\] line 73 assertion at file PrimitiveWideningWithBoxing\.java line 73 function java::PrimitiveWideningWithBoxing\.testLongToByte:\(\)V bytecode-index 19: FAILURE

jbmc/regression/jbmc/lambda-boxing/LongToInt.desc

@@ -0,0 +1,5 @@
+CORE
+PrimitiveWideningWithBoxing
+--function PrimitiveWideningWithBoxing\.testLongToInt --cp `../../../../scripts/format_classpath.sh . ../../../lib/java-models-library/target/core-models.jar`
+\[java::PrimitiveWideningWithBoxing\.testLongToInt:\(\)V\.assertion\.1\] line 84 assertion at file PrimitiveWideningWithBoxing\.java line 84 function java::PrimitiveWideningWithBoxing\.testLongToInt:\(\)V bytecode-index 13: SUCCESS
+\[java::PrimitiveWideningWithBoxing\.testLongToInt:\(\)V\.assertion\.2\] line 85 assertion at file PrimitiveWideningWithBoxing\.java line 85 function java::PrimitiveWideningWithBoxing\.testLongToInt:\(\)V bytecode-index 19: FAILURE

jbmc/regression/jbmc/lambda-boxing/LongToShort.desc

@@ -0,0 +1,5 @@
+CORE
+PrimitiveWideningWithBoxing
+--function PrimitiveWideningWithBoxing\.testLongToShort --cp `../../../../scripts/format_classpath.sh . ../../../lib/java-models-library/target/core-models.jar`
+\[java::PrimitiveWideningWithBoxing\.testLongToShort:\(\)V\.assertion\.1\] line 78 assertion at file PrimitiveWideningWithBoxing\.java line 78 function java::PrimitiveWideningWithBoxing\.testLongToShort:\(\)V bytecode-index 13: SUCCESS
+\[java::PrimitiveWideningWithBoxing\.testLongToShort:\(\)V\.assertion\.2\] line 79 assertion at file PrimitiveWideningWithBoxing\.java line 79 function java::PrimitiveWideningWithBoxing\.testLongToShort:\(\)V bytecode-index 19: FAILURE

jbmc/regression/jbmc/lambda-boxing/PrimitiveWideningWithBoxing$ByteToLong.class

@@ -0,0 +1,88 @@
+public class PrimitiveWideningWithBoxing {
+
+  // Tests for widening a parameter, accompanied by boxing and unboxing:
+
+  public interface ByteToLong {
+    public Long accept(Byte b);
+  }
+
+  public interface ShortToLong {
+    public Long accept(Short s);
+  }
+
+  public interface IntToLong {
+    public Long accept(Integer i);
+  }
+
+  public interface FloatToDouble {
+    public Double accept(Float f);
+  }
+
+  public static long longToLong(long x) { return x + 1L; }
+  public static double doubleToDouble(double x) { return x + 1.0; }
+
+  public static void testByteToLong() {
+    ByteToLong b2l = PrimitiveWideningWithBoxing::longToLong;
+    assert b2l.accept((byte)1) == 2L;
+    assert false;
+  }
+
+  public static void testShortToLong() {
+    ShortToLong s2l = PrimitiveWideningWithBoxing::longToLong;
+    assert s2l.accept((short)1) == 2L;
+    assert false;
+  }
+
+  public static void testIntToLong() {
+    IntToLong i2l = PrimitiveWideningWithBoxing::longToLong;
+    assert i2l.accept(1) == 2L;
+    assert false;
+  }
+
+  public static void testFloatToDouble() {
+    FloatToDouble f2d = PrimitiveWideningWithBoxing::doubleToDouble;
+    assert f2d.accept(1.0f) == 2.0;
+    assert false;
+  }
+
+  // Tests for widening a return value, accompanied by boxing and unboxing:
+
+  public interface LongToLong {
+    public long accept(long l);
+  }
+
+  public static Byte longToByte(Long l) { return (byte)(l + 1); }
+  public static Short longToShort(Long l) { return (short)(l + 1); }
+  public static Integer longToInt(Long l) { return (int)(l + 1); }
+
+  public interface DoubleToDouble {
+    public double accept(double d);
+  }
+
+  public static Float doubleToFloat(Double d) { return (float)(d + 1); }
+
+  public static void testDoubleToFloat() {
+    DoubleToDouble d2d = PrimitiveWideningWithBoxing::doubleToFloat;
+    assert d2d.accept(1.0) == 2.0;
+    assert false;
+  }
+
+  public static void testLongToByte() {
+    LongToLong l2l = PrimitiveWideningWithBoxing::longToByte;
+    assert l2l.accept(1L) == 2L;
+    assert false;
+  }
+
+  public static void testLongToShort() {
+    LongToLong l2l = PrimitiveWideningWithBoxing::longToShort;
+    assert l2l.accept(1L) == 2L;
+    assert false;
+  }
+
+  public static void testLongToInt() {
+    LongToLong l2l = PrimitiveWideningWithBoxing::longToInt;
+    assert l2l.accept(1L) == 2L;
+    assert false;
+  }
+
+}

jbmc/regression/jbmc/lambda-boxing/PrimitiveWideningWithBoxing$DoubleToDouble.class

@@ -0,0 +1,5 @@
+CORE
+PrimitiveWideningWithBoxing
+--function PrimitiveWideningWithBoxing\.testShortToLong --cp `../../../../scripts/format_classpath.sh . ../../../lib/java-models-library/target/core-models.jar`
+\[java::PrimitiveWideningWithBoxing\.testShortToLong:\(\)V\.assertion\.1\] line 32 assertion at file PrimitiveWideningWithBoxing\.java line 32 function java::PrimitiveWideningWithBoxing\.testShortToLong:\(\)V bytecode-index 15: SUCCESS
+\[java::PrimitiveWideningWithBoxing\.testShortToLong:\(\)V\.assertion\.2\] line 33 assertion at file PrimitiveWideningWithBoxing\.java line 33 function java::PrimitiveWideningWithBoxing\.testShortToLong:\(\)V bytecode-index 21: FAILURE