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 |