javax.xml.xpath.XPath is an interface

atorralba · atorralba · commit d72dd9b861e9 · 2021-05-06T09:18:49.000+02:00
diff --git a/java/ql/src/semmle/code/java/security/XPath.qll b/java/ql/src/semmle/code/java/security/XPath.qll
@@ -4,8 +4,8 @@ import java
 import semmle.code.java.dataflow.FlowSources
 import semmle.code.java.dataflow.TaintTracking
 
-/** The class `javax.xml.xpath.XPath` */
-private class XPath extends RefType {
+/** The interface `javax.xml.xpath.XPath` */
+private class XPath extends Interface {
   XPath() { this.hasQualifiedName("javax.xml.xpath", "XPath") }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -4,8 +4,8 @@ import java`
`4`	`4`	`import semmle.code.java.dataflow.FlowSources`
`5`	`5`	`import semmle.code.java.dataflow.TaintTracking`
`6`	`6`
`7`		-/** The class `javax.xml.xpath.XPath` */
`8`		`-private class XPath extends RefType {`
	`7`	+/** The interface `javax.xml.xpath.XPath` */
	`8`	`+private class XPath extends Interface {`
`9`	`9`	`XPath() { this.hasQualifiedName("javax.xml.xpath", "XPath") }`
`10`	`10`	`}`
`11`	`11`