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 |