Java: fix QL-for-QL alert

Stephan Brandauer · Stephan Brandauer · commit 8bf960bd445c · 2023-07-28T14:28:47.000+02:00
diff --git a/java/ql/src/Telemetry/AutomodelFrameworkModeCharacteristics.qll b/java/ql/src/Telemetry/AutomodelFrameworkModeCharacteristics.qll
@@ -254,7 +254,7 @@ private class NotAModelApiParameter extends CharacteristicsImpl::UninterestingTo
   NotAModelApiParameter() { this = "not a model API parameter" }
 
   override predicate appliesToEndpoint(Endpoint e) {
-    not exists(ModelExclusions::ModelApi api | api = e.getEnclosingCallable())
+    not e.getEnclosingCallable() instanceof ModelExclusions::ModelApi
   }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -254,7 +254,7 @@ private class NotAModelApiParameter extends CharacteristicsImpl::UninterestingTo`
`254`	`254`	`NotAModelApiParameter() { this = "not a model API parameter" }`
`255`	`255`
`256`	`256`	`override predicate appliesToEndpoint(Endpoint e) {`
`257`		`- not exists(ModelExclusions::ModelApi api \| api = e.getEnclosingCallable())`
	`257`	`+ not e.getEnclosingCallable() instanceof ModelExclusions::ModelApi`
`258`	`258`	`}`
`259`	`259`	`}`
`260`	`260`