gets the index, and creates one if it doesn't already exist.
(String key)
| 4209 | |
| 4210 | /** gets the index, and creates one if it doesn't already exist. */ |
| 4211 | int index(String key) { |
| 4212 | Integer value = dataToIndex.get(key); |
| 4213 | if (value != null) { |
| 4214 | return value; |
| 4215 | } |
| 4216 | |
| 4217 | int v = dataToIndex.size(); |
| 4218 | dataToIndex.put(key, v); |
| 4219 | indexToData.add(key); |
| 4220 | return v; |
| 4221 | } |
| 4222 | |
| 4223 | String key(int index) { |
| 4224 | return indexToData.get(index); |
no test coverage detected