CodeQL library for Java/Kotlin

codeql/java-all 0.9.0 (changelog, source)

Module Maps

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

Import path

import semmle.code.java.Maps

Imports

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

Classes

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`.