Skip to content

Commit 2a8fe53

Browse files
committed
Shared: Remove --with-mixed-summaries logic.
1 parent 3437210 commit 2a8fe53

File tree

1 file changed

+13
-30
lines changed

1 file changed

+13
-30
lines changed

misc/scripts/models-as-data/generate_flow_model.py

Lines changed: 13 additions & 30 deletions
Original file line numberDiff line numberDiff line change
@@ -34,7 +34,6 @@ def __init__ (self, language):
3434
self.generateSources = False
3535
self.generateSummaries = False
3636
self.generateNeutrals = False
37-
self.generateMixedSummaries = False
3837
self.generateMixedNeutrals = False
3938
self.generateTypeBasedSummaries = False
4039
self.dryRun = False
@@ -53,8 +52,7 @@ def printHelp(self):
5352
--with-sources
5453
--with-summaries
5554
--with-neutrals
56-
--with-mixed-summaries. May not be used in conjunction with --with-summaries.
57-
--with-mixed-neutrals. Should only be used in conjunction with --with-mixed-summaries.
55+
--with-mixed-neutrals. Should only be used in conjunction with --with-summaries.
5856
--with-typebased-summaries (Experimental)
5957
If none of these flags are specified, all models are generated except for the type based models.
6058
@@ -86,9 +84,10 @@ def make(language):
8684
generator.printHelp()
8785
sys.exit(0)
8886

89-
if "--with-summaries" in sys.argv and "--with-mixed-summaries" in sys.argv:
90-
generator.printHelp()
91-
sys.exit(0)
87+
# Convert --with-mixed-summaries to --with-summaries for backward compatibility
88+
if "--with-mixed-summaries" in sys.argv:
89+
sys.argv.remove("--with-mixed-summaries")
90+
sys.argv.append("--with-summaries")
9291

9392
if "--with-sinks" in sys.argv:
9493
sys.argv.remove("--with-sinks")
@@ -106,10 +105,6 @@ def make(language):
106105
sys.argv.remove("--with-neutrals")
107106
generator.generateNeutrals = True
108107

109-
if "--with-mixed-summaries" in sys.argv:
110-
sys.argv.remove("--with-mixed-summaries")
111-
generator.generateMixedSummaries = True
112-
113108
if "--with-mixed-neutrals" in sys.argv:
114109
sys.argv.remove("--with-mixed-neutrals")
115110
generator.generateMixedNeutrals = True
@@ -127,7 +122,6 @@ def make(language):
127122
not generator.generateSummaries and
128123
not generator.generateNeutrals and
129124
not generator.generateTypeBasedSummaries and
130-
not generator.generateMixedSummaries and
131125
not generator.generateMixedNeutrals):
132126
generator.generateSinks = generator.generateSources = generator.generateSummaries = generator.generateNeutrals = True
133127

@@ -166,37 +160,27 @@ def getAddsTo(self, query, predicate):
166160
return self.asAddsTo(rows, predicate)
167161

168162
def makeContent(self):
163+
summaryAddsTo = {}
169164
if self.generateSummaries:
170-
summaryAddsTo = self.getAddsTo("CaptureSummaryModels.ql", helpers.summaryModelPredicate)
171-
else:
172-
summaryAddsTo = { }
165+
summaryAddsTo = self.getAddsTo("CaptureMixedSummaryModels.ql", helpers.summaryModelPredicate)
173166

167+
sinkAddsTo = {}
174168
if self.generateSinks:
175169
sinkAddsTo = self.getAddsTo("CaptureSinkModels.ql", helpers.sinkModelPredicate)
176-
else:
177-
sinkAddsTo = { }
178170

171+
sourceAddsTo = {}
179172
if self.generateSources:
180173
sourceAddsTo = self.getAddsTo("CaptureSourceModels.ql", helpers.sourceModelPredicate)
181-
else:
182-
sourceAddsTo = {}
183174

175+
neutralAddsTo = {}
184176
if self.generateNeutrals:
185177
neutralAddsTo = self.getAddsTo("CaptureNeutralModels.ql", helpers.neutralModelPredicate)
186-
else:
187-
neutralAddsTo = { }
188-
189-
if self.generateMixedSummaries:
190-
mixedSummaryAddsTo = self.getAddsTo("CaptureMixedSummaryModels.ql", helpers.summaryModelPredicate)
191-
else:
192-
mixedSummaryAddsTo = { }
193178

179+
mixedNeutralAddsTo = {}
194180
if self.generateMixedNeutrals:
195181
mixedNeutralAddsTo = self.getAddsTo("CaptureMixedNeutralModels.ql", helpers.neutralModelPredicate)
196-
else:
197-
mixedNeutralAddsTo = { }
198182

199-
return helpers.merge(summaryAddsTo, mixedSummaryAddsTo, sinkAddsTo, sourceAddsTo, neutralAddsTo, mixedNeutralAddsTo)
183+
return helpers.merge(summaryAddsTo, sinkAddsTo, sourceAddsTo, neutralAddsTo, mixedNeutralAddsTo)
200184

201185
def makeTypeBasedContent(self):
202186
if self.generateTypeBasedSummaries:
@@ -232,8 +216,7 @@ def run(self):
232216
self.generateSources or
233217
self.generateSummaries or
234218
self.generateNeutrals or
235-
self.generateMixedSummaries or
236-
self.generatedMixedNeutrals):
219+
self.generateMixedNeutrals):
237220
self.save(content, ".model.yml")
238221

239222
if self.generateTypeBasedSummaries:

0 commit comments

Comments
 (0)