Module Collections
Provides classes and predicates for reasoning about instances of
java.util.Collection
and their methods.
Import path
import semmle.code.java.Collections
Imports
java |
Provides all default Java QL imports. |
Predicates
indirectlyInstantiates |
Generalisation of |
instantiates |
Holds if the type |
Classes
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 |
CollectionType |
A reference type that extends a parameterization of |
FreshCollection |
A |