@@ -34,7 +34,6 @@ def __init__ (self, language):
34
34
self .generateSources = False
35
35
self .generateSummaries = False
36
36
self .generateNeutrals = False
37
- self .generateMixedNeutrals = False
38
37
self .generateTypeBasedSummaries = False
39
38
self .dryRun = False
40
39
self .dirname = "modelgenerator"
@@ -52,7 +51,6 @@ def printHelp(self):
52
51
--with-sources
53
52
--with-summaries
54
53
--with-neutrals
55
- --with-mixed-neutrals. Should only be used in conjunction with --with-summaries.
56
54
--with-typebased-summaries (Experimental)
57
55
If none of these flags are specified, all models are generated except for the type based models.
58
56
@@ -100,10 +98,6 @@ def make(language):
100
98
sys .argv .remove ("--with-neutrals" )
101
99
generator .generateNeutrals = True
102
100
103
- if "--with-mixed-neutrals" in sys .argv :
104
- sys .argv .remove ("--with-mixed-neutrals" )
105
- generator .generateMixedNeutrals = True
106
-
107
101
if "--with-typebased-summaries" in sys .argv :
108
102
sys .argv .remove ("--with-typebased-summaries" )
109
103
generator .generateTypeBasedSummaries = True
@@ -116,8 +110,7 @@ def make(language):
116
110
not generator .generateSources and
117
111
not generator .generateSummaries and
118
112
not generator .generateNeutrals and
119
- not generator .generateTypeBasedSummaries and
120
- not generator .generateMixedNeutrals ):
113
+ not generator .generateTypeBasedSummaries ):
121
114
generator .generateSinks = generator .generateSources = generator .generateSummaries = generator .generateNeutrals = True
122
115
123
116
n = len (sys .argv )
@@ -171,11 +164,7 @@ def makeContent(self):
171
164
if self .generateNeutrals :
172
165
neutralAddsTo = self .getAddsTo ("CaptureNeutralModels.ql" , helpers .neutralModelPredicate )
173
166
174
- mixedNeutralAddsTo = {}
175
- if self .generateMixedNeutrals :
176
- mixedNeutralAddsTo = self .getAddsTo ("CaptureMixedNeutralModels.ql" , helpers .neutralModelPredicate )
177
-
178
- return helpers .merge (summaryAddsTo , sinkAddsTo , sourceAddsTo , neutralAddsTo , mixedNeutralAddsTo )
167
+ return helpers .merge (summaryAddsTo , sinkAddsTo , sourceAddsTo , neutralAddsTo )
179
168
180
169
def makeTypeBasedContent (self ):
181
170
if self .generateTypeBasedSummaries :
@@ -210,8 +199,7 @@ def run(self):
210
199
if (self .generateSinks or
211
200
self .generateSources or
212
201
self .generateSummaries or
213
- self .generateNeutrals or
214
- self .generateMixedNeutrals ):
202
+ self .generateNeutrals ):
215
203
self .save (content , ".model.yml" )
216
204
217
205
if self .generateTypeBasedSummaries :
0 commit comments