From 457604e37eccedf93decbe7ed17fc8a244dbebcf Mon Sep 17 00:00:00 2001
From: Stephan Brandauer <kaeluka@github.com>
Date: Mon, 24 Jul 2023 10:00:38 +0200
Subject: [PATCH] Java: tests for automodel framework mode negative example
 extraction

---
 ...utomodelFrameworkModeExtractNegativeExamples.expected | 1 +
 .../AutomodelFrameworkModeExtractNegativeExamples.qlref  | 1 +
 .../java/io/File.java                                    | 9 +++++++++
 3 files changed, 11 insertions(+)
 create mode 100644 java/ql/test/query-tests/Telemetry/AutomodelFrameworkModeExtractNegativeExamples/AutomodelFrameworkModeExtractNegativeExamples.expected
 create mode 100644 java/ql/test/query-tests/Telemetry/AutomodelFrameworkModeExtractNegativeExamples/AutomodelFrameworkModeExtractNegativeExamples.qlref
 create mode 100644 java/ql/test/query-tests/Telemetry/AutomodelFrameworkModeExtractNegativeExamples/java/io/File.java

diff --git a/java/ql/test/query-tests/Telemetry/AutomodelFrameworkModeExtractNegativeExamples/AutomodelFrameworkModeExtractNegativeExamples.expected b/java/ql/test/query-tests/Telemetry/AutomodelFrameworkModeExtractNegativeExamples/AutomodelFrameworkModeExtractNegativeExamples.expected
new file mode 100644
index 00000000000..44e3026415b
--- /dev/null
+++ b/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 |
diff --git a/java/ql/test/query-tests/Telemetry/AutomodelFrameworkModeExtractNegativeExamples/AutomodelFrameworkModeExtractNegativeExamples.qlref b/java/ql/test/query-tests/Telemetry/AutomodelFrameworkModeExtractNegativeExamples/AutomodelFrameworkModeExtractNegativeExamples.qlref
new file mode 100644
index 00000000000..d58a0997fdc
--- /dev/null
+++ b/java/ql/test/query-tests/Telemetry/AutomodelFrameworkModeExtractNegativeExamples/AutomodelFrameworkModeExtractNegativeExamples.qlref
@@ -0,0 +1 @@
+Telemetry/AutomodelFrameworkModeExtractNegativeExamples.ql
diff --git a/java/ql/test/query-tests/Telemetry/AutomodelFrameworkModeExtractNegativeExamples/java/io/File.java b/java/ql/test/query-tests/Telemetry/AutomodelFrameworkModeExtractNegativeExamples/java/io/File.java
new file mode 100644
index 00000000000..c84da33bdf2
--- /dev/null
+++ b/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;
+    }
+}