CodeQL library for Java
Search

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.