From f0124dae1ac37e758ed7da1ecaea11e29b9c327e Mon Sep 17 00:00:00 2001
From: Jami Cogswell <jcogs33@Jamis-MacBook-Pro.local>
Date: Mon, 12 Dec 2022 16:40:19 -0500
Subject: [PATCH] Java: replace exists with instanceof

---
 java/ql/src/Metrics/Summaries/GeneratedVsManualCoverage.ql | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/java/ql/src/Metrics/Summaries/GeneratedVsManualCoverage.ql b/java/ql/src/Metrics/Summaries/GeneratedVsManualCoverage.ql
index bfd59e4cdf4..0b3c79e0d3b 100644
--- a/java/ql/src/Metrics/Summaries/GeneratedVsManualCoverage.ql
+++ b/java/ql/src/Metrics/Summaries/GeneratedVsManualCoverage.ql
@@ -20,7 +20,7 @@ private int getNumMadModeledApis(string package, string provenance) {
   result =
     count(SummarizedCallable sc |
       package = sc.asCallable().getCompilationUnit().getPackage().getName() and
-      exists(DataFlowTargetApi dataFlowTargApi | sc.asCallable() = dataFlowTargApi) and
+      sc.asCallable() instanceof DataFlowTargetApi and
       (
         sc.isAutoGenerated() and // "auto-only"
         provenance = "generated"