Merge pull request #92 from jbj/XMLFile-is-File

semmle-qlci · web-flow · commit 3b09ab97bf89 · 2018-08-23T11:15:12.000+01:00
Approved by ian-semmle
diff --git a/cpp/ql/src/semmle/code/cpp/XML.qll b/cpp/ql/src/semmle/code/cpp/XML.qll
@@ -94,7 +94,7 @@ class XMLParent extends @xmlparent {
 }
 
 /** An XML file. */
-class XMLFile extends XMLParent {
+class XMLFile extends XMLParent, File {
   XMLFile() {
     xmlEncoding(this,_)
   }

Original file line number	Diff line number	Diff line change
`@@ -94,7 +94,7 @@ class XMLParent extends @xmlparent {`
`94`	`94`	`}`
`95`	`95`
`96`	`96`	`/** An XML file. */`
`97`		`-class XMLFile extends XMLParent {`
	`97`	`+class XMLFile extends XMLParent, File {`
`98`	`98`	`XMLFile() {`
`99`	`99`	`xmlEncoding(this,_)`
`100`	`100`	`}`