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

Maps

Module Maps

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


                                import semmle.code.java.Maps

Collections	Provides classes and predicates for reasoning about instances of `java.util.Collection` and their methods.
java	Provides all default Java QL imports.

FreshMap	A `new` expression that allocates a fresh, empty map.
MapMethod	A method declared in a map type.
MapMutation	A method call that mutates a map.
MapMutator	A method that mutates the map it belongs to.
MapPutCall	A call to `Map.put(key, value)`.
MapQueryMethod	A method that queries the contents of the map it belongs to without mutating it.
MapSizeMethod	The `size` method of `java.util.Map`.
MapType	A reference type that extends a parameterization of `java.util.Map`.