Python: Minor simplification of ActiveThreatModelSource

RasmusWL · tausbn · RasmusWL · commit 535db9882394 · 2024-09-23T11:21:55.000+02:00
Co-authored-by: Taus &lt;tausbn@github.com&gt;
diff --git a/python/ql/lib/semmle/python/Concepts.qll b/python/ql/lib/semmle/python/Concepts.qll
@@ -58,11 +58,11 @@ module ThreatModelSource {
 /**
  * A data flow source that is enabled in the current threat model configuration.
  */
-class ActiveThreatModelSource extends DataFlow::Node {
+class ActiveThreatModelSource extends ThreatModelSource {
   ActiveThreatModelSource() {
     exists(string kind |
       currentThreatModel(kind) and
-      this.(ThreatModelSource).getThreatModel() = kind
+      this.getThreatModel() = kind
     )
   }
 }

Original file line number	Diff line number	Diff line change
`@@ -58,11 +58,11 @@ module ThreatModelSource {`
`58`	`58`	`/**`
`59`	`59`	`* A data flow source that is enabled in the current threat model configuration.`
`60`	`60`	`*/`
`61`		`-class ActiveThreatModelSource extends DataFlow::Node {`
	`61`	`+class ActiveThreatModelSource extends ThreatModelSource {`
`62`	`62`	`ActiveThreatModelSource() {`
`63`	`63`	`exists(string kind \|`
`64`	`64`	`currentThreatModel(kind) and`
`65`		`- this.(ThreatModelSource).getThreatModel() = kind`
	`65`	`+ this.getThreatModel() = kind`
`66`	`66`	`)`
`67`	`67`	`}`
`68`	`68`	`}`