@@ -34,7 +34,6 @@ def __init__ (self, language):
3434 self .generateSources = False
3535 self .generateSummaries = False
3636 self .generateNeutrals = False
37- self .generateMixedNeutrals = False
3837 self .generateTypeBasedSummaries = False
3938 self .dryRun = False
4039 self .dirname = "modelgenerator"
@@ -52,7 +51,6 @@ def printHelp(self):
5251 --with-sources
5352 --with-summaries
5453 --with-neutrals
55- --with-mixed-neutrals. Should only be used in conjunction with --with-summaries.
5654 --with-typebased-summaries (Experimental)
5755If none of these flags are specified, all models are generated except for the type based models.
5856
@@ -100,10 +98,6 @@ def make(language):
10098 sys .argv .remove ("--with-neutrals" )
10199 generator .generateNeutrals = True
102100
103- if "--with-mixed-neutrals" in sys .argv :
104- sys .argv .remove ("--with-mixed-neutrals" )
105- generator .generateMixedNeutrals = True
106-
107101 if "--with-typebased-summaries" in sys .argv :
108102 sys .argv .remove ("--with-typebased-summaries" )
109103 generator .generateTypeBasedSummaries = True
@@ -116,8 +110,7 @@ def make(language):
116110 not generator .generateSources and
117111 not generator .generateSummaries and
118112 not generator .generateNeutrals and
119- not generator .generateTypeBasedSummaries and
120- not generator .generateMixedNeutrals ):
113+ not generator .generateTypeBasedSummaries ):
121114 generator .generateSinks = generator .generateSources = generator .generateSummaries = generator .generateNeutrals = True
122115
123116 n = len (sys .argv )
@@ -171,11 +164,7 @@ def makeContent(self):
171164 if self .generateNeutrals :
172165 neutralAddsTo = self .getAddsTo ("CaptureNeutralModels.ql" , helpers .neutralModelPredicate )
173166
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 )
179168
180169 def makeTypeBasedContent (self ):
181170 if self .generateTypeBasedSummaries :
@@ -210,8 +199,7 @@ def run(self):
210199 if (self .generateSinks or
211200 self .generateSources or
212201 self .generateSummaries or
213- self .generateNeutrals or
214- self .generateMixedNeutrals ):
202+ self .generateNeutrals ):
215203 self .save (content , ".model.yml" )
216204
217205 if self .generateTypeBasedSummaries :
0 commit comments