@@ -430,6 +430,7 @@ extensions:
430
430
- ["java.util", "Collection", "contains", "(Object)", "summary", "manual"]
431
431
- ["java.util", "Collection", "containsAll", "(Collection)", "summary", "manual"]
432
432
- ["java.util", "Collection", "isEmpty", "()", "summary", "manual"]
433
+ - ["java.util", "Collection", "removeIf", "(Predicate)", "summary", "manual"]
433
434
- ["java.util", "Collection", "size", "()", "summary", "manual"]
434
435
- ["java.util", "Collections", "emptyList", "()", "summary", "manual"]
435
436
- ["java.util", "Collections", "emptyMap", "()", "summary", "manual"]
@@ -451,12 +452,14 @@ extensions:
451
452
- ["java.util", "HashMap", "size", "()", "summary", "manual"]
452
453
- ["java.util", "HashSet", "HashSet", "(int)", "summary", "manual"]
453
454
- ["java.util", "Iterator", "hasNext", "()", "summary", "manual"]
455
+ - ["java.util", "Iterator", "remove", "()", "summary", "manual"]
454
456
- ["java.util", "List", "contains", "(Object)", "summary", "manual"]
455
457
- ["java.util", "List", "equals", "(Object)", "summary", "manual"]
456
458
- ["java.util", "List", "hashCode", "()", "summary", "manual"]
457
459
- ["java.util", "List", "indexOf", "(Object)", "summary", "manual"]
458
460
- ["java.util", "List", "isEmpty", "()", "summary", "manual"]
459
461
- ["java.util", "List", "of", "()", "summary", "manual"]
462
+ - ["java.util", "List", "remove", "(Object)", "summary", "manual"]
460
463
- ["java.util", "List", "sort", "(Comparator)", "summary", "manual"]
461
464
- ["java.util", "List", "size", "()", "summary", "manual"]
462
465
- ["java.util", "Locale$Builder", "addUnicodeLocaleAttribute", "(String)", "summary", "df-manual"]
@@ -535,6 +538,8 @@ extensions:
535
538
- ["java.util", "Scanner", "locale", "()", "summary", "df-manual"]
536
539
- ["java.util", "Set", "contains", "(Object)", "summary", "manual"]
537
540
- ["java.util", "Set", "isEmpty", "()", "summary", "manual"]
541
+ - ["java.util", "Set", "remove", "(Object)", "summary", "manual"]
542
+ - ["java.util", "Set", "removeAll", "(Collection)", "summary", "manual"]
538
543
- ["java.util", "Set", "size", "()", "summary", "manual"]
539
544
- ["java.util", "TreeMap", "TreeMap", "(Comparator)", "summary", "df-manual"]
540
545
- ["java.util", "TreeSet", "TreeSet", "(Comparator)", "summary", "df-manual"]
@@ -545,14 +550,8 @@ extensions:
545
550
- ["java.util", "TimeZone", "getTimeZone", "(String)", "summary", "manual"]
546
551
- ["java.util", "Vector", "size", "()", "summary", "manual"]
547
552
548
- # The below APIs are currently being stored as neutral models since `WithoutElement` has not yet been implemented for Java.
549
- # When `WithoutElement` is implemented, these should be changed to summary models of the form `Argument[this].WithoutElement -> Argument[this]`.
550
- - ["java.util", "Collection", "removeIf", "(Predicate)", "summary", "manual"]
551
- - ["java.util", "Iterator", "remove", "()", "summary", "manual"]
552
- - ["java.util", "List", "remove", "(Object)", "summary", "manual"]
553
+ # The below API is currently being stored as neutral models since `WithoutElement` does not yet have a counterpart for MapValue/MapKey.
553
554
- ["java.util", "Map", "clear", "()", "summary", "manual"]
554
- - ["java.util", "Set", "remove", "(Object)", "summary", "manual"]
555
- - ["java.util", "Set", "removeAll", "(Collection)", "summary", "manual"]
556
555
557
556
# The below APIs have numeric flow and are currently being stored as neutral models.
558
557
# These may be changed to summary models with kinds "value-numeric" and "taint-numeric" (or similar) in the future.
0 commit comments