Java: Fix compilation error.

aschackmull · aschackmull · commit 35b6cbe54942 · 2021-10-29T14:26:36.000+02:00
diff --git a/java/ql/src/Telemetry/ExternalAPI.qll b/java/ql/src/Telemetry/ExternalAPI.qll
@@ -62,7 +62,7 @@ class ExternalAPI extends Callable {
 
   /** Holds if this API has a supported summary. */
   predicate hasSummary() {
-    this instanceof SummarizedCallable or
+    this = any(SummarizedCallable sc).asCallable() or
     TaintTracking::localAdditionalTaintStep(this.getAnInput(), _)
   }
 

Original file line number	Diff line number	Diff line change
`@@ -62,7 +62,7 @@ class ExternalAPI extends Callable {`
`62`	`62`
`63`	`63`	`/** Holds if this API has a supported summary. */`
`64`	`64`	`predicate hasSummary() {`
`65`		`- this instanceof SummarizedCallable or`
	`65`	`+ this = any(SummarizedCallable sc).asCallable() or`
`66`	`66`	`TaintTracking::localAdditionalTaintStep(this.getAnInput(), _)`
`67`	`67`	`}`
`68`	`68`