hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-04 21:25:44 +02:00
Code Issues Packages Projects Releases Wiki Activity

C#/Java: Cleanup up printing of generated models.

Browse Source
This commit is contained in:
Michael Nebel
2022-12-07 10:35:38 +01:00
parent 1d103f57a0
commit 1a226a15bf
1 changed files with 5 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

19
misc/scripts/models-as-data/generate_flow_model.py
View File

@@ -173,16 +173,10 @@ Requirements: `codeql` should both appear on your path.
else:
neutralAddsTo = ""
return f"""
# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
# Definitions of taint steps in the {self.friendlyname} framework.
return f"""# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
# Definitions of models for the {self.friendlyname} framework.
extensions:
{sinkAddsTo}
{sourceAddsTo}
{summaryAddsTo}
{neutralAddsTo}
"""
{sinkAddsTo}{sourceAddsTo}{summaryAddsTo}{neutralAddsTo}"""
def makeTypeBasedContent(self):
if self.generateTypeBasedSummaries:
@@ -190,13 +184,10 @@ extensions:
else:
typeBasedSummaryAddsTo = ""
return f"""
# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
return f"""# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
# Definitions of type based summaries in the {self.friendlyname} framework.
extensions:
{typeBasedSummaryAddsTo}
"""
{typeBasedSummaryAddsTo}"""
def save(self, content, target):
with open(target, "w") as targetYml: