Skip to content

Commit a7bfdfe

Browse files
smowtonsmowton
committed
Lambda tests: use local interface
The models library doesn't have java.util.function.* yet, so for the time being we must use our own versions of these interfaces.
1 parent f4e991a commit a7bfdfe

File tree

9 files changed

+12
-2
lines changed

9 files changed

+12
-2
lines changed

‎jbmc/regression/jbmc/lambda1/B.class

123 Bytes
Binary file not shown.

‎jbmc/regression/jbmc/lambda1/BiFunction.class

319 Bytes
Binary file not shown.

‎jbmc/regression/jbmc/lambda1/BiFunction.java

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
2+
interface BiFunction<From1, From2, To> {
3+
4+
public To apply(From1 f1, From2 f2);
5+
6+
}

‎jbmc/regression/jbmc/lambda1/C.class

124 Bytes
Binary file not shown.

‎jbmc/regression/jbmc/lambda1/Function.class

264 Bytes
Binary file not shown.

‎jbmc/regression/jbmc/lambda1/Function.java

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
2+
interface Function<From, To> {
3+
4+
public To apply(From f);
5+
6+
}

‎jbmc/regression/jbmc/lambda1/Lambdatest$A.class

73 Bytes
Binary file not shown.

‎jbmc/regression/jbmc/lambda1/Lambdatest.class

923 Bytes
Binary file not shown.

‎jbmc/regression/jbmc/lambda1/Lambdatest.java

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,3 @@
1-
import java.util.function.*;
2-
31
public class Lambdatest {
42

53
class A {

0 commit comments

Comments
 (0)