Populates a map by reading an input stream, as part of deserialization. See #writeMap for the data format.
(Map<K, V> map, ObjectInputStream stream)
| 75 | */ |
| 76 | |
| 77 | static <K, V> void populateMap(Map<K, V> map, ObjectInputStream stream) throws IOException, ClassNotFoundException { |
| 78 | int size = stream.readInt(); |
| 79 | populateMap(map, stream, size); |
| 80 | } |
| 81 | |
| 82 | /** |
| 83 | * Populates a map by reading an input stream, as part of deserialization. |
no test coverage detected