@@ -43,12 +43,12 @@ def parseData(data):
43
43
44
44
45
45
class Generator :
46
- generateSinks = False
47
- generateSources = False
48
- generateSummaries = False
49
- generateNeutrals = False
50
- generateTypeBasedSummaries = False
51
- dryRun = False
46
+ with_sinks = False
47
+ with_sources = False
48
+ with_summaries = False
49
+ with_neutrals = False
50
+ with_typebased_summaries = False
51
+ dry_run = False
52
52
dirname = "modelgenerator"
53
53
ram = None
54
54
threads = 0
@@ -65,14 +65,14 @@ def setenvironment(self, database=None, folder=None):
65
65
)
66
66
self .database = database or self .database
67
67
self .folder = folder or self .folder
68
- self .generatedFrameworks = os .path .join (
68
+ self .generated_frameworks = os .path .join (
69
69
self .codeQlRoot , f"{ self .language } /ql/lib/ext/generated/{ self .folder } "
70
70
)
71
71
self .workDir = tempfile .mkdtemp ()
72
72
if self .ram is None :
73
73
threads = self .threads if self .threads > 0 else os .cpu_count ()
74
74
self .ram = 2048 * threads
75
- os .makedirs (self .generatedFrameworks , exist_ok = True )
75
+ os .makedirs (self .generated_frameworks , exist_ok = True )
76
76
77
77
@staticmethod
78
78
def make ():
@@ -97,37 +97,31 @@ def make():
97
97
"--with-sinks" ,
98
98
action = "store_true" ,
99
99
help = "Generate sink models" ,
100
- dest = "generateSinks" ,
101
100
)
102
101
p .add_argument (
103
102
"--with-sources" ,
104
103
action = "store_true" ,
105
104
help = "Generate source models" ,
106
- dest = "generateSources" ,
107
105
)
108
106
p .add_argument (
109
107
"--with-summaries" ,
110
108
action = "store_true" ,
111
109
help = "Generate summary models" ,
112
- dest = "generateSummaries" ,
113
110
)
114
111
p .add_argument (
115
112
"--with-neutrals" ,
116
113
action = "store_true" ,
117
114
help = "Generate neutral models" ,
118
- dest = "generateNeutrals" ,
119
115
)
120
116
p .add_argument (
121
117
"--with-typebased-summaries" ,
122
118
action = "store_true" ,
123
119
help = "Generate type-based summary models (experimental)" ,
124
- dest = "generateTypeBasedSummaries" ,
125
120
)
126
121
p .add_argument (
127
122
"--dry-run" ,
128
123
action = "store_true" ,
129
124
help = "Do not write the generated files, just print them to stdout" ,
130
- dest = "dryRun" ,
131
125
)
132
126
p .add_argument (
133
127
"--threads" ,
@@ -143,16 +137,16 @@ def make():
143
137
generator = p .parse_args (namespace = Generator ())
144
138
145
139
if (
146
- not generator .generateSinks
147
- and not generator .generateSources
148
- and not generator .generateSummaries
149
- and not generator .generateNeutrals
150
- and not generator .generateTypeBasedSummaries
140
+ not generator .with_sinks
141
+ and not generator .with_sources
142
+ and not generator .with_summaries
143
+ and not generator .with_neutrals
144
+ and not generator .with_typebased_summaries
151
145
):
152
- generator .generateSinks = True
153
- generator .generateSources = True
154
- generator .generateSummaries = True
155
- generator .generateNeutrals = True
146
+ generator .with_sinks = True
147
+ generator .with_sources = True
148
+ generator .with_summaries = True
149
+ generator .with_neutrals = True
156
150
157
151
generator .setenvironment ()
158
152
return generator
@@ -197,33 +191,33 @@ def getAddsTo(self, query, predicate):
197
191
198
192
def makeContent (self ):
199
193
summaryAddsTo = {}
200
- if self .generateSummaries :
194
+ if self .with_summaries :
201
195
summaryAddsTo = self .getAddsTo (
202
196
"CaptureSummaryModels.ql" , helpers .summaryModelPredicate
203
197
)
204
198
205
199
sinkAddsTo = {}
206
- if self .generateSinks :
200
+ if self .with_sinks :
207
201
sinkAddsTo = self .getAddsTo (
208
202
"CaptureSinkModels.ql" , helpers .sinkModelPredicate
209
203
)
210
204
211
205
sourceAddsTo = {}
212
- if self .generateSources :
206
+ if self .with_sources :
213
207
sourceAddsTo = self .getAddsTo (
214
208
"CaptureSourceModels.ql" , helpers .sourceModelPredicate
215
209
)
216
210
217
211
neutralAddsTo = {}
218
- if self .generateNeutrals :
212
+ if self .with_neutrals :
219
213
neutralAddsTo = self .getAddsTo (
220
214
"CaptureNeutralModels.ql" , helpers .neutralModelPredicate
221
215
)
222
216
223
217
return helpers .merge (summaryAddsTo , sinkAddsTo , sourceAddsTo , neutralAddsTo )
224
218
225
219
def makeTypeBasedContent (self ):
226
- if self .generateTypeBasedSummaries :
220
+ if self .with_typebased_summaries :
227
221
typeBasedSummaryAddsTo = self .getAddsTo (
228
222
"CaptureTypeBasedSummaryModels.ql" , helpers .summaryModelPredicate
229
223
)
@@ -242,7 +236,7 @@ def save(self, extensions, extension):
242
236
sanitizedEntry = re .sub (
243
237
r"-+" , "-" , entry .replace ("/" , "-" ).replace (":" , "-" )
244
238
)
245
- target = os .path .join (self .generatedFrameworks , sanitizedEntry + extension )
239
+ target = os .path .join (self .generated_frameworks , sanitizedEntry + extension )
246
240
with open (target , "w" ) as f :
247
241
f .write (extensionTemplate .format (extensions [entry ]))
248
242
print ("Models as data extensions written to " + target )
@@ -251,19 +245,19 @@ def run(self):
251
245
content = self .makeContent ()
252
246
typeBasedContent = self .makeTypeBasedContent ()
253
247
254
- if self .dryRun :
248
+ if self .dry_run :
255
249
print ("Models as data extensions generated, but not written to file." )
256
250
sys .exit (0 )
257
251
258
252
if (
259
- self .generateSinks
260
- or self .generateSources
261
- or self .generateSummaries
262
- or self .generateNeutrals
253
+ self .with_sinks
254
+ or self .with_sources
255
+ or self .with_summaries
256
+ or self .with_neutrals
263
257
):
264
258
self .save (content , ".model.yml" )
265
259
266
- if self .generateTypeBasedSummaries :
260
+ if self .with_typebased_summaries :
267
261
self .save (typeBasedContent , ".typebased.model.yml" )
268
262
269
263
0 commit comments