For other CodeQL resources, including tutorials and examples, see the CodeQL documentation

Collections

Module Collections

Provides classes and predicates for reasoning about instances of java.util.Collection and their methods.


                                import semmle.code.java.Collections

java	Provides all default Java QL imports.

indirectlyInstantiates	Generalisation of `instantiates` that takes subtyping into account:
instantiates	Holds if the type `t` is a parameterization of `g`, where the `i`-th type parameter of `g` is instantiated to `arg`.

CollectionMethod	A method declared in a collection type.
CollectionMutation	A method call that mutates a collection.
CollectionMutator	A method that mutates the collection it belongs to.
CollectionQueryMethod	A method that queries the contents of a collection without mutating it.
CollectionSizeMethod	The `size` method on `java.util.Collection`.
CollectionType	A reference type that extends a parameterization of `java.util.Collection`.
FreshCollection	A `new` expression that allocates a fresh, empty collection.