Details
-
Improvement
-
Status: Resolved
-
Major
-
Resolution: Fixed
-
None
-
ghx-label-11
Description
Listmap.getIndex(t) modifies the ListMap object when there is no mapping for 't'.
Hence the name of it is very misleading as the reader wouldn't expect modifications from simple getters.
Probably we should just rename it to getOrAddIndex().