Java: Adjust the model generator to produce kinds.

2025-12-20 18:56:32 +01:00 · 2023-04-26 12:46:17 +02:00
parent bd23814e7c
commit d103a57141
2 changed files with 6 additions and 3 deletions
--- a/java/ql/src/utils/modelgenerator/internal/CaptureModelsPrinting.qll
+++ b/java/ql/src/utils/modelgenerator/internal/CaptureModelsPrinting.qll
@@ -25,8 +25,11 @@ module PrintingImpl<PrintingSig Printing> {
        + Printing::getProvenance()
  }

-  string asNeutralModel(Printing::Api api) {
-    result = asPartialNeutralModel(api) + Printing::getProvenance()
+  string asNeutralSummaryModel(Printing::Api api) {
+    result =
+      asPartialNeutralModel(api) //
+        + "summary" + ";" //
+        + Printing::getProvenance()
  }

  /**
--- a/java/ql/src/utils/modelgenerator/internal/CaptureSummaryFlowQuery.qll
+++ b/java/ql/src/utils/modelgenerator/internal/CaptureSummaryFlowQuery.qll
@@ -78,5 +78,5 @@ string captureFlow(DataFlowTargetApi api) {
 */
 string captureNoFlow(DataFlowTargetApi api) {
  not exists(captureFlow(api)) and
-  result = ModelPrinting::asNeutralModel(api)
+  result = ModelPrinting::asNeutralSummaryModel(api)
 }