Improve readability for xmlDom()

jorgectf · jorgectf · commit c2046f177782 · 2021-10-16T10:07:11.000+02:00
diff --git a/python/ql/src/experimental/semmle/python/frameworks/XML.qll b/python/ql/src/experimental/semmle/python/frameworks/XML.qll
@@ -163,7 +163,7 @@ private module XML {
 
   /** Gets a reference to `xml.dom.minidom` or `xml.dom.pulldom`. */
   private API::Node xmlDom() {
-    result = API::moduleImport("xml").getMember("dom").getMember(["mini", "pull"] + "dom")
+    result = API::moduleImport("xml").getMember("dom").getMember(["minidom", "pulldom"])
   }
 
   /**

Original file line number	Diff line number	Diff line change
`@@ -163,7 +163,7 @@ private module XML {`
`163`	`163`
`164`	`164`	/** Gets a reference to `xml.dom.minidom` or `xml.dom.pulldom`. */
`165`	`165`	`private API::Node xmlDom() {`
`166`		`- result = API::moduleImport("xml").getMember("dom").getMember(["mini", "pull"] + "dom")`
	`166`	`+ result = API::moduleImport("xml").getMember("dom").getMember(["minidom", "pulldom"])`
`167`	`167`	`}`
`168`	`168`
`169`	`169`	`/**`