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 |
Provides all default Java QL imports. |
Classes
FreshMap |
A |
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 |
MapQueryMethod |
A method that queries the contents of the map it belongs to without mutating it. |
MapSizeMethod |
The |
MapType |
A reference type that extends a parameterization of |