Merge pull request github#14950 from smowton/smowton/admin/empty-argfile-test

smowton · web-flow · commit fefc02d65052 · 2023-11-29T14:05:39.000Z
Java: Add test for empty argfile
diff --git a/java/ql/test/library-tests/empty-argfile/Test.java b/java/ql/test/library-tests/empty-argfile/Test.java
@@ -0,0 +1 @@
+public class Test { }
diff --git a/java/ql/test/library-tests/empty-argfile/argfile b/java/ql/test/library-tests/empty-argfile/argfile
diff --git a/java/ql/test/library-tests/empty-argfile/options b/java/ql/test/library-tests/empty-argfile/options
@@ -0,0 +1 @@
+//semmle-extractor-options: --javac-args @${testdir}/argfile
diff --git a/java/ql/test/library-tests/empty-argfile/test.expected b/java/ql/test/library-tests/empty-argfile/test.expected
@@ -0,0 +1 @@
+| Test.java:1:14:1:17 | Test |
diff --git a/java/ql/test/library-tests/empty-argfile/test.ql b/java/ql/test/library-tests/empty-argfile/test.ql
@@ -0,0 +1,5 @@
+import java
+
+from Class c
+where c.fromSource()
+select c

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+//semmle-extractor-options: --javac-args @${testdir}/argfile`