Skip to content

Commit fb6725d

Browse files
Jami CogswellJami Cogswell
authored andcommitted
Java: add WithoutElement comment for clear methods
1 parent a43f3cf commit fb6725d

File tree

1 file changed

+5
-2
lines changed

1 file changed

+5
-2
lines changed

java/ql/lib/ext/java.util.model.yml

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -370,11 +370,9 @@ extensions:
370370
- ["java.util", "Collections", "emptyMap", "()", "manual"]
371371
- ["java.util", "Collections", "emptySet", "()", "manual"]
372372
- ["java.util", "Iterator", "hasNext", "()", "manual"]
373-
- ["java.util", "List", "clear", "()", "manual"]
374373
- ["java.util", "List", "contains", "(Object)", "manual"]
375374
- ["java.util", "List", "isEmpty", "()", "manual"]
376375
- ["java.util", "List", "size", "()", "manual"]
377-
- ["java.util", "Map", "clear", "()", "manual"]
378376
- ["java.util", "Map", "containsKey", "(Object)", "manual"]
379377
- ["java.util", "Map", "isEmpty", "()", "manual"]
380378
- ["java.util", "Map", "size", "()", "manual"]
@@ -389,6 +387,11 @@ extensions:
389387
- ["java.util", "UUID", "randomUUID", "()", "manual"]
390388
- ["java.util", "UUID", "toString", "()", "manual"]
391389

390+
# The below APIs are currently being stored as neutral models since `WithoutElement` has not yet been implemented for Java.
391+
# When `WithoutElement` is implemented, these should be changed to summary models of the form `Argument[-1].WithoutElement -> Argument[-1]`.
392+
- ["java.util", "List", "clear", "()", "manual"]
393+
- ["java.util", "Map", "clear", "()", "manual"]
394+
392395
# The below APIs have numeric flow and are currently being stored as neutral models.
393396
# These may be changed to summary models with kinds "value-numeric" and "taint-numeric" (or similar) in the future.
394397
- ["java.util", "Date", "Date", "(long)", "manual"] # taint-numeric

0 commit comments

Comments
 (0)