remove unused predicate

am0o0 · am0o0 · commit c9daf914cb1f · 2024-05-12T14:09:55.000+02:00
diff --git a/java/ql/src/experimental/semmle/code/java/security/DecompressionBomb.qll b/java/ql/src/experimental/semmle/code/java/security/DecompressionBomb.qll
@@ -747,12 +747,3 @@ module InputStream {
     }
   }
 }
-
-predicate step(DataFlow::Node n1, DataFlow::Node n2) {
-  exists(Call call |
-    // Method calls
-    call.(ConstructorCall).getConstructedType().hasQualifiedName("java.util.zip", "ZipFile") and
-    n1.asExpr() = call.getAnArgument() and
-    n2.asExpr() = call
-  )
-}

Original file line number	Diff line number	Diff line change
`@@ -747,12 +747,3 @@ module InputStream {`
`747`	`747`	`}`
`748`	`748`	`}`
`749`	`749`	`}`
`750`		`-`
`751`		`-predicate step(DataFlow::Node n1, DataFlow::Node n2) {`
`752`		`- exists(Call call \|`
`753`		`- // Method calls`
`754`		`- call.(ConstructorCall).getConstructedType().hasQualifiedName("java.util.zip", "ZipFile") and`
`755`		`- n1.asExpr() = call.getAnArgument() and`
`756`		`- n2.asExpr() = call`
`757`		`- )`
`758`		`-}`