From 1bfbfec1bc2ec2d94ce0c9e9c2415f08f2d6289b Mon Sep 17 00:00:00 2001
From: Stephan Brandauer <kaeluka@github.com>
Date: Wed, 7 Jun 2023 13:44:52 +0200
Subject: [PATCH] Java: use problem.severity in automodel extraction queries

---
 .../src/Telemetry/AutomodelApplicationModeExtractCandidates.ql  | 2 +-
 .../AutomodelApplicationModeExtractNegativeExamples.ql          | 2 +-
 .../AutomodelApplicationModeExtractPositiveExamples.ql          | 2 +-
 .../ql/src/Telemetry/AutomodelFrameworkModeExtractCandidates.ql | 2 +-
 .../Telemetry/AutomodelFrameworkModeExtractNegativeExamples.ql  | 2 +-
 .../Telemetry/AutomodelFrameworkModeExtractPositiveExamples.ql  | 2 +-
 6 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/java/ql/src/Telemetry/AutomodelApplicationModeExtractCandidates.ql b/java/ql/src/Telemetry/AutomodelApplicationModeExtractCandidates.ql
index 589a10ae663..997bc4d4a98 100644
--- a/java/ql/src/Telemetry/AutomodelApplicationModeExtractCandidates.ql
+++ b/java/ql/src/Telemetry/AutomodelApplicationModeExtractCandidates.ql
@@ -7,7 +7,7 @@
  * @name Automodel candidates (application mode)
  * @description A query to extract automodel candidates in application mode.
  * @kind problem
- * @severity info
+ * @problem.severity recommendation
  * @id java/ml/extract-automodel-application-candidates
  * @tags internal extract automodel application-mode candidates
  */
diff --git a/java/ql/src/Telemetry/AutomodelApplicationModeExtractNegativeExamples.ql b/java/ql/src/Telemetry/AutomodelApplicationModeExtractNegativeExamples.ql
index 19beefad3d3..136dbcde11f 100644
--- a/java/ql/src/Telemetry/AutomodelApplicationModeExtractNegativeExamples.ql
+++ b/java/ql/src/Telemetry/AutomodelApplicationModeExtractNegativeExamples.ql
@@ -3,7 +3,7 @@
  *
  * @name Negative examples (application mode)
  * @kind problem
- * @severity info
+ * @problem.severity recommendation
  * @id java/ml/extract-automodel-application-negative-examples
  * @tags internal extract automodel application-mode negative examples
  */
diff --git a/java/ql/src/Telemetry/AutomodelApplicationModeExtractPositiveExamples.ql b/java/ql/src/Telemetry/AutomodelApplicationModeExtractPositiveExamples.ql
index 49be5c1d45f..ae11ffc93d4 100644
--- a/java/ql/src/Telemetry/AutomodelApplicationModeExtractPositiveExamples.ql
+++ b/java/ql/src/Telemetry/AutomodelApplicationModeExtractPositiveExamples.ql
@@ -3,7 +3,7 @@
  *
  * @name Positive examples (application mode)
  * @kind problem
- * @severity info
+ * @problem.severity recommendation
  * @id java/ml/extract-automodel-application-positive-examples
  * @tags internal extract automodel application-mode positive examples
  */
diff --git a/java/ql/src/Telemetry/AutomodelFrameworkModeExtractCandidates.ql b/java/ql/src/Telemetry/AutomodelFrameworkModeExtractCandidates.ql
index 391105b9d56..fa955c7de26 100644
--- a/java/ql/src/Telemetry/AutomodelFrameworkModeExtractCandidates.ql
+++ b/java/ql/src/Telemetry/AutomodelFrameworkModeExtractCandidates.ql
@@ -7,7 +7,7 @@
  * @name Automodel candidates (framework mode)
  * @description A query to extract automodel candidates in framework mode.
  * @kind problem
- * @severity info
+ * @problem.severity recommendation
  * @id java/ml/extract-automodel-framework-candidates
  * @tags internal extract automodel framework-mode candidates
  */
diff --git a/java/ql/src/Telemetry/AutomodelFrameworkModeExtractNegativeExamples.ql b/java/ql/src/Telemetry/AutomodelFrameworkModeExtractNegativeExamples.ql
index fb4bbc0e675..eabc40a82ba 100644
--- a/java/ql/src/Telemetry/AutomodelFrameworkModeExtractNegativeExamples.ql
+++ b/java/ql/src/Telemetry/AutomodelFrameworkModeExtractNegativeExamples.ql
@@ -3,7 +3,7 @@
  *
  * @name Negative examples (framework mode)
  * @kind problem
- * @severity info
+ * @problem.severity recommendation
  * @id java/ml/extract-automodel-framework-negative-examples
  * @tags internal extract automodel framework-mode negative examples
  */
diff --git a/java/ql/src/Telemetry/AutomodelFrameworkModeExtractPositiveExamples.ql b/java/ql/src/Telemetry/AutomodelFrameworkModeExtractPositiveExamples.ql
index 41cca592380..587d1ed2095 100644
--- a/java/ql/src/Telemetry/AutomodelFrameworkModeExtractPositiveExamples.ql
+++ b/java/ql/src/Telemetry/AutomodelFrameworkModeExtractPositiveExamples.ql
@@ -3,7 +3,7 @@
  *
  * @name Positive examples (framework mode)
  * @kind problem
- * @severity info
+ * @problem.severity recommendation
  * @id java/ml/extract-automodel-framework-positive-examples
  * @tags internal extract automodel framework-mode positive examples
  */