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