Java: Address review comment, include addFirst,addLast.

This commit is contained in:
Anders Schack-Mulligen
2024-11-22 10:35:43 +01:00
parent 0d45f0efb2
commit 408a38d9fb

View File

@@ -91,6 +91,10 @@ private predicate collectionAddition(Variable v, VarAccess coll, Expr e) {
m.hasQualifiedName("java.util", "List", ["add", "addAll"]) and
m.getNumberOfParameters() = 2 and
arg = 1
or
m.hasQualifiedName("java.util", "SequencedCollection", ["addFirst", "addLast"]) and
m.getNumberOfParameters() = 1 and
arg = 0
)
or
v.getAnAccess() = coll and