gets the index, and creates one if it doesn't already exist.
(String key)
| 4308 | |
| 4309 | /** gets the index, and creates one if it doesn't already exist. */ |
| 4310 | int index(String key) { |
| 4311 | Integer value = dataToIndex.get(key); |
| 4312 | if (value != null) { |
| 4313 | return value; |
| 4314 | } |
| 4315 | |
| 4316 | int v = dataToIndex.size(); |
| 4317 | dataToIndex.put(key, v); |
| 4318 | indexToData.add(key); |
| 4319 | return v; |
| 4320 | } |
| 4321 | |
| 4322 | String key(int index) { |
| 4323 | return indexToData.get(index); |
no test coverage detected