Java: Use the shared model generator implementation.

github · Sep 18, 2024 · ca33475 · ca33475
1 parent b3dbee8
commit ca33475
Show file tree

Hide file tree

Showing 6 changed files with 219 additions and 943 deletions.
diff --git a/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowPrivate.qll b/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowPrivate.qll
@@ -760,7 +760,7 @@ ContentApprox getContentApprox(Content c) {
 /**
  * Holds if the the content `c` is a container.
  */
-predicate containerContent(Content c) {
+predicate containerContent(ContentSet c) {
   c instanceof ArrayContent or
   c instanceof CollectionContent or
   c instanceof MapKeyContent or