Merge pull request #5350 from smowton/smowton/feature/complete-lambda-support

Complete Java lambda support [TG-11760]

Author: smowton

jbmc/regression/jbmc/lambda-inherited-interface/ChildInterface.class

@@ -0,0 +1 @@
+interface ChildInterface extends ParentInterface {}

jbmc/regression/jbmc/lambda-inherited-interface/ChildInterface.java

@@ -0,0 +1,3 @@
+interface ParentInterface {
+  public int f(int x);
+}

jbmc/regression/jbmc/lambda-inherited-interface/ParentInterface.class

@@ -0,0 +1,9 @@
+public class Test {
+
+  public static void main() {
+
+    ChildInterface inheritedInterface = x -> x + 1;
+    assert inheritedInterface.f(1) == 2;
+
+  }
+}

jbmc/regression/jbmc/lambda-inherited-interface/ParentInterface.java

@@ -0,0 +1,7 @@
+CORE
+Test
+--function Test.main
+^VERIFICATION SUCCESSFUL$
+line 6 assertion at file Test\.java line 6 function java::Test\.main:\(\)V bytecode-index 12: SUCCESS
+^EXIT=0$
+^SIGNAL=0$

jbmc/regression/jbmc/lambda-inherited-interface/Test.class

@@ -0,0 +1,6 @@
+interface InterfaceDeclaringEquals {
+
+  public int f(int x);
+
+  public boolean equals(Object other);
+}