Populates a multiset by reading an input stream, as part of deserialization. See #writeMultiset for the data format.
(Multiset<E> multiset, ObjectInputStream stream)
| 119 | */ |
| 120 | |
| 121 | static <E> void populateMultiset(Multiset<E> multiset, ObjectInputStream stream) throws IOException, ClassNotFoundException { |
| 122 | int distinctElements = stream.readInt(); |
| 123 | populateMultiset(multiset, stream, distinctElements); |
| 124 | } |
| 125 | |
| 126 | /** |
| 127 | * Populates a multiset by reading an input stream, as part of |
no test coverage detected