Merge pull request #6651 from smowton/smowton/admin/functional-interface-tests

smowton · web-flow · commit 5b8b27a2aaa0 · 2021-09-09T22:02:16.000+01:00
Add tests for functional interfaces
diff --git a/java/ql/test/library-tests/functional-interfaces/Test.java b/java/ql/test/library-tests/functional-interfaces/Test.java
@@ -0,0 +1,29 @@
+public class Test {
+
+  interface Functional {
+    int f();
+  }
+
+  class Concrete implements Functional {
+    public int f() { return 0; }
+  }
+
+  interface FunctionalWithDefaults {
+    int f();
+
+    default int g() { return 1; }
+  }
+
+  interface NotFunctional {
+    default int g() { return 1; }
+  }
+
+  interface FunctionalWithObjectMethods {
+    int f();
+
+    String toString();
+
+    int hashCode();
+  }
+
+}
diff --git a/java/ql/test/library-tests/functional-interfaces/test.expected b/java/ql/test/library-tests/functional-interfaces/test.expected
@@ -0,0 +1,3 @@
+| Test.java:3:13:3:22 | Functional |
+| Test.java:11:13:11:34 | FunctionalWithDefaults |
+| Test.java:21:13:21:39 | FunctionalWithObjectMethods |
diff --git a/java/ql/test/library-tests/functional-interfaces/test.ql b/java/ql/test/library-tests/functional-interfaces/test.ql
@@ -0,0 +1,3 @@
+import java
+
+select any(FunctionalInterface fi | fi.fromSource())

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+\| Test.java:3:13:3:22 \| Functional \|`
	`2`	`+\| Test.java:11:13:11:34 \| FunctionalWithDefaults \|`
	`3`	`+\| Test.java:21:13:21:39 \| FunctionalWithObjectMethods \|`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+import java`
	`2`	`+`
	`3`	`+select any(FunctionalInterface fi \| fi.fromSource())`