(int key)
| 306 | RefMap() {} |
| 307 | |
| 308 | Ref get(int key) { |
| 309 | int i = Arrays.binarySearch(keys, 0, next, key); |
| 310 | if (i >= 0) { |
| 311 | return objs[i]; |
| 312 | } |
| 313 | return null; |
| 314 | } |
| 315 | |
| 316 | void remove(int key) { |
| 317 | int i = Arrays.binarySearch(keys, 0, next, key); |