Java: Fix compilation errors.

aschackmull · aschackmull · commit 30a891c2e737 · 2022-10-13T11:19:57.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 instanceof SummarizedCallable or
+    this = any(SummarizedCallable sc).asCallable() or
     TaintTracking::localAdditionalTaintStep(this.getAnInput(), _)
   }
 
diff --git a/java/ql/src/Telemetry/UnsupportedExternalAPIs.ql b/java/ql/src/Telemetry/UnsupportedExternalAPIs.ql
@@ -14,7 +14,7 @@ import ExternalApi
 private predicate relevant(ExternalApi api) {
   not api.isUninteresting() and
   not api.isSupported() and
-  not api instanceof FlowSummaryImpl::Public::NegativeSummarizedCallable
+  not api = any(FlowSummaryImpl::Public::NegativeSummarizedCallable nsc).asCallable()
 }
 
 from string apiName, int usages

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 instanceof SummarizedCallable or`
	`72`	`+ this = any(SummarizedCallable sc).asCallable() or`
`73`	`73`	`TaintTracking::localAdditionalTaintStep(this.getAnInput(), _)`
`74`	`74`	`}`
`75`	`75`
Original file line number	Diff line number	Diff line change
`@@ -14,7 +14,7 @@ import ExternalApi`
`14`	`14`	`private predicate relevant(ExternalApi api) {`
`15`	`15`	`not api.isUninteresting() and`
`16`	`16`	`not api.isSupported() and`
`17`		`- not api instanceof FlowSummaryImpl::Public::NegativeSummarizedCallable`
	`17`	`+ not api = any(FlowSummaryImpl::Public::NegativeSummarizedCallable nsc).asCallable()`
`18`	`18`	`}`
`19`	`19`
`20`	`20`	`from string apiName, int usages`