C#/Java: Rename Negative Summary Model to Neutral Model in conversion and generator tooling.

2025-12-21 03:06:31 +01:00 · 2022-12-06 16:51:09 +01:00
parent ac2d55880c
commit 2cb88037a4
8 changed files with 15 additions and 15 deletions
--- a/java/ql/src/utils/model-generator/CaptureNegativeSummaryModels.ql
+++ b/java/ql/src/utils/model-generator/CaptureNegativeSummaryModels.ql
--- a/java/ql/src/utils/model-generator/RegenerateModels.py
+++ b/java/ql/src/utils/model-generator/RegenerateModels.py
@@ -37,7 +37,7 @@ def regenerateModel(lgtmSlug, extractedDb):
    modelFile = lgtmSlugToModelFile[lgtmSlug]
    codeQlRoot = findGitRoot()
    subprocess.check_call([codeQlRoot + "/java/ql/src/utils/model-generator/GenerateFlowModel.py",
-                           "--with-summaries", "--with-sinks", "--with-negative-summaries",
+                           "--with-summaries", "--with-sinks", "--with-neutrals",
                           extractedDb, modelFile])
    print("Regenerated " + modelFile)
    shutil.rmtree(tmpDir)
--- a/java/ql/src/utils/modelconverter/ExtractNegativeSummaries.ql
+++ b/java/ql/src/utils/modelconverter/ExtractNegativeSummaries.ql