Java: tests for automodel framework mode negative example extraction

Author: Stephan Brandauer

java/ql/test/query-tests/Telemetry/AutomodelFrameworkModeExtractNegativeExamples/AutomodelFrameworkModeExtractNegativeExamples.expected

@@ -0,0 +1 @@
+| java/io/File.java:5:9:5:21 | pathname | known non-sink\nrelated locations: $@, $@.\nmetadata: $@, $@, $@, $@, $@, $@, $@. | java/io/File.java:5:9:5:21 | pathname | MethodDoc | java/io/File.java:5:9:5:21 | pathname | ClassDoc | file://java.io:1:1:1:1 | java.io | package | file://File:1:1:1:1 | File | type | file://true:1:1:1:1 | true | subtypes | file://compareTo:1:1:1:1 | compareTo | name | file://(File):1:1:1:1 | (File) | signature | file://Argument[0]:1:1:1:1 | Argument[0] | input | file://pathname:1:1:1:1 | pathname | parameterName |

java/ql/test/query-tests/Telemetry/AutomodelFrameworkModeExtractNegativeExamples/AutomodelFrameworkModeExtractNegativeExamples.qlref

@@ -0,0 +1 @@
+Telemetry/AutomodelFrameworkModeExtractNegativeExamples.ql

java/ql/test/query-tests/Telemetry/AutomodelFrameworkModeExtractNegativeExamples/java/io/File.java

@@ -0,0 +1,9 @@
+package java.io;
+
+public class File {
+    int compareTo(
+        File pathname // negative example - this is modeled as a neutral model
+        ) {
+        return 0;
+    }
+}