| 327 |
|
* Nodes hold keys and values, and are singly linked in sorted |
| 328 |
|
* order, possibly with some intervening marker nodes. The list is |
| 329 |
|
* headed by a header node accessible as head.node. Headers and |
| 330 |
< |
* marker nodes have have null keys. The val field (but currently |
| 331 |
< |
* not the key field) is nulled out upon deletion. |
| 330 |
> |
* marker nodes have null keys. The val field (but currently not |
| 331 |
> |
* the key field) is nulled out upon deletion. |
| 332 |
|
*/ |
| 333 |
|
static final class Node<K,V> { |
| 334 |
|
final K key; // currently, never detached |
