(int key)
| 314 | } |
| 315 | |
| 316 | void remove(int key) { |
| 317 | int i = Arrays.binarySearch(keys, 0, next, key); |
| 318 | if (i >= 0) { |
| 319 | if (objs[i] != null) { |
| 320 | objs[i] = null; |
| 321 | live--; |
| 322 | } |
| 323 | } |
| 324 | } |
| 325 | |
| 326 | void put(int key, Ref obj) { |
| 327 | if (obj == null) { |
no outgoing calls