(Node h)
| 182 | } |
| 183 | |
| 184 | private Node rotateRight(Node h) { |
| 185 | Node x = h.left; |
| 186 | h.left = x.right; |
| 187 | x.right = h; |
| 188 | x.color = x.right.color; |
| 189 | x.right.color = RED; |
| 190 | x.size = h.size; |
| 191 | h.size = size(h.left) + size(h.right) + 1; |
| 192 | return x; |
| 193 | } |
| 194 | |
| 195 | private Node rotateLeft(Node h) { |
| 196 | Node x = h.right; |
no test coverage detected