Java: Adapt ExternalApi to refactor.

michaelnebel · michaelnebel · commit 22b9ef2e7b37 · 2022-05-19T11:30:36.000+02:00
diff --git a/java/ql/src/Telemetry/ExternalApi.qll b/java/ql/src/Telemetry/ExternalApi.qll
@@ -69,7 +69,7 @@ class ExternalApi extends Callable {
 
   /** Holds if this API has a supported summary. */
   predicate hasSummary() {
-    this = any(SummarizedCallable sc).asCallable() or
+    this instanceof SummarizedCallable or
     TaintTracking::localAdditionalTaintStep(this.getAnInput(), _)
   }
 

Original file line number	Diff line number	Diff line change
`@@ -69,7 +69,7 @@ class ExternalApi extends Callable {`
`69`	`69`
`70`	`70`	`/** Holds if this API has a supported summary. */`
`71`	`71`	`predicate hasSummary() {`
`72`		`- this = any(SummarizedCallable sc).asCallable() or`
	`72`	`+ this instanceof SummarizedCallable or`
`73`	`73`	`TaintTracking::localAdditionalTaintStep(this.getAnInput(), _)`
`74`	`74`	`}`
`75`	`75`